Enable building for GHCJS on Travis, streamline build script

This commit is contained in:
John Wiegley 2018-05-13 14:25:41 -07:00
parent d912441e3c
commit 36fb8d7cb5
No known key found for this signature in database
GPG key ID: C144D8F4F19FE630
2 changed files with 21 additions and 3 deletions

View file

@ -21,14 +21,13 @@ env:
- MATCHING_TESTS=yes
matrix:
- GHCVERSION=ghc802 STRICT=false TRACING=false PROFILING=false
# - GHCVERSION=ghc802 STRICT=false TRACING=true PROFILING=false
- GHCVERSION=ghc802 STRICT=false TRACING=true PROFILING=true
- GHCVERSION=ghc822 STRICT=true TRACING=false PROFILING=false
- GHCVERSION=ghc822 STRICT=true TRACING=true PROFILING=false
- GHCVERSION=ghc822 STRICT=true TRACING=true PROFILING=true
- GHCVERSION=ghc842 STRICT=false TRACING=false PROFILING=false
# - GHCVERSION=ghc842 STRICT=false TRACING=true PROFILING=false
- GHCVERSION=ghc842 STRICT=false TRACING=true PROFILING=true
- GHCVERSION=ghcjs NIX_CONF_DIR=$PWD/ghcjs
matrix:
allow_failures:
@ -38,7 +37,7 @@ matrix:
- env: GHCVERSION=ghc822 STRICT=false
script:
- nix-build --argstr compiler $GHCVERSION --arg doProfiling $PROFILING --arg doTracing $TRACING --arg doStrict $STRICT
- bash -xe build.sh
branches:
only:

19
build.sh Executable file
View file

@ -0,0 +1,19 @@
#!/bin/bash -xe
set -euo pipefail
IFS=$'\n\t'
GHCVERSION=${GHCVERSION:-ghc822}
STRICT=${STRICT:-false}
TRACING=${TRACING:-false}
PROFILING=${PROFILING:-false}
if [ "$GHCVERSION" = "ghcjs" ]; then
exec nix-build ghcjs
else
exec nix-build \
--argstr compiler $GHCVERSION \
--arg doProfiling $PROFILING \
--arg doTracing $TRACING \
--arg doStrict $STRICT
fi