use stack instead of docker on travis ci

1 files changed, 33 insertions, 9 deletions

diff --git a/.travis.yml b/.travis.yml
index 81c559db..05b93ab0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,15 +1,39 @@
+sudo: false
+dist: trusty
+language: generic
 
-language: c
+env:
+  global:
+    - GCC=gcc-5
+    - GXX=g++-5
 
-sudo: required
-services:
-  - docker
+cache:
+  directories:
+    - $HOME/.stack/
+
+addons:
+  apt:
+    packages:
+      - gcc-5
+      - g++-5
+      - libgmp-dev
+      - llvm-5.0-dev
+    sources:
+      - llvm-toolchain-trusty-5.0
+      - ubuntu-toolchain-r-test
 
 before_install:
-  - grep '\(MemTotal\|SwapTotal\)' /proc/meminfo
-  - git show | head -1  # (for matching against commit hash given on the travis log web page)
-  - docker pull lambdacube3d/lambdacube3d
-  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "ghc-pkg list"
+  - mkdir -p ~/.local/bin
+  - export PATH=~/.local/bin:$PATH
+  - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
+  - export CC=/usr/bin/$GCC
+  - export CXX=/usr/bin/$GXX
+
+install:
+  - stack update
+  - stack --no-terminal --install-ghc test --only-dependencies
+  - stack install
 
 script:
-  - docker run --rm -it -v `pwd`:/root/source/lambdacube-compiler lambdacube3d/lambdacube3d /bin/sh -c "/root/source/lambdacube-compiler/travis/build.sh && /root/source/lambdacube-compiler/travis/profile.sh"
+  - travis/build.sh
+  - travis/profile.sh