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

diff --git a/mcs-lock/Makefile b/mcs-lock/Makefile
index 04d2398..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 $@ $< $(CPPFLAGS) $(LDFLAGS)
+	$(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)