0f19830002df8839ff804b337a4709f9df0419fd
[model-checker-benchmarks.git] / mcs-queue / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = main
4
5 HEADERS = main.h my_queue.h
6 OBJECTS = main.o my_queue.o args.o
7
8 all: $(TESTNAME)
9
10 $(TESTNAME): $(HEADERS) $(OBJECTS)
11         $(CC) -o $@ $^ $(CPPFLAGS) $(LDFLAGS)
12
13 %.o: %.c
14         $(CC) -c -o $@ $< $(CPPFLAGS)
15
16 clean:
17         rm -f $(TESTNAME) *.o