de45d29 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Adapt travis testing

de45d29Markus Pfeiffer12 years ago

.travis.yml+8−6

@@ -12,14 +12,9 @@ before_install:

12 - sudo apt-get install -qq expect

13 - cabal install alex-3.1.3

14install:

15− - cabal install -f FFI --only-dependencies --enable-tests

15+ - cabal install -f FFI --enable-tests

16 - ghc-pkg list

17before_script:

18− - cd ..

19− - git clone --depth 1 git@github.com:idris-hackers/idris-llvm.git

20− - cd idris-llvm

21− - cabal install

22− - cd ..

23 - cabal sdist

18 - cabal sdist

24 - cd ..

19 - cd ..

25 - tar -xf Idris-dev/dist/idris*.tar.gz

20 - tar -xf Idris-dev/dist/idris*.tar.gz

@@ -28,6 +23,13 @@ script:

28 - cabal configure -f FFI

23 - cabal configure -f FFI

29 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi

24 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi

30 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi

25 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi

26+ - git clone --depth 1 https://github.com/markuspf/idris-llvm.git

27+ - cd idris-llvm

28+ - cabal install --only-dependencies

29+ - cabal configure

30+ - cabal build

31+ - cabal copy

32+ - cd ..

31 - make -j2 $TESTS

33 - make -j2 $TESTS

32env:

34env:

33 - TESTS="doc"

35 - TESTS="doc"