diff options
author | Ben Gamari <ben@smart-cactus.org> | 2023-01-25 16:31:40 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-31 13:09:50 -0500 |
commit | a2d814dc84dbdcdb6c1e274b8bd7c212cc98c39e (patch) | |
tree | 45d223fce48180074f0b96e695c90cb054551caa /.gitlab-ci.yml | |
parent | f83374f8649e5d8413e7ed585b0e058690c38563 (diff) | |
download | haskell-a2d814dc84dbdcdb6c1e274b8bd7c212cc98c39e.tar.gz |
configure: Always create the VERSION file
Teach the `configure` script to create the `VERSION` file.
This will serve as the stable interface to allow the user to determine
the version number of a working tree.
Fixes #22322.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3999b645b1..bf8be6ebd5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -954,9 +954,6 @@ pages: ############################################################# -# TODO: MP: This way of determining the project version is sadly very slow. -# It seems overkill to have to setup a complete environment, and build hadrian to get -# it to generate a single file containing the version information. project-version: stage: packaging image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb10:$DOCKER_REV" @@ -969,7 +966,6 @@ project-version: - sudo chown ghc:ghc -R . - .gitlab/ci.sh setup - .gitlab/ci.sh configure - - .gitlab/ci.sh run_hadrian VERSION - echo "ProjectVersion=$(cat VERSION)" > version.sh needs: [] |