diff options
| author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2016-08-30 16:18:04 +0200 |
|---|---|---|
| committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2018-01-30 23:41:57 +0000 |
| commit | b36e72bc8ad0c6e654cdf627304b41911e923b26 (patch) | |
| tree | 98a8d32c495fbd640163ded0ab9857b2a3fcf8fb | |
| parent | 4bd43fefecdb6241bcb21b1b42428c8c4abc5e40 (diff) | |
| download | rebar-b36e72bc8ad0c6e654cdf627304b41911e923b26.tar.gz | |
Run Dialyzer on Travis-CI
| -rw-r--r-- | .travis.yml | 16 | ||||
| -rw-r--r-- | Makefile | 12 |
2 files changed, 22 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index dcb6606..7f87c15 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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 |