Document that type holes kill polymorphic recursion
[ghc.git] / .travis.yml
index 660d383..218f5ba 100644 (file)
@@ -8,21 +8,24 @@ env:
  - DEBUG_STAGE2=YES
  - DEBUG_STAGE2=NO
 
+# TODO. Install llvm once llvm's APT repository is working again.
+# See http://lists.llvm.org/pipermail/llvm-dev/2016-May/100303.html.
 addons:
   apt:
     sources:
     - hvr-ghc
-    - llvm-toolchain-precise-3.6
+    #- llvm-toolchain-precise-3.7
     - ubuntu-toolchain-r-test
     packages:
     - cabal-install-1.18
-    - ghc-7.8.4
+    - ghc-7.10.3
     - alex-3.1.3
     - happy-1.19.4
-    - llvm-3.6
+    - python3
+    #- llvm-3.7
 
 before_install:
- - export PATH=/opt/ghc/7.8.4/bin:/opt/cabal/1.18/bin:/opt/alex/3.1.3/bin:/opt/happy/1.19.4/bin:/usr/lib/llvm-3.6/bin:$PATH
+ - export PATH=/opt/ghc/7.10.3/bin:/opt/cabal/1.18/bin:/opt/alex/3.1.3/bin:/opt/happy/1.19.4/bin:/usr/lib/llvm-3.7/bin:$PATH
 
 # Be explicit about which protocol to use, such that we don't have to repeat the rewrite command for each.
  - git config remote.origin.url git://github.com/${TRAVIS_REPO_SLUG}.git
@@ -41,9 +44,8 @@ before_install:
 script:
  # do  not build docs
  - echo 'HADDOCK_DOCS       = NO' >> mk/validate.mk
- - echo 'BUILD_DOCBOOK_HTML = NO' >> mk/validate.mk
- - echo 'BUILD_DOCBOOK_PS   = NO' >> mk/validate.mk
- - echo 'BUILD_DOCBOOK_PDF  = NO' >> mk/validate.mk
+ - echo 'BUILD_SPHINX_HTML  = NO' >> mk/validate.mk
+ - echo 'BUILD_SPHINX_PDF   = NO' >> mk/validate.mk
  # do not build dynamic libraries
  - echo 'DYNAMIC_GHC_PROGRAMS = NO' >> mk/validate.mk
  - echo 'GhcLibWays = v' >> mk/validate.mk
@@ -53,4 +55,6 @@ script:
  # * But use VERBOSE=2 (the default, but not when using --quiet) otherwise
  # the testsuite might not print output for over 10 minutes (more likely so
  # when DEBUG_STAGE2=NO), causing Travis to again kill our job.
+ # * Use --fast, to stay within the time limits set by Travis.
+ # See Note [validate and testsuite speed] in toplevel Makefile.
  - THREADS=3 SKIP_PERF_TESTS=YES VERBOSE=2 ./validate --fast --quiet