@@ -9,10 +9,9 @@ before_script:
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
14− - cabal configure
13+ - cabal configure -f Java
15− - cabal install
14+ - cabal install -f Java
16 - make test
15 - make test
17 - make test_java
16 - make test_java