changes to linuxrwlock;
[model-checker-benchmarks.git] / linuxrwlocks / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = linuxrwlocks
4 WILDCARD_TESTS = testcase1 testcase2 testcase_full
5 all: $(TESTNAME) $(WILDCARD_TESTS)
6
7 $(TESTNAME): $(TESTNAME).c $(TESTNAME).h
8         $(CC) -o $@ $< $(CFLAGS) $(LDFLAGS)
9
10 $(WILDCARD_TESTS): % : %.c $(TESTNAME)-wildcard.h
11         $(CC) -o $@ $< $(CFLAGS) $(LDFLAGS)
12
13 clean:
14         rm -f $(TESTNAME) *.o $(WILDCARD_TESTS)