X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=cliffc-hashtable%2FMakefile;fp=cliffc-hashtable%2FMakefile;h=f1feb46cc4d6d34e07b84e63402fdb74291310bc;hp=0000000000000000000000000000000000000000;hb=a757e79cb775f910bae08e1522029639d8a1ea91;hpb=5ff38985cb34f816fd84685cb00b46f44d0b63d5

diff --git a/cliffc-hashtable/Makefile b/cliffc-hashtable/Makefile
new file mode 100644
index 0000000..f1feb46
--- /dev/null
+++ b/cliffc-hashtable/Makefile
@@ -0,0 +1,14 @@
+include ../benchmarks.mk
+
+TESTS := table table-normal
+
+all: $(TESTS)
+
+table: main.cc
+	$(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
+
+table-normal: main.cc
+	$(CXX) -o $@ $^ -std=c++0x -DNORMAL
+
+clean:
+	rm -f *.o *.d $(TESTS)