@@ -10,29 +10,9 @@ addons:
1010 packages:
1111 - libgmp-dev
1212
13−env:
14−- GHCVER=8.4.3
15−
16−install:
17− # Download and unpack the stack executable
18− - mkdir -p ~/.local/bin
19− - export PATH=$HOME/.local/bin:$PATH
20− - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
21−
22− # Get stackage-curator
23− - wget https://s3.amazonaws.com/stackage-travis/stackage-curator/stackage-curator.bz2
24− - bunzip2 stackage-curator.bz2
25− - chmod +x stackage-curator
26− - mv stackage-curator ~/.local/bin
27−
28− # Install GHC and cabal-install
29− - stack setup $GHCVER
30−
31− # Update the index
32− - travis_retry stack update
33−
13+# Edit etc/ci-script.sh to change GHC version
3414script:
35− - stack --resolver ghc-$GHCVER exec stackage-curator check
15+- ./etc/ci-script.sh
3616
3717cache:
3818 directories: