diff --git a/jenkins-build.sh b/jenkins-build.sh index 0ec25986..46a87084 100755 --- a/jenkins-build.sh +++ b/jenkins-build.sh @@ -3,7 +3,7 @@ cabal update (cd patching/ && ./scripts/create-tarballs.sh) cabal install -cabal install Cabal +cabal install Cabal-$(cabal --version | sed -n 's@using version \(.*\) of the Cabal library@\1@p') ./dist/build/stackage/stackage select --no-platform ./dist/build/stackage/stackage check ./dist/build/stackage/stackage build