Commit 0fc1cb54 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

gitlab-ci: Verify that Hadrian builds with Stack

As noted in #18726, this regularly breaks. Let's test it.

Note that we don't actually perform a build of GHC itself; we merely
test that the Hadrian executable builds and works (by invoking `hadrian
--version`).
parent 8f4f5794
......@@ -233,6 +233,17 @@ lint-release-changelogs:
tags:
- x86_64-linux
# Verify that Hadrian builds with stack. Note that we don't actually perform a
# build of GHC itself; we merely test that the Hadrian executable builds and
# works (by invoking `hadrian --version`).
stack-hadrian-build:
extends: .validate-linux-hadrian
stage: build
script:
- .gitlab/ci.sh setup
- .gitlab/ci.sh configure
- hadrian/build-stack --version
validate-x86_64-linux-deb9-hadrian:
extends: .validate-linux-hadrian
needs: [hadrian-ghc-in-ghci]
......
......@@ -3,11 +3,13 @@
# Make sure that the script exits if Hadrian fails to build
set -euo pipefail
STACK="${STACK:-stack}"
# Make sure Hadrian is up-to-date
cd hadrian
stack build --no-library-profiling ${HADRIAN_NIX:+--nix}
$STACK build --no-library-profiling ${HADRIAN_NIX:+--nix}
# Run Hadrian in the top-level GHC directory
stack exec hadrian -- \
$STACK exec hadrian -- \
--directory ".." \
"$@"
......@@ -3,5 +3,9 @@ setlocal
rem Change the current directory to the one containing this script
cd %~dp0
if "%STACK%"=="" (
set STACK=stack
)
rem Build and run Hadrian in GHC top directory forwarding additional user arguments
stack run hadrian --cwd=.. -- %*
%STACK% run hadrian --cwd=.. -- %*
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