add make file, header, and extra code to deque

[model-checker-benchmarks.git] / chase-lev-deque / Makefile

diff --git a/chase-lev-deque/Makefile b/chase-lev-deque/Makefile
new file mode 100644 (file)
index 0000000..3f0fc86
--- /dev/null
+++ b/chase-lev-deque/Makefile
@@ -0,0 +1,17 @@
+include ../benchmarks.mk
+
+TESTNAME = main
+
+HEADERS = 
+OBJECTS = deque.o
+
+all: $(TESTNAME)
+
+$(TESTNAME): $(HEADERS) $(OBJECTS)
+       $(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
+
+%.o: %.c
+       $(CC) -c -o $@ $< $(CPPFLAGS)
+
+clean:
+       rm -f $(TESTNAME) *.o