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
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_java
  - TESTS=test_llvm
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`
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:`
(Temporarily) Remove haddock tests from travis 2013-12-12 01:15:56 +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_java`
			`- TESTS=test_llvm`