c2a910408a17d97433d574239625a686e1f4af70
[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 $@ $^ $(CPPFLAGS) $(LDFLAGS)
12
13 %.o: %.c
14         $(CC) -c -o $@ $< $(CPPFLAGS)
15
16 clean:
17         rm -f $(TESTNAME) *.o