changes
[model-checker-benchmarks.git] / spsc-queue / Makefile
1 include ../benchmarks.mk
2
3 TESTNAME = spsc-queue
4 RELACYNAME = spsc-relacy
5
6 all: $(TESTNAME)
7
8 $(TESTNAME): $(TESTNAME).cc queue.h eventcount.h
9         $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS)
10
11 relacy: $(RELACYNAME)
12
13 $(RELACYNAME): spsc-relacy.cc queue-relacy.h eventcount-relacy.h
14 ifdef RELACYPATH
15         $(CXX) -o $(RELACYNAME) spsc-relacy.cc -I$(RELACYPATH) -Wno-deprecated
16 else
17         @echo "Please define RELACYPATH"
18         @echo "  e.g., make RELACYPATH=/path-to-relacy"
19         @exit 1
20 endif
21
22 clean:
23         rm -f $(TESTNAME) $(RELACYNAME) *.o