spsc-queue: add spsc-relacy build

[model-checker-benchmarks.git] / spsc-queue / Makefile

diff --git a/spsc-queue/Makefile b/spsc-queue/Makefile
index 65a4686f4be914aed64aa803e5ee546944481f73..64651763df01842145a2e2a5c35452ac37f24e36 100644 (file)
--- a/spsc-queue/Makefile
+++ b/spsc-queue/Makefile
@@ -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)
 
+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