changes to treiber

[model-checker-benchmarks.git] / treiber-stack / Makefile

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
index 99cac3f86adf55576a843937a109d2c40bba5cd7..40b3cb5a535169900aeda616ad8b4517f2cc7a29 100644 (file)
--- a/treiber-stack/Makefile
+++ b/treiber-stack/Makefile
@@ -1,10 +1,20 @@
 include ../benchmarks.mk
 
-main: my_stack.o main.c
-       $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
+BENCH := stack
 
-%.o: %.c
-       $(CC) -c -o $@ $^ $(CFLAGS)
+NORMAL_TESTS := testcase1
+
+WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS))
+
+TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
+
+all: $(TESTS)
+
+$(WILDCARD_TESTS): %_wildcard : %.cc $(BENCH)_wildcard.h 
+       $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
+
+$(NORMAL_TESTS): % : %.cc $(BENCH).h
+       $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
 
 clean:
-       rm -f *.o
+       rm -f *.o *.d $(TESTS)