summaryrefslogtreecommitdiff
path: root/other/travis/env-linux.sh
diff options
context:
space:
mode:
authoriphydf <iphydf@users.noreply.github.com>2017-06-04 18:34:15 +0000
committeriphydf <iphydf@users.noreply.github.com>2017-06-05 19:55:32 +0000
commit8479b82431697ae2d36bd068a9dd90b520abeb73 (patch)
treed75b77bebad650c4fe4f10c56afd778f49915b54 /other/travis/env-linux.sh
parentcb69b8a986b050020e175654a68ca62b6bfb8bc7 (diff)
Fold hstox tests into the general linux test.
We can run the spectest from within cmake, so we should exercise that.
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r--other/travis/env-linux.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh
index fca8a412..4615016e 100644
--- a/other/travis/env-linux.sh
+++ b/other/travis/env-linux.sh
@@ -1,5 +1,8 @@
1#!/bin/sh 1#!/bin/sh
2 2
3export PATH=/opt/ghc/7.8.4/bin:/opt/cabal/1.18/bin:/opt/alex/3.1.7/bin:/opt/happy/1.19.5/bin:$PATH
4export PATH=$HOME/.cabal/bin:$PATH
5
3CMAKE=cmake 6CMAKE=cmake
4CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DFORMAT_TEST=ON" 7CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DFORMAT_TEST=ON"
5NPROC=`nproc` 8NPROC=`nproc`