Add java tests to travis.yml
commitf7132df96237c2aff3761cf209bd0d34576e72db
authorJan Bessai <Jan.Bessai@tu-dortmund.de>
dateTue 9 Jul 2013, 22:52 (13 years ago)
parentc20a82c
.travis.yml+3
@@ -9,7 +9,10 @@ before_script:
99 - cd ../..
1010 - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
1111 - cd idris*
12+ - sed -i -e "s/#CABALFLAGS\(\s\+\):=-f Java/CABALFAGS\1:=-f Java/g" config.mk
1213script:
1314 - cabal configure
1415 - cabal install
1516 - make test
17+ - make test_java
18+
Makefile+3
@@ -16,6 +16,9 @@ build: dist/setup-config
1616test:
1717 make -C test IDRIS=../dist/build/idris
1818
19+test_java:
20+ make -C test IDRIS=../dist/build/idris test_java
21+
1922relib:
2023 make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
2124 make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean