diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-02 14:47:34 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-19 15:47:24 -0400 |
| commit | a89c2fbab9bcf7d769e9d27262ab29f93342f114 (patch) | |
| tree | c7148ac2e744fe14bc303340eb115b8a3de878e4 /.gitlab | |
| parent | 2229d570fc78867190febb4f13c799b258a41f6d (diff) | |
| download | haskell-a89c2fbab9bcf7d769e9d27262ab29f93342f114.tar.gz | |
ci.sh: Enforce minimum happy/alex versions
Also, always invoke cabal-install to ensure that happy/alex symlinks are
up-to-date.
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 938cc22da9..dfc3d9e6e4 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -7,6 +7,8 @@ set -e -o pipefail # Configuration: hackage_index_state="2020-09-14T19:30:43Z" +MIN_HAPPY_VERSION="1.20" +MIN_ALEX_VERSION="3.2" # Colors BLACK="0;30" @@ -294,17 +296,13 @@ function setup_toolchain() { *) ;; esac - if [ ! -e "$HAPPY" ]; then - info "Building happy..." - cabal update - $cabal_install happy - fi + cabal update - if [ ! -e "$ALEX" ]; then - info "Building alex..." - cabal update - $cabal_install alex - fi + info "Building happy..." + $cabal_install happy --constraint="happy>=$MIN_HAPPY_VERSION" + + info "Building alex..." + $cabal_install alex --constraint="alex>=$MIN_ALEX_VERSION" } function cleanup_submodules() { |