diff --git a/.travis.yml b/.travis.yml index e8501e82..7f2c3d43 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,11 +1,14 @@ -os: osx +sudo: required + language: c -install: - - mkdir bin +services: + - docker + +before_install: + - docker pull odanoburu/haskell-gf:3.9 - mkdir rgl - - curl http://www.grammaticalframework.org/download/gf-3.9-bin-intel-mac.tar.gz > gf.tar.gz - - tar -C bin -zxf gf.tar.gz script: - - sh Make.sh --gf=./bin/gf --dest=./rgl + - docker run --mount src="$(pwd)",target=/home,type=bind odanoburu/haskell-gf:3.9 /bin/bash -c "cd /home/; export GF_LIB_PATH=/home/rgl ; runghc Make.hs build prelude all --verbose ;" + - docker run --mount src="$(pwd)",target=/home,type=bind odanoburu/haskell-gf:3.9 /bin/bash -c "cd /home/; export GF_LIB_PATH=/home/rgl; bash Make.sh --dest=rgl --verbose ;"