cd48d78267f88ebb149fcfdfabce3fc12df383cf
[model-checker-benchmarks.git] / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = main
4
5 HEADERS = my_queue.h
6 OBJECTS = main.o my_queue.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