X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=spsc-queue%2FMakefile;h=64651763df01842145a2e2a5c35452ac37f24e36;hp=65a4686f4be914aed64aa803e5ee546944481f73;hb=d28be4986beab3803e7c721aea739b672205e17f;hpb=0ae979015c27d9a24596c89197060a88b252bb0e;ds=inline

diff --git a/spsc-queue/Makefile b/spsc-queue/Makefile
index 65a4686..6465176 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)
 
+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