git.iko.soy/Idris-dev
on master help sign in
Add java tests to travis.yml
f7132dfJan Bessai
.travis.yml+3
compare with master
unifiedsplit
@@ -9,7 +9,10 @@ before_script:
9 - cd ../..
9 - cd ../..
10 - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
10 - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
11 - cd idris*
11 - cd idris*
12+ - sed -i -e "s/#CABALFLAGS\(\s\+\):=-f Java/CABALFAGS\1:=-f Java/g" config.mk
12script:
13script:
13 - cabal configure
14 - cabal configure
14 - cabal install
15 - cabal install
15 - make test
16 - make test
17+ - make test_java
18+
Makefile+3
@@ -16,6 +16,9 @@ build: dist/setup-config
16test:
16test:
17 make -C test IDRIS=../dist/build/idris
17 make -C test IDRIS=../dist/build/idris
18
18
19+test_java:
20+ make -C test IDRIS=../dist/build/idris test_java
21+
19relib:
22relib:
20 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
23 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
21 make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
24 make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean