mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-11-03 11:15:36 -07:00
update the travis configuration as well
This commit is contained in:
1 parent
0d0462e5a7
commit
325ffb79a9
1 file changed
+3
-3
+3
-3
@@ -20,8 +20,8 @@ before_install:
|
|||||||
- if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then alias gf='gf.exe' && alias runghc='runghc.exe' ; fi
|
- if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then alias gf='gf.exe' && alias runghc='runghc.exe' ; fi
|
||||||
|
|
||||||
script:
|
script:
|
||||||
- runghc Make.hs build prelude all --verbose
|
- runghc Setup.hs build prelude all --verbose
|
||||||
- rm -rf dist
|
- rm -rf dist
|
||||||
- mkdir dist-bash ; bash Make.sh --dest=dist-bash --verbose
|
- mkdir dist-bash ; bash Setup.sh --dest=dist-bash --verbose
|
||||||
- rm -rf dist ; mkdir dist-bat
|
- rm -rf dist ; mkdir dist-bat
|
||||||
- if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then cmd //c Make.bat --dest=dist-bat --verbose ; fi
|
- if [[ "$TRAVIS_OS_NAME" == "windows" ]]; then cmd //c Setup.bat --dest=dist-bat --verbose ; fi
|
||||||
Reference in new issue
Block a user