X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-lock%2FMakefile;h=51f98910ab5ec15467bbf0e2264138e3fd35c8a1;hb=5a6521efce9bad7488fb880311d77fecd87427fa;hp=5a311b36643f081deecb5cd4b2006aed3f9c614a;hpb=77847ecd3fa6a643302770491928787ba143cde1;p=model-checker-benchmarks.git

diff --git a/mcs-lock/Makefile b/mcs-lock/Makefile
index 5a311b3..51f9891 100644
--- a/mcs-lock/Makefile
+++ b/mcs-lock/Makefile
@@ -2,10 +2,16 @@ include ../benchmarks.mk
 
 TESTNAME = mcs-lock
 
-all: $(TESTNAME)
+WILDCARD_TESTS = testcase1
+
+all: $(TESTNAME) $(WILDCARD_TESTS)
+	echo $^
 
 $(TESTNAME): $(TESTNAME).cc $(TESTNAME).h
 	$(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
 
+$(WILDCARD_TESTS): % : %.cc $(TESTNAME)-wildcard.h
+	$(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
 clean:
-	rm -f $(TESTNAME) *.o
+	rm -f $(TESTNAME) *.o $(WILDCARD_TESTS)