From b36e72bc8ad0c6e654cdf627304b41911e923b26 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Tue, 30 Aug 2016 16:18:04 +0200 Subject: Run Dialyzer on Travis-CI --- .travis.yml | 16 +++++++++++++++- 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 diff --git a/Makefile b/Makefile index d0d16f8..106e289 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.1 From 903c89dc9c5b0c7171003f11b8ac134db9736f3a Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sun, 20 Aug 2017 18:48:08 +0000 Subject: rebar_utils: fix Dialyzer warning --- src/rebar_utils.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rebar_utils.erl b/src/rebar_utils.erl index a5cc0ff..6a62d34 100644 --- a/src/rebar_utils.erl +++ b/src/rebar_utils.erl @@ -296,7 +296,7 @@ vcs_vsn(Config, Vsn, Dir) -> VsnString = vcs_vsn_1(Vsn, Dir), Cache1 = dict:store(Key, VsnString, Cache), Config1 = rebar_config:set_xconf(Config, vsn_cache, Cache1), - save_vsn_cache(Config1), + _ = save_vsn_cache(Config1), {Config1, VsnString}; {ok, VsnString} -> {Config, VsnString} -- cgit v1.2.1 From b05882aa97168c2abf55257b358227eaedcc1c8b Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sun, 20 Aug 2017 18:54:31 +0000 Subject: rebar_cover: ignore opaque type match Dialyzer warning --- src/rebar_cover_utils.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/rebar_cover_utils.erl b/src/rebar_cover_utils.erl index 3fcba63..7b85f1c 100644 --- a/src/rebar_cover_utils.erl +++ b/src/rebar_cover_utils.erl @@ -35,6 +35,8 @@ -include("rebar.hrl"). +-dialyzer({no_opaque, has_header/2}). + %% ==================================================================== %% Internal functions %% ==================================================================== -- cgit v1.2.1 From 73feb5f761f8f37525299cdb1019fda0381ff6c0 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sun, 20 Aug 2017 18:58:29 +0000 Subject: rebar_xref: ignore opaque type match Dialyzer warning --- src/rebar_xref.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/rebar_xref.erl b/src/rebar_xref.erl index ee3414d..ddfb029 100644 --- a/src/rebar_xref.erl +++ b/src/rebar_xref.erl @@ -40,6 +40,8 @@ %% for internal use only -export([info/2]). +-dialyzer({no_opaque, find_function_source/4}). + %% =================================================================== %% Public API %% =================================================================== -- cgit v1.2.1 From 4e372a3558ea5ebc72d677039b0a843a6b64aff7 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Wed, 27 Sep 2017 18:45:55 +0000 Subject: travis-ci: enable 20.1 --- .travis.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 7f87c15..74440e6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,7 +11,8 @@ otp_release: - 17.0 - 18.0 - 19.1 - - 20.0.4 + - 20.0.5 + - 20.1 env: MAKE_TARGET=ci before_script: - hostname -f @@ -22,7 +23,7 @@ after_script: - find .rebar matrix: include: - - otp_release: 20.0.4 + - otp_release: 20.1 env: MAKE_TARGET=ci-dialyze script: make $MAKE_TARGET cache: -- cgit v1.2.1 From 16d5dfed70e842d32f46728743aea39c8064b6e5 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Tue, 14 Nov 2017 20:56:48 +0000 Subject: travis-ci: update otp versions --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 74440e6..edd413f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ otp_release: - 18.0 - 19.1 - 20.0.5 - - 20.1 + - 20.1.5 env: MAKE_TARGET=ci before_script: - hostname -f @@ -23,7 +23,7 @@ after_script: - find .rebar matrix: include: - - otp_release: 20.1 + - otp_release: 20.1.5 env: MAKE_TARGET=ci-dialyze script: make $MAKE_TARGET cache: -- cgit v1.2.1 From 8a2aca081780338330cd2145ab6cb86acde7c783 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Tue, 30 Jan 2018 23:40:57 +0000 Subject: travis-ci: allow Dialyzer job to fail --- .travis.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.travis.yml b/.travis.yml index edd413f..8be6814 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,6 +25,9 @@ matrix: include: - otp_release: 20.1.5 env: MAKE_TARGET=ci-dialyze + allow_failures: + - otp_release: 20.1.5 + env: MAKE_TARGET=ci-dialyze script: make $MAKE_TARGET cache: directories: -- cgit v1.2.1