use stack instead of docker on travis ci

2 files changed, 41 insertions, 19 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
diff --git a/run-test-suite.sh b/run-test-suite.sh
index d2173427..996e7d6d 100755
--- a/run-test-suite.sh
+++ b/run-test-suite.sh
@@ -4,29 +4,27 @@ UNIT_TEST_PARAMS="--quickcheck-max-size 30 --quickcheck-tests 100"
 
 if [ "$1" == "--profile" ] ; then
   shift
-  cabal install --only-dependencies --enable-library-profiling --enable-executable-profiling
-  cabal configure --flags "profiling testsuite -cli" --enable-library-profiling --enable-executable-profiling
+  stack build --profile --flag lambdacube-compiler:testsuite --flag lambdacube-compiler:profiling --flag lambdacube-compiler:-cli
   set +e
   RESULT_UNITTESTS=0
-  cabal run lambdacube-compiler-test-suite -- -r -iperformance -i.ignore $@ +RTS -p
+  stack exec lambdacube-compiler-test-suite -- -r -iperformance -i.ignore $@ +RTS -p
   RESULT_TESTS=`echo $?`
 elif [ "$1" == "--coverage" ] ; then
   shift
   set +e
-  cabal install --only-dependencies
-  cabal configure --flags "coverage alltest"
-  cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
+  stack build --flag lambdacube-compiler:coverage --flag lambdacube-compiler:alltest
+  stack exec lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
   RESULT_UNITTESTS=`echo $?`
-  cabal run lambdacube-compiler-coverage-test-suite -- -iperformance -i.ignore -r $@
+  stack exec lambdacube-compiler-coverage-test-suite -- -iperformance -i.ignore -r $@
   RESULT_TESTS=`echo $?`
   ./create-test-report.sh
   rm lambdacube-compiler-coverage-test-suite.tix
 else
   set +e
-  cabal install --only-dependencies -j1
-  cabal run lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
+  stack build --flag lambdacube-compiler:alltest
+  stack exec lambdacube-compiler-unit-tests -- $UNIT_TEST_PARAMS
   RESULT_UNITTESTS=`echo $?`
-  cabal run lambdacube-compiler-test-suite -- -iperformance -i.ignore -r $@
+  stack exec lambdacube-compiler-test-suite -- -iperformance -i.ignore -r $@
   RESULT_TESTS=`echo $?`
 fi