picnoir
/
hnix
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Disable profiling builds

This commit is contained in:
John Wiegley 2018-05-18 23:42:13 -07:00
parent 9617c90a9e
commit af4c52fa97
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
2 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.travis.yml
View File

@ -15,13 +15,12 @@ env:
- NIXPKGS_TESTS=yes
- MATCHING_TESTS=yes
matrix:
- GHCVERSION=ghc802 STRICT=false TRACING=false 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=true
- GHCVERSION=ghc802 STRICT=false TRACING=false
- GHCVERSION=ghc802 STRICT=false TRACING=true
- GHCVERSION=ghc822 STRICT=true TRACING=false
- GHCVERSION=ghc822 STRICT=true TRACING=true
- GHCVERSION=ghc842 STRICT=false TRACING=false
- GHCVERSION=ghc842 STRICT=false TRACING=true
- GHCVERSION=ghcjs
matrix:

2
build.sh
View File

@ -6,14 +6,12 @@ IFS=$'\n\t'
GHCVERSION=${GHCVERSION:-ghc822}
STRICT=${STRICT:-false}
TRACING=${TRACING:-false}
PROFILING=${PROFILING:-false}
if [ "$GHCVERSION" = "ghcjs" ]; then
nix-build --substituters 'https://nixcache.reflex-frp.org?trusted=1' ghcjs
else
nix-build \
--argstr compiler $GHCVERSION \
--arg doProfiling $PROFILING \
--arg doTracing $TRACING \
--arg doStrict $STRICT
fi