The CDSSpec checker's benchmarks

[model-checker-benchmarks.git] / seqlock / Makefile

diff --git a/seqlock/Makefile b/seqlock/Makefile
index 98375f9bd98bb6c44693dea4cea23cfefb0c81fa..75cd83f7c60863cf9be60750b309c2c1c2a0170a 100644 (file)
--- a/seqlock/Makefile
+++ b/seqlock/Makefile
@@ -1,9 +1,22 @@
 include ../benchmarks.mk
 
-all: seqlock
+BENCH := seqlock
+BENCH_BINARY := $(BENCH).o
 
-seqlock: seqlock.c
-       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+TESTS := main testcase1 testcase2
+
+all: $(TESTS)
+       ../generate.sh $(notdir $(shell pwd))
+
+%.o : %.cc
+       $(CXX) -c -fPIC -MMD -MF .$@.d -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
+$(TESTS): % : %.o  $(BENCH_BINARY)
+       $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
+
+-include .*.d 
 
 clean:
-       rm -f seqlock
+       rm -rf $(TESTS) *.o .*.d *.dSYM
+
+.PHONY: clean all