@@ -10,29 +10,9 @@ addons:
11 - libgmp-dev
11 - libgmp-dev
13−env:
13+# Edit etc/ci-script.sh to change GHC version
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'
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
28− # Install GHC and cabal-install
29− - stack setup $GHCVER
32− - travis_retry stack update
35− - stack --resolver ghc-$GHCVER exec stackage-curator check
15+- ./etc/ci-script.sh
38 directories:
18 directories: