ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 14:38:20 +03:00
Code Issues Projects Releases Wiki Activity

Add java tests to travis.yml

Browse Source
This commit is contained in:
Jan Bessai 2013-07-09 22:52:57 +02:00
parent c20a82ca8c
commit f7132df962
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.travis.yml
View File

@ -9,7 +9,10 @@ before_script:
- cd ../..
- tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
- cd idris*
- sed -i -e "s/#CABALFLAGS\(\s\+\):=-f Java/CABALFAGS\1:=-f Java/g" config.mk
script:
- cabal configure
- cabal install
- make test
- make test_java

3
Makefile
View File

@ -16,6 +16,9 @@ build: dist/setup-config
test:
make -C test IDRIS=../dist/build/idris
test_java:
make -C test IDRIS=../dist/build/idris test_java
relib:
make -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
make -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean