Skip to content
Permalink
Browse files
Run Dialyzer on Travis-CI
  • Loading branch information
Tuncer Ayaz committed Jan 30, 2018
1 parent 4bd43fe commit b36e72bc8ad0c6e654cdf627304b41911e923b26
Showing 2 changed files with 22 additions and 6 deletions.
@@ -12,8 +12,22 @@ otp_release:
- 18.0
- 19.1
- 20.0.4
env: MAKE_TARGET=ci
before_script:
- hostname -f
- cc -v
- ld -v
script: "make travis"
- find .rebar
after_script:
- find .rebar
matrix:
include:
- otp_release: 20.0.4
env: MAKE_TARGET=ci-dialyze
script: make $MAKE_TARGET
cache:
directories:
- .rebar
before_cache:
- rm -fv .rebar/erlcinfo
- rm -fv $HOME/.cache/.rebar/erlcinfo
@@ -22,11 +22,11 @@ check: debug xref dialyzer deps test
xref:
@./rebar xref

build_plt:
@./rebar build-plt
maybe_build_plt:
@./rebar -vv check-plt || ./rebar -vv build-plt

dialyzer:
@./rebar dialyze
dialyze: maybe_build_plt
@./rebar -vv dialyze

binary: VSN = $(shell ./rebar -V)
binary: clean all
@@ -45,4 +45,6 @@ test_eunit: all
test_inttest: all deps
@$(RETEST) -l $(LOG_LEVEL) $(RT_TARGETS)

travis: clean debug xref clean all deps test
ci: clean debug xref clean all deps test

ci-dialyze: clean debug dialyze

0 comments on commit b36e72b

Please sign in to comment.