changes to treiber

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

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
index b97c158c413761f9386c61de88265039e28473f8..40b3cb5a535169900aeda616ad8b4517f2cc7a29 100644 (file)
--- a/treiber-stack/Makefile
+++ b/treiber-stack/Makefile
@@ -10,17 +10,11 @@ TESTS := $(NORMAL_TESTS) $(WILDCARD_TESTS)
 
 all: $(TESTS)
 
-$(BENCH).o : $(BENCH).c $(BENCH).h
-       $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
+$(WILDCARD_TESTS): %_wildcard : %.cc $(BENCH)_wildcard.h 
+       $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
 
-$(BENCH)_wildcard.o : $(BENCH)_wildcard.c $(BENCH).h
-       $(CC) -o $@ $< $(CFLAGS) -c $(LDFLAGS)
-
-$(WILDCARD_TESTS): %_wildcard : %.c $(BENCH)_wildcard.o 
-       $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
-
-$(NORMAL_TESTS): % : %.c $(BENCH).o
-       $(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
+$(NORMAL_TESTS): % : %.cc $(BENCH).h
+       $(CXX) -o $@ $^ $(CXXFLAGS) $(LDFLAGS)
 
 clean:
        rm -f *.o *.d $(TESTS)