X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-queue%2FMakefile;h=33b9d0175b5db949a0fccf374b45d8cd2243e527;hb=77847ecd3fa6a643302770491928787ba143cde1;hp=65a4686f4be914aed64aa803e5ee546944481f73;hpb=0ae979015c27d9a24596c89197060a88b252bb0e;p=model-checker-benchmarks.git

diff --git a/spsc-queue/Makefile b/spsc-queue/Makefile
index 65a4686..33b9d01 100644
--- 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)
+	$(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