barrier with weaker inferences & notes in comment

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

diff --git a/seqlock/Makefile b/seqlock/Makefile
index 98375f9bd98bb6c44693dea4cea23cfefb0c81fa..16a02039ca4c2c7ae919abd72f2d34bd101d2b77 100644 (file)
--- a/seqlock/Makefile
+++ b/seqlock/Makefile
@@ -1,9 +1,14 @@
 include ../benchmarks.mk
 
-all: seqlock
+WILDCARD_TESTS = testcase1
 
-seqlock: seqlock.c
+all: seqlock $(WILDCARD_TESTS)
+
+seqlock: seqlock.c seqlock.h
        $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
 
+$(WILDCARD_TESTS): % : %.c seqlock-wildcard.h
+       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+       
 clean:
-       rm -f seqlock
+       rm -f seqlock $(WILDCARD_TESTS)