forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
30 lines (30 loc) · 1.21 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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
- ghc-pkg list
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"