[travis] use idris version 1.1.1, build with more recent ghc

timjb · Sep 24, 2017 · 9ba3934 · 9ba3934
1 parent 3c10077
commit 9ba3934
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,5 +1,5 @@
 env:
- - CABALVER=1.22 GHCVER=7.10.2
+ - CABALVER=2.0 GHCVER=8.0.2
 
 before_install:
  - travis_retry sudo add-apt-repository -y ppa:hvr/ghc
@@ -11,8 +11,8 @@ install:
  - cabal --version
  - echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
  - travis_retry cabal update
- - cabal install idris-0.11 --only-dependencies
- - travis_wait cabal install idris-0.11
+ - cabal install idris-1.1.1 --only-dependencies
+ - travis_wait cabal install idris-1.1.1
 
 script:
  - idris --install pfds.ipkg