diff options
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 92a878546f..c68d847135 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -452,6 +452,9 @@ function build_hadrian() { fail "BIN_DIST_NAME not set" fi + # N.B. First build Hadrian, unsetting MACOSX_DEPLOYMENT_TARGET which may warn + # if the bootstrap libraries were built with a different version expectation. + MACOSX_DEPLOYMENT_TARGET="" run_hadrian stage1:exe:ghc-bin run_hadrian binary-dist mv _build/bindist/ghc*.tar.xz "$BIN_DIST_NAME.tar.xz" |