X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=seqlock%2FMakefile;h=16a02039ca4c2c7ae919abd72f2d34bd101d2b77;hb=b684f62b7411fea476b2e1f6a8bbf920ac4c7216;hp=98375f9bd98bb6c44693dea4cea23cfefb0c81fa;hpb=cec79cfe07dea7f730f0f0c928a34689f2119809;p=model-checker-benchmarks.git

diff --git a/seqlock/Makefile b/seqlock/Makefile
index 98375f9..16a0203 100644
--- 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)