diff options
author | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-16 23:48:49 +0100 |
---|---|---|
committer | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-16 23:48:49 +0100 |
commit | 1d3dd0a362a472f36ce0b6bc99d6dbb6ea4fb2e2 (patch) | |
tree | cbb461133f3b15334c3b97accccfd828d1ac6972 | |
parent | 85a724d873f9ce651709f62726d4b4e52690fdd4 (diff) | |
download | hmacaroons-1d3dd0a362a472f36ce0b6bc99d6dbb6ea4fb2e2.tar.gz hmacaroons-1d3dd0a362a472f36ce0b6bc99d6dbb6ea4fb2e2.tar.zst hmacaroons-1d3dd0a362a472f36ce0b6bc99d6dbb6ea4fb2e2.zip |
Re-add hpc-coveralls
- Add coveralls integration in the after_script
- Move the push_docs to after_script
-rw-r--r-- | .travis.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 56abcee..2f82c71 100644 --- a/.travis.yml +++ b/.travis.yml | |||
@@ -77,13 +77,13 @@ install: | |||
77 | # any command which exits with a non-zero exit code causes the build to fail. | 77 | # any command which exits with a non-zero exit code causes the build to fail. |
78 | script: | 78 | script: |
79 | - if [ -f configure.ac ]; then autoreconf -i; fi | 79 | - if [ -f configure.ac ]; then autoreconf -i; fi |
80 | - cabal configure --enable-tests --enable-benchmarks -v2 # -v2 provides useful information for debugging | 80 | - cabal install hpc-coveralls |
81 | - cabal configure --enable-tests --enable-benchmarks -v2 --enable-coverage # -v2 provides useful information for debugging | ||
81 | - cabal build # this builds all libraries and executables (including tests/benchmarks) | 82 | - cabal build # this builds all libraries and executables (including tests/benchmarks) |
82 | - cabal test | 83 | - run-cabal-test test |
83 | - cabal check | 84 | - cabal check |
84 | - cabal sdist # tests that a source-distribution can be generated | 85 | - cabal sdist # tests that a source-distribution can be generated |
85 | 86 | ||
86 | - if [ true = $PUSH_DOCS ]; then bash ./scripts/pushdoc.sh; fi | ||
87 | 87 | ||
88 | # Check that the resulting source distribution can be built & installed. | 88 | # Check that the resulting source distribution can be built & installed. |
89 | # If there are no other `.tar.gz` files in `dist`, this can be even simpler: | 89 | # If there are no other `.tar.gz` files in `dist`, this can be even simpler: |
@@ -91,6 +91,10 @@ script: | |||
91 | - SRC_TGZ=$(cabal info . | awk '{print $2;exit}').tar.gz && | 91 | - SRC_TGZ=$(cabal info . | awk '{print $2;exit}').tar.gz && |
92 | (cd dist && cabal install --force-reinstalls "$SRC_TGZ") | 92 | (cd dist && cabal install --force-reinstalls "$SRC_TGZ") |
93 | 93 | ||
94 | after_script: | ||
95 | - if [ true = $PUSH_DOCS ]; then bash ./scripts/pushdoc.sh; fi | ||
96 | - hpc-coveralls test | ||
97 | |||
94 | 98 | ||
95 | 99 | ||
96 | # EOF | 100 | # EOF |