summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2022-05-24 11:15:39 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-05-30 13:44:50 -0400
commita96dccfe8201542086a65d168ce6d6b9d302e2c2 (patch)
tree8be4ac42d0af649f6e98e3cc4a1156ab325c3202
parentcac8c7bb098002ddce0ef7c1e4429940d22d8cc2 (diff)
downloadhaskell-a96dccfe8201542086a65d168ce6d6b9d302e2c2.tar.gz
ci: Test the bootstrap without ALEX/HAPPY on path
-rw-r--r--.gitlab-ci.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 38e10d3afa..8955ee6e61 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -574,6 +574,9 @@ test-bootstrap:
- python3 ./hadrian/bootstrap/bootstrap.py -w $GHC --bootstrap-sources hadrian-bootstrap-sources-*.tar.gz
- export HADRIAN_PATH="$PWD/_build/bin/hadrian"
- .gitlab/ci.sh setup
+ # Bootstrapping should not depend on HAPPY or ALEX so set them to false
+ # so the build fails if they are invoked.
+ - export HAPPY=/bin/false; export ALEX=/bin/false
- .gitlab/ci.sh configure
- .gitlab/ci.sh build_hadrian
- .gitlab/ci.sh test_hadrian