@@ -1,4 +1,10 @@
1language: haskell
1language: haskell
3+ # Idris won't build on 7.4 and earlier due to dependency
4+ # problems. 7.10 isn't yet supported on Travis.
2before_install:
8before_install:
3 - sudo add-apt-repository --yes ppa:h-rayflood/llvm
9 - sudo add-apt-repository --yes ppa:h-rayflood/llvm
4 - sudo apt-get update -qq
10 - sudo apt-get update -qq