55 lines
1.5 KiB
Makefile
55 lines
1.5 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) -r 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 -v 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)
|
|
|
|
APPS = kernel stdlib sasl erts ssl compiler eunit
|
|
PLT = $(HOME)/.chmgr_dialyzer_plt
|
|
|
|
build_plt: deps compile
|
|
dialyzer --build_plt --output_plt $(PLT) --apps $(APPS) deps/*/ebin
|
|
|
|
dialyzer: deps compile
|
|
dialyzer -Wno_return --plt $(PLT) ebin
|
|
|
|
clean_plt:
|
|
rm $(PLT)
|