Correct name of Note in comment
[ghc.git] / .travis.yml
1 # The following enables container-based travis instances
2 sudo: false
3
4 git:
5   submodules: false
6
7 env:
8  - DEBUG_STAGE2=YES
9  - DEBUG_STAGE2=NO
10
11 # TODO. Install llvm once llvm's APT repository is working again.
12 # See http://lists.llvm.org/pipermail/llvm-dev/2016-May/100303.html.
13 addons:
14   apt:
15     sources:
16     - hvr-ghc
17     #- llvm-toolchain-precise-3.7
18     - ubuntu-toolchain-r-test
19     packages:
20     - cabal-install-1.18
21     - ghc-7.10.3
22     - alex-3.1.3
23     - happy-1.19.4
24     #- llvm-3.7
25
26 before_install:
27  - 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
28
29 # Be explicit about which protocol to use, such that we don't have to repeat the rewrite command for each.
30  - git config remote.origin.url git://github.com/${TRAVIS_REPO_SLUG}.git
31  - git config --global url."git://github.com/${TRAVIS_REPO_SLUG%/*}/packages-".insteadOf "git://github.com/${TRAVIS_REPO_SLUG%/*}/packages/"
32  - git submodule --quiet init # Be quiet about these urls, as we may override them later.
33
34 # Check if submodule repositories exist.
35  - git config --get-regexp submodule.*.url | while read entry url; do git ls-remote "$url" dummyref 2>/dev/null && echo "$entry = $url" || git config --unset-all "$entry" ; done
36
37 # Use github.com/ghc for those submodule repositories we couldn't connect to.
38  - git config remote.origin.url git://github.com/ghc/ghc.git
39  - git config --global url."git://github.com/ghc/packages-".insteadOf git://github.com/ghc/packages/
40  - git submodule init # Don't be quiet, we want to show these urls.
41  - git submodule --quiet update --recursive # Now we can be quiet again.
42
43 script:
44  # do  not build docs
45  - echo 'HADDOCK_DOCS       = NO' >> mk/validate.mk
46  - echo 'BUILD_SPHINX_HTML  = NO' >> mk/validate.mk
47  - echo 'BUILD_SPHINX_PDF   = NO' >> mk/validate.mk
48  # do not build dynamic libraries
49  - echo 'DYNAMIC_GHC_PROGRAMS = NO' >> mk/validate.mk
50  - echo 'GhcLibWays = v' >> mk/validate.mk
51  - if [ "$DEBUG_STAGE2" = "YES" ]; then echo 'GhcStage2HcOpts += -DDEBUG' >> mk/validate.mk; fi
52  # * Use --quiet, otherwise the build log might exceed the limit of 4
53  # megabytes, causing Travis to kill our job.
54  # * But use VERBOSE=2 (the default, but not when using --quiet) otherwise
55  # the testsuite might not print output for over 10 minutes (more likely so
56  # when DEBUG_STAGE2=NO), causing Travis to again kill our job.
57  # * Use --fast, to stay within the time limits set by Travis.
58  # See Note [validate and testsuite speed] in toplevel Makefile.
59  - THREADS=3 SKIP_PERF_TESTS=YES VERBOSE=2 ./validate --fast --quiet