X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-bugfix%2FMakefile;fp=spsc-bugfix%2FMakefile;h=64651763df01842145a2e2a5c35452ac37f24e36;hb=991d0fdc0fb17f85d485c97dc2c5d8d57a98dad9;hp=0000000000000000000000000000000000000000;hpb=91db0c118d7135f69846bcedfb8a26c0afb44045;p=model-checker-benchmarks.git

diff --git a/spsc-bugfix/Makefile b/spsc-bugfix/Makefile
new file mode 100644
index 0000000..6465176
--- /dev/null
+++ b/spsc-bugfix/Makefile
@@ -0,0 +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) $(RELACYNAME) *.o