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
before_script:
  - cabal sdist
  - cd ..
  - tar -xf Idris-dev/dist/idris*.tar.gz
  - cd idris*
script:
  - cabal configure
  - cabal build
  - cabal copy
  - make -j2 test
  - make -j2 test_llvm
  - make -j2 test_java
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`
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:`
Remove Java RTS build in favor of the version hosted on Maven Central 2013-07-16 21:53:14 +04:00			`- cabal configure`
Properly factor cabal workflow 2013-10-07 23:02:20 +04:00			`- cabal build`
			`- cabal copy`
Use make -j2 test on travis 2013-10-29 13:53:40 +04:00			`- make -j2 test`
			`- make -j2 test_llvm`
			`- make -j2 test_java`
Reenable Java tests in Travis 2013-10-25 12:17:22 +04:00