Unverified Commit 0d6c1658 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov Committed by GitHub

Merge pull request #5244 from grayjay/solver-debug-flags-job

Use GHC 8.2.2 and new-build for solver-debug-flags Travis job
parents 5190be6a a124162e
......@@ -59,7 +59,7 @@ matrix:
os: linux
sudo: required
- env: GHCVER=8.4.1 SCRIPT=solver-debug-flags USE_GOLD=YES
- env: GHCVER=8.2.2 SCRIPT=solver-debug-flags USE_GOLD=YES
sudo: required
os: linux
- env: GHCVER=8.4.1 SCRIPT=script DEBUG_EXPENSIVE_ASSERTIONS=YES TAGSUFFIX="-fdebug-expensive-assertions" USE_GOLD=YES
......
#!/bin/sh
# Build cabal with solver debug flags enabled.
#
# We use a sandbox, because cabal-install-1.24.0.0's new-build command tries to
# build tracetree's dependencies with the inplace Cabal, which leads to compile
# errors. We also need to skip the tests, because debug-tracetree prints the
# whole solver tree as JSON.
# We need to skip the tests, because debug-tracetree prints the whole solver
# tree as JSON.
cabal update
cd cabal-install
cabal sandbox init
cabal sandbox add-source ../Cabal
cabal install --dependencies-only --constraint "cabal-install +debug-tracetree +debug-conflict-sets"
cabal configure --ghc-option=-Werror --constraint "cabal-install +debug-tracetree +debug-conflict-sets"
cabal build
cabal install happy
cabal new-build exe:cabal --constraint "cabal-install +debug-tracetree +debug-conflict-sets"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment