edits
[model-checker-benchmarks.git] / ms-queue / Makefile
1 include ../benchmarks.mk
2
3 BENCH := queue
4
5 NORMAL_TESTS := testcase1 testcase2 testcase3
6
7 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
8
9 TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
10
11 all: $(TESTS)
12
13 $(BENCH).o : $(BENCH).c $(BENCH).h
14         $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
15
16 $(BENCH)_wildcard.o : $(BENCH)_wildcard.c $(BENCH).h
17         $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
18
19 $(WILDCARD_TESTS): %_wildcard : %.c $(BENCH)_wildcard.o 
20         $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
21
22 $(NORMAL_TESTS): % : %.c $(BENCH).o
23         $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
24
25 clean:
26         rm -f *.o *.d $(TESTS) main