machi/prototype/poc-machi/Makefile
Scott Lystig Fritchie a81552ed82 Makefile un-derp'ing
2015-03-02 20:20:15 +09:00

43 lines
1.2 KiB
Makefile

REBAR_BIN := $(shell which rebar)
ifeq ($(REBAR_BIN),)
REBAR_BIN = ./rebar
endif
.PHONY: rel deps package pkgclean
all: deps compile
compile:
$(REBAR_BIN) compile
deps:
$(REBAR_BIN) get-deps
clean:
$(REBAR_BIN) clean
test: deps compile eunit
eunit:
$(REBAR_BIN) -v skip_deps=true eunit
pulse: compile
env USE_PULSE=1 $(REBAR_BIN) skip_deps=true clean compile
env USE_PULSE=1 $(REBAR_BIN) skip_deps=true -D PULSE eunit
CONC_ARGS = --pz ./.eunit --treat_as_normal shutdown --after_timeout 1000
concuerror: deps compile
$(REBAR_BIN) -v skip_deps=true eunit suites=do_not_exist
@echo "We recommend not running this test on battery power."
@echo "Get yourself some coffee, here goes......"
concuerror -m machi_flu0_test -t concuerror1_test $(CONC_ARGS)
concuerror -m machi_flu0_test -t concuerror2_test $(CONC_ARGS)
concuerror -m machi_flu0_test -t concuerror3_test $(CONC_ARGS)
@echo ""
@echo "Expect about 31K interleavings for the next test."
@echo ""
concuerror -m machi_flu0_test -t concuerror4_test $(CONC_ARGS)
concuerror -m machi_flu0_test -t proj_store_test $(CONC_ARGS)
concuerror -m machi_flu0_test -t wedge_test $(CONC_ARGS)
concuerror -m machi_flu0_test -t proj0_test $(CONC_ARGS)