From 2c13810b841ee0d579b5cb4a7dd60365f03c9718 Mon Sep 17 00:00:00 2001
From: odanoburu <bcclaro@gmail.com>
Date: Wed, 8 Aug 2018 23:51:34 -0300
Subject: [PATCH] (#4) travis build with docker image

using dockerfile in https://github.com/odanoburu/docker-gf/blob/master/haskell-gf/Dockerfile
---
 .travis.yml | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index e8501e825..74431e795 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/sh -c "cd /home/; runghc Make.hs build --langs=-Mon --dest=rgl ;"
+  - docker run --mount src="$(pwd)",target=/home,type=bind odanoburu/haskell-gf:3.9 /bin/sh -c "cd /home/; sh Make.sh --dest=rgl ;"