add make file, header, and extra code to deque
[model-checker-benchmarks.git] / chase-lev-deque / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = main
4
5 HEADERS = 
6 OBJECTS = deque.o
7
8 all: $(TESTNAME)
9
10 $(TESTNAME): $(HEADERS) $(OBJECTS)
11         $(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
12
13 %.o: %.c
14         $(CC) -c -o $@ $< $(CPPFLAGS)
15
16 clean:
17         rm -f $(TESTNAME) *.o