barrier with weaker inferences & notes in comment

[model-checker-benchmarks.git] / mcs-lock / Makefile

diff --git a/mcs-lock/Makefile b/mcs-lock/Makefile
index 04d2398c594023eee58014b6ff00a603a96d7818..51f98910ab5ec15467bbf0e2264138e3fd35c8a1 100644 (file)
--- 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)