X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mpmc-queue%2FMakefile;h=8d9ad1e1014f4f2e83a85c74f6e2995339229209;hb=77847ecd3fa6a643302770491928787ba143cde1;hp=05272db4721e3446d36f05f122ea1f8fee9359ce;hpb=ca8555d0e02fb0b6e37bfbff4adee760c2248efb;p=model-checker-benchmarks.git diff --git a/mpmc-queue/Makefile b/mpmc-queue/Makefile index 05272db..8d9ad1e 100644 --- a/mpmc-queue/Makefile +++ b/mpmc-queue/Makefile @@ -1,16 +1,22 @@ include ../benchmarks.mk TESTNAME = mpmc-queue -TESTS = mpmc-queue mpmc-1r2w mpmc-2r1w +TESTS = mpmc-queue mpmc-1r2w mpmc-2r1w mpmc-queue-rdwr +TESTS += mpmc-queue-noinit mpmc-1r2w-noinit mpmc-2r1w-noinit mpmc-rdwr-noinit all: $(TESTS) mpmc-queue: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=2 +mpmc-queue-rdwr: CPPFLAGS += -DCONFIG_MPMC_READERS=0 -DCONFIG_MPMC_WRITERS=0 -DCONFIG_MPMC_RDWR=2 mpmc-1r2w: CPPFLAGS += -DCONFIG_MPMC_READERS=1 -DCONFIG_MPMC_WRITERS=2 mpmc-2r1w: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=1 +mpmc-queue-noinit: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=2 -DCONFIG_MPMC_NO_INITIAL_ELEMENT +mpmc-1r2w-noinit: CPPFLAGS += -DCONFIG_MPMC_READERS=1 -DCONFIG_MPMC_WRITERS=2 -DCONFIG_MPMC_NO_INITIAL_ELEMENT +mpmc-2r1w-noinit: CPPFLAGS += -DCONFIG_MPMC_READERS=2 -DCONFIG_MPMC_WRITERS=1 -DCONFIG_MPMC_NO_INITIAL_ELEMENT +mpmc-rdwr-noinit: CPPFLAGS += -DCONFIG_MPMC_READERS=0 -DCONFIG_MPMC_WRITERS=0 -DCONFIG_MPMC_RDWR=2 -DCONFIG_MPMC_NO_INITIAL_ELEMENT -%: $(TESTNAME).cc $(TESTNAME).h - $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS) +$(TESTS): $(TESTNAME).cc $(TESTNAME).h + $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS) clean: rm -f $(TESTS) *.o