Cheng Shao pushed to branch wip/hadrian-ghci-multi at Glasgow Haskell Compiler / GHC
WARNING: The push did not contain any new commits, but force pushed to delete the commits and changes below.
Deleted commits:
-
7830d6be
by Cheng Shao at 2025-12-05T17:28:49+01:00
1 changed file:
Changes:
| ... | ... | @@ -437,65 +437,6 @@ hadrian-ghc-in-ghci: |
| 437 | 437 | paths:
|
| 438 | 438 | - cabal-cache
|
| 439 | 439 | |
| 440 | -############################################################
|
|
| 441 | -# Hadrian Multi-Repl
|
|
| 442 | -############################################################
|
|
| 443 | - |
|
| 444 | -hadrian-multi:
|
|
| 445 | - stage: testing
|
|
| 446 | - needs:
|
|
| 447 | - - job: x86_64-linux-fedora42-release
|
|
| 448 | - optional: true
|
|
| 449 | - - job: nightly-x86_64-linux-fedora42-release
|
|
| 450 | - optional: true
|
|
| 451 | - - job: release-x86_64-linux-fedora42-release
|
|
| 452 | - optional: true
|
|
| 453 | - dependencies: null
|
|
| 454 | - image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-fedora42:$DOCKER_REV"
|
|
| 455 | - before_script:
|
|
| 456 | - # workaround for docker permissions
|
|
| 457 | - - sudo chown ghc:ghc -R .
|
|
| 458 | - variables:
|
|
| 459 | - GHC_FLAGS: "-Werror=-Wno-error=incomplete-record-selectors -Wwarn=deprecations -Wwarn=unused-imports"
|
|
| 460 | - # -Wno-error=incomplete-record-selectors is present because -Wall now
|
|
| 461 | - # includes -Wincomplete-record-selectors, and hadrian-multi has many, many
|
|
| 462 | - # warnings about incomplete record selectors. A better fix would be to
|
|
| 463 | - # remove the use of incomplete record selectors, since each of them represents
|
|
| 464 | - # a potential crash.
|
|
| 465 | - CONFIGURE_ARGS: --enable-bootstrap-with-devel-snapshot
|
|
| 466 | - tags:
|
|
| 467 | - - x86_64-linux
|
|
| 468 | - script:
|
|
| 469 | - - export BOOT_HC=$GHC
|
|
| 470 | - - root=$(pwd)/ghc
|
|
| 471 | - - ls
|
|
| 472 | - - |
|
|
| 473 | - mkdir tmp
|
|
| 474 | - tar -xf ghc-x86_64-linux-fedora42-release.tar.xz -C tmp
|
|
| 475 | - pushd tmp/ghc-*/
|
|
| 476 | - ./configure --prefix=$root
|
|
| 477 | - make install
|
|
| 478 | - popd
|
|
| 479 | - rm -Rf tmp
|
|
| 480 | - - export HC=$root/bin/ghc
|
|
| 481 | - # This GHC means, use this GHC to configure with
|
|
| 482 | - - export GHC=$root/bin/ghc
|
|
| 483 | - - . .gitlab/ci.sh setup
|
|
| 484 | - - . .gitlab/ci.sh configure
|
|
| 485 | - # Now GHC means, use this GHC for hadrian
|
|
| 486 | - - export GHC=$BOOT_HC
|
|
| 487 | - - export CORES="$(mk/detect-cpu-count.sh)"
|
|
| 488 | - # Load hadrian-multi then immediately exit and check the modules loaded
|
|
| 489 | - - echo ":q" | HADRIAN_ARGS=-j$CORES hadrian/ghci-multi -j$CORES | tail -n2 | grep "Ok,"
|
|
| 490 | - after_script:
|
|
| 491 | - - .gitlab/ci.sh save_cache
|
|
| 492 | - cache:
|
|
| 493 | - key: hadrian-ghci-$CACHE_REV
|
|
| 494 | - paths:
|
|
| 495 | - - cabal-cache
|
|
| 496 | - rules:
|
|
| 497 | - - *full-ci
|
|
| 498 | - |
|
| 499 | 440 | ############################################################
|
| 500 | 441 | # stack-hadrian-build
|
| 501 | 442 | ############################################################
|