X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2FMakefile;fp=chase-lev-deque-bugfix%2FMakefile;h=91ff999c9d5163e3d22e0f4754b3a1cdc08bcc0e;hb=595a5a86d894685c1b39ee467599654f8c2a46b5;hp=0000000000000000000000000000000000000000;hpb=a3b1bb7758e8213a6a9972311664d98ca17b1ecf;p=model-checker-benchmarks.git

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