Travis: enable cabal flags for Java in cabal execution instead of config.mk
commitfbd6471e805114a836a254e9e38c7af166f1f4fc
authorJan Bessai <Jan.Bessai@tu-dortmund.de>
dateTue 9 Jul 2013, 23:12 (13 years ago)
parentf7132df
.travis.yml+2−3
@@ -9,10 +9,9 @@ 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
1312script:
14− - cabal configure
15− - cabal install
13+ - cabal configure -f Java
14+ - cabal install -f Java
1615 - make test
1716 - make test_java
1817