Idris-dev/.travis.yml

language: haskell
before_install:
  - sudo add-apt-repository --yes ppa:h-rayflood/llvm
  - sudo apt-get update -qq
  - sudo apt-get install -qq libgc-dev llvm-3.3
  - sudo apt-get install -qq libghc-unordered-containers-dev libghc-mtl-dev libghc-network-dev libghc-xml-dev libghc-transformers-dev libghc-text-dev libghc-utf8-string-dev libghc-vector-dev libghc-split-dev libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev
  # trifecta dependencies
  - sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-bifunctors-dev libghc-hashable-dev libghc-semigroups-dev libghc-semigroupoids-dev libghc-parallel-dev libghc-comonad-dev libghc-terminfo-dev libghc-keys-dev
  # Haddock dependencies
  - sudo apt-get install hscolour
  # test dependency
  - sudo apt-get install -qq expect
install:
  - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
before_script:
  - cabal sdist
  - cd ..
  - tar -xf Idris-dev/dist/idris*.tar.gz
  - cd idris*
script:
  - cabal configure -f FFI -f LLVM
  - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
  - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
  - make -j2 $TESTS
env:
  - TESTS="doc"
  - TESTS="test_c"
  - TESTS="test_llvm"
  - TESTS="test_js"
travis-ci: lower case Haskell to see if that helps with build problems 2012-10-29 23:03:16 +04:00			`language: haskell`
Fix .travis.yml Somehow I broke it in the last merge 2013-07-05 01:08:19 +04:00			`before_install:`
Skip confirmation prompt 2013-10-07 23:08:53 +04:00			`- sudo add-apt-repository --yes ppa:h-rayflood/llvm`
Fix .travis.yml Somehow I broke it in the last merge 2013-07-05 01:08:19 +04:00			`- sudo apt-get update -qq`
			`- sudo apt-get install -qq libgc-dev llvm-3.3`
Add some system-level ghc packages. 2013-11-28 02:01:38 +04:00			`- sudo apt-get install -qq libghc-unordered-containers-dev libghc-mtl-dev libghc-network-dev libghc-xml-dev libghc-transformers-dev libghc-text-dev libghc-utf8-string-dev libghc-vector-dev libghc-split-dev libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev`
			`# trifecta dependencies`
data-lens is not a dep of idris lens is, but that isn't available in the binary repos of the old version of Ubuntu Travis-CI runs. 2014-06-24 08:22:18 +04:00			`- sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-bifunctors-dev libghc-hashable-dev libghc-semigroups-dev libghc-semigroupoids-dev libghc-parallel-dev libghc-comonad-dev libghc-terminfo-dev libghc-keys-dev`
Make Travis build Haddock 2014-05-05 13:51:28 +04:00			`# Haddock dependencies`
			`- sudo apt-get install hscolour`
Regression test for infinite regress in executor This test will fail if laziness doesn't prevent infinite recursion in the executor. It's implemented using `expect` instead of `timeout` in the hope that it will make life easier for non-GNU systems. 2014-04-07 11:17:55 +04:00			`# test dependency`
			`- sudo apt-get install -qq expect`
Ask travis to install optional dependencies 2013-11-01 01:33:46 +04:00			`install:`
			`- cabal install -f FFI -f LLVM --only-dependencies --enable-tests`
Slightly cleaner segregation 2013-06-29 04:51:44 +04:00			`before_script:`
Adjust travis-ci script to test distribution generated by `cabal sdist` 2013-06-29 04:43:42 +04:00			`- cabal sdist`
Make .travis.yml repository-independent 2013-08-01 08:57:30 +04:00			`- cd ..`
			`- tar -xf Idris-dev/dist/idris*.tar.gz`
Adjust travis-ci script to test distribution generated by `cabal sdist` 2013-06-29 04:43:42 +04:00			`- cd idris*`
Slightly cleaner segregation 2013-06-29 04:51:44 +04:00			`script:`
LLVM and FFI flags default to off This is primarily so that installation is easier for new users. Users who want these features can of course turn them on easily enough! (Ideally, we want binary packages which will switch everything on.) 2013-11-01 00:58:23 +04:00			`- cabal configure -f FFI -f LLVM`
Don't compile before building docs in Travis This makes the build go faster, and Haddock has to type check everything anyway. 2014-05-05 15:13:51 +04:00			`- if [[ "$TESTS" != "doc" ]]; then cabal build; fi`
			`- if [[ "$TESTS" != "doc" ]]; then cabal copy; fi`
Distribute travis builds. 2013-11-28 01:11:55 +04:00			`- make -j2 $TESTS`
			`env:`
Don't compile before building docs in Travis This makes the build go faster, and Haddock has to type check everything anyway. 2014-05-05 15:13:51 +04:00			`- TESTS="doc"`
			`- TESTS="test_c"`
			`- TESTS="test_llvm"`
			`- TESTS="test_js"`