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-data-lens-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
  - cabal build
  - cabal copy
  - 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`
			`- sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-data-lens-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`
Properly factor cabal workflow 2013-10-07 23:02:20 +04:00			`- cabal build`
			`- cabal copy`
Distribute travis builds. 2013-11-28 01:11:55 +04:00			`- make -j2 $TESTS`
			`env:`
Make Travis build Haddock 2014-05-05 13:51:28 +04:00			`- TESTS=doc`
Add a test_c target for testing C back end only 2013-11-30 18:10:26 +04:00			`- TESTS=test_c`
Distribute travis builds. 2013-11-28 01:11:55 +04:00			`- TESTS=test_llvm`
Add js tests to travis script 2014-02-04 12:28:08 +04:00			`- TESTS=test_js`