X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque%2FMakefile;h=0e20427e8f303313972fe68772329e4dfc967e21;hb=77847ecd3fa6a643302770491928787ba143cde1;hp=3f0fc86fdf3e86689fb9a16ade4c92b4e06e27fc;hpb=1af8c0a4514c147221b92a1056afc58dc305f53c;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque/Makefile b/chase-lev-deque/Makefile
index 3f0fc86..0e20427 100644
--- a/chase-lev-deque/Makefile
+++ b/chase-lev-deque/Makefile
@@ -2,16 +2,16 @@ include ../benchmarks.mk
 
 TESTNAME = main
 
-HEADERS = 
-OBJECTS = deque.o
+HEADERS = deque.h
+OBJECTS = main.o deque.o
 
 all: $(TESTNAME)
 
 $(TESTNAME): $(HEADERS) $(OBJECTS)
-	$(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
+	$(CC) -o $@ $(OBJECTS) $(CFLAGS) $(LDFLAGS)
 
 %.o: %.c
-	$(CC) -c -o $@ $< $(CPPFLAGS)
+	$(CC) -c -o $@ $< $(CFLAGS)
 
 clean:
 	rm -f $(TESTNAME) *.o