add cliff click hashtable

[model-checker-benchmarks.git] / cliffc-hashtable / Makefile

diff --git a/cliffc-hashtable/Makefile b/cliffc-hashtable/Makefile
new file mode 100644 (file)
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)