2012-10-29 23:03:16 +04:00
language : haskell
2013-07-05 01:08:19 +04:00
before_install :
2013-10-07 23:08:53 +04:00
- sudo add-apt-repository --yes ppa:h-rayflood/llvm
2013-07-05 01:08:19 +04:00
- sudo apt-get update -qq
- sudo apt-get install -qq libgc-dev llvm-3.3
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
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
2014-05-05 13:51:28 +04:00
# Haddock dependencies
- sudo apt-get install hscolour
2014-04-07 11:17:55 +04:00
# test dependency
- sudo apt-get install -qq expect
2014-09-12 19:11:55 +04:00
- cabal install alex-3.1.3
2013-11-01 01:33:46 +04:00
install :
2014-11-27 10:18:15 +03:00
- cabal install -f FFI --enable-tests --dependencies-only
2014-07-23 11:07:05 +04:00
- ghc-pkg list
2013-06-29 04:51:44 +04:00
before_script :
2013-06-29 04:43:42 +04:00
- cabal sdist
2013-08-01 08:57:30 +04:00
- cd ..
- tar -xf Idris-dev/dist/idris*.tar.gz
2013-06-29 04:43:42 +04:00
- cd idris*
2013-06-29 04:51:44 +04:00
script :
2015-01-04 20:10:50 +03:00
- cabal configure -f FFI -f CI
2014-05-05 15:13:51 +04:00
- if [[ "$TESTS" != "doc" ]]; then cabal build; fi
- if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2014-11-27 10:18:15 +03:00
- if [[ "$TESTS" != "doc" ]]; then cabal register; fi
2014-09-20 03:14:07 +04:00
- if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
2013-11-28 01:11:55 +04:00
- make -j2 $TESTS
env :
2014-05-05 15:13:51 +04:00
- TESTS="doc"
2014-08-05 11:48:47 +04:00
- TESTS="lib_doc"
2014-05-05 15:13:51 +04:00
- TESTS="test_c"
2015-01-20 17:54:39 +03:00
#- TESTS="test_llvm"
2014-05-05 15:13:51 +04:00
- TESTS="test_js"