changes
[model-checker-benchmarks.git] / spsc-queue / Makefile
index 65a4686..33b9d01 100644 (file)
@@ -1,11 +1,23 @@
 include ../benchmarks.mk
 
 TESTNAME = spsc-queue
+RELACYNAME = spsc-relacy
 
 all: $(TESTNAME)
 
 $(TESTNAME): $(TESTNAME).cc queue.h eventcount.h
-       $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
+       $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
+
+relacy: $(RELACYNAME)
+
+$(RELACYNAME): spsc-relacy.cc queue-relacy.h eventcount-relacy.h
+ifdef RELACYPATH
+       $(CXX) -o $(RELACYNAME) spsc-relacy.cc -I$(RELACYPATH) -Wno-deprecated
+else
+       @echo "Please define RELACYPATH"
+       @echo "  e.g., make RELACYPATH=/path-to-relacy"
+       @exit 1
+endif
 
 clean:
-       rm -f $(TESTNAME) *.o
+       rm -f $(TESTNAME) $(RELACYNAME) *.o