aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
diff options
context:
space:
mode:
Diffstat (limited to '.travis.yml')
-rw-r--r--.travis.yml8
1 files changed, 3 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml
index e74d694..365411c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -78,14 +78,15 @@ install:
78script: 78script:
79 - if [ -f configure.ac ]; then autoreconf -i; fi 79 - if [ -f configure.ac ]; then autoreconf -i; fi
80 - cabal install hpc-coveralls --constraint=retry==0.6 80 - cabal install hpc-coveralls --constraint=retry==0.6
81 - if [ 1.18 = $CABALVER ]; 81 - if [ "1.18" = $CABALVER ];
82 then 82 then
83 cabal configure --enable-tests --enable-benchmarks -v2 --enable-library-coverage # -v2 provides useful information for debugging 83 cabal configure --enable-tests --enable-benchmarks -v2 --enable-library-coverage # -v2 provides useful information for debugging
84 else 84 else
85 cabal configure --enable-tests --enable-benchmarks -v2 --enable-coverage # -v2 provides useful information for debugging 85 cabal configure --enable-tests --enable-benchmarks -v2 --enable-coverage # -v2 provides useful information for debugging
86 fi 86 fi
87 - cabal build # this builds all libraries and executables (including tests/benchmarks) 87 - cabal build # this builds all libraries and executables (including tests/benchmarks)
88 - run-cabal-test test 88 - run-cabal-test test
89 - cabal bench
89 - cabal check 90 - cabal check
90 - cabal sdist # tests that a source-distribution can be generated 91 - cabal sdist # tests that a source-distribution can be generated
91 92
@@ -99,7 +100,4 @@ script:
99after_script: 100after_script:
100 - if [ true = $PUSH_DOCS ]; then bash ./scripts/pushdoc.sh; fi 101 - if [ true = $PUSH_DOCS ]; then bash ./scripts/pushdoc.sh; fi
101 - hpc-coveralls test 102 - hpc-coveralls test
102
103
104
105# EOF 103# EOF