singletons-{th,base}: Require building with GHC 9.12
#376
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This GitHub workflow config has been generated by a script via | |
| # | |
| # haskell-ci 'github' 'cabal.project' | |
| # | |
| # To regenerate the script (for example after adjusting tested-with) run | |
| # | |
| # haskell-ci regenerate | |
| # | |
| # For more information, see https://github.com/haskell-CI/haskell-ci | |
| # | |
| # version: 0.19.20241202 | |
| # | |
| # REGENDATA ("0.19.20241202",["github","cabal.project"]) | |
| # | |
| name: Haskell-CI | |
| on: | |
| - push | |
| - pull_request | |
| jobs: | |
| linux: | |
| name: Haskell-CI - Linux - ${{ matrix.compiler }} | |
| runs-on: ubuntu-20.04 | |
| timeout-minutes: | |
| 60 | |
| container: | |
| image: buildpack-deps:jammy | |
| continue-on-error: ${{ matrix.allow-failure }} | |
| strategy: | |
| matrix: | |
| include: | |
| - compiler: ghc-9.12.0.20241128 | |
| compilerKind: ghc | |
| compilerVersion: 9.12.0.20241128 | |
| setup-method: ghcup-prerelease | |
| allow-failure: false | |
| - compiler: ghc-9.10.1 | |
| compilerKind: ghc | |
| compilerVersion: 9.10.1 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-9.8.2 | |
| compilerKind: ghc | |
| compilerVersion: 9.8.2 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-9.6.6 | |
| compilerKind: ghc | |
| compilerVersion: 9.6.6 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-9.4.8 | |
| compilerKind: ghc | |
| compilerVersion: 9.4.8 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-9.2.7 | |
| compilerKind: ghc | |
| compilerVersion: 9.2.7 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-9.0.2 | |
| compilerKind: ghc | |
| compilerVersion: 9.0.2 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.10.7 | |
| compilerKind: ghc | |
| compilerVersion: 8.10.7 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.8.4 | |
| compilerKind: ghc | |
| compilerVersion: 8.8.4 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.6.5 | |
| compilerKind: ghc | |
| compilerVersion: 8.6.5 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.4.4 | |
| compilerKind: ghc | |
| compilerVersion: 8.4.4 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.2.2 | |
| compilerKind: ghc | |
| compilerVersion: 8.2.2 | |
| setup-method: ghcup | |
| allow-failure: false | |
| - compiler: ghc-8.0.2 | |
| compilerKind: ghc | |
| compilerVersion: 8.0.2 | |
| setup-method: ghcup | |
| allow-failure: false | |
| fail-fast: false | |
| steps: | |
| - name: apt-get install | |
| run: | | |
| apt-get update | |
| apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5 libnuma-dev | |
| - name: Install GHCup | |
| run: | | |
| mkdir -p "$HOME/.ghcup/bin" | |
| curl -sL https://downloads.haskell.org/ghcup/0.1.30.0/x86_64-linux-ghcup-0.1.30.0 > "$HOME/.ghcup/bin/ghcup" | |
| chmod a+x "$HOME/.ghcup/bin/ghcup" | |
| - name: Install cabal-install | |
| run: | | |
| "$HOME/.ghcup/bin/ghcup" install cabal 3.12.1.0 || (cat "$HOME"/.ghcup/logs/*.* && false) | |
| echo "CABAL=$HOME/.ghcup/bin/cabal-3.12.1.0 -vnormal+nowrap" >> "$GITHUB_ENV" | |
| - name: Install GHC (GHCup) | |
| if: matrix.setup-method == 'ghcup' | |
| run: | | |
| "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false) | |
| HC=$("$HOME/.ghcup/bin/ghcup" whereis ghc "$HCVER") | |
| HCPKG=$(echo "$HC" | sed 's#ghc$#ghc-pkg#') | |
| HADDOCK=$(echo "$HC" | sed 's#ghc$#haddock#') | |
| echo "HC=$HC" >> "$GITHUB_ENV" | |
| echo "HCPKG=$HCPKG" >> "$GITHUB_ENV" | |
| echo "HADDOCK=$HADDOCK" >> "$GITHUB_ENV" | |
| env: | |
| HCKIND: ${{ matrix.compilerKind }} | |
| HCNAME: ${{ matrix.compiler }} | |
| HCVER: ${{ matrix.compilerVersion }} | |
| - name: Install GHC (GHCup prerelease) | |
| if: matrix.setup-method == 'ghcup-prerelease' | |
| run: | | |
| "$HOME/.ghcup/bin/ghcup" config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.8.yaml; | |
| "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false) | |
| HC=$("$HOME/.ghcup/bin/ghcup" whereis ghc "$HCVER") | |
| HCPKG=$(echo "$HC" | sed 's#ghc$#ghc-pkg#') | |
| HADDOCK=$(echo "$HC" | sed 's#ghc$#haddock#') | |
| echo "HC=$HC" >> "$GITHUB_ENV" | |
| echo "HCPKG=$HCPKG" >> "$GITHUB_ENV" | |
| echo "HADDOCK=$HADDOCK" >> "$GITHUB_ENV" | |
| env: | |
| HCKIND: ${{ matrix.compilerKind }} | |
| HCNAME: ${{ matrix.compiler }} | |
| HCVER: ${{ matrix.compilerVersion }} | |
| - name: Set PATH and environment variables | |
| run: | | |
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | |
| echo "LANG=C.UTF-8" >> "$GITHUB_ENV" | |
| echo "CABAL_DIR=$HOME/.cabal" >> "$GITHUB_ENV" | |
| echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV" | |
| HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))') | |
| echo "HCNUMVER=$HCNUMVER" >> "$GITHUB_ENV" | |
| echo "ARG_TESTS=--enable-tests" >> "$GITHUB_ENV" | |
| echo "ARG_BENCH=--enable-benchmarks" >> "$GITHUB_ENV" | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "HEADHACKAGE=true" >> "$GITHUB_ENV" ; else echo "HEADHACKAGE=false" >> "$GITHUB_ENV" ; fi | |
| echo "ARG_COMPILER=--$HCKIND --with-compiler=$HC" >> "$GITHUB_ENV" | |
| env: | |
| HCKIND: ${{ matrix.compilerKind }} | |
| HCNAME: ${{ matrix.compiler }} | |
| HCVER: ${{ matrix.compilerVersion }} | |
| - name: env | |
| run: | | |
| env | |
| - name: write cabal config | |
| run: | | |
| mkdir -p $CABAL_DIR | |
| cat >> $CABAL_CONFIG <<EOF | |
| remote-build-reporting: anonymous | |
| write-ghc-environment-files: never | |
| remote-repo-cache: $CABAL_DIR/packages | |
| logs-dir: $CABAL_DIR/logs | |
| world-file: $CABAL_DIR/world | |
| extra-prog-path: $CABAL_DIR/bin | |
| symlink-bindir: $CABAL_DIR/bin | |
| installdir: $CABAL_DIR/bin | |
| build-summary: $CABAL_DIR/logs/build.log | |
| store-dir: $CABAL_DIR/store | |
| install-dirs user | |
| prefix: $CABAL_DIR | |
| repository hackage.haskell.org | |
| url: http://hackage.haskell.org/ | |
| EOF | |
| if $HEADHACKAGE; then | |
| cat >> $CABAL_CONFIG <<EOF | |
| repository head.hackage.ghc.haskell.org | |
| url: https://ghc.gitlab.haskell.org/head.hackage/ | |
| secure: True | |
| root-keys: 7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d | |
| 26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329 | |
| f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89 | |
| key-threshold: 3 | |
| active-repositories: hackage.haskell.org | |
| EOF | |
| fi | |
| cat >> $CABAL_CONFIG <<EOF | |
| program-default-options | |
| ghc-options: $GHCJOBS +RTS -M3G -RTS | |
| EOF | |
| cat $CABAL_CONFIG | |
| - name: versions | |
| run: | | |
| $HC --version || true | |
| $HC --print-project-git-commit-id || true | |
| $CABAL --version || true | |
| - name: update cabal index | |
| run: | | |
| $CABAL v2-update -v | |
| - name: install cabal-plan | |
| run: | | |
| mkdir -p $HOME/.cabal/bin | |
| curl -sL https://github.com/haskell-hvr/cabal-plan/releases/download/v0.7.3.0/cabal-plan-0.7.3.0-x86_64-linux.xz > cabal-plan.xz | |
| echo 'f62ccb2971567a5f638f2005ad3173dba14693a45154c1508645c52289714cb2 cabal-plan.xz' | sha256sum -c - | |
| xz -d < cabal-plan.xz > $HOME/.cabal/bin/cabal-plan | |
| rm -f cabal-plan.xz | |
| chmod a+x $HOME/.cabal/bin/cabal-plan | |
| cabal-plan --version | |
| - name: checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| path: source | |
| - name: initial cabal.project for sdist | |
| run: | | |
| touch cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./singletons" >> cabal.project | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: $GITHUB_WORKSPACE/source/./singletons-th" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: $GITHUB_WORKSPACE/source/./singletons-base" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: $GITHUB_WORKSPACE/source/./singletons-base-code-generator" >> cabal.project ; fi | |
| cat cabal.project | |
| - name: sdist | |
| run: | | |
| mkdir -p sdist | |
| $CABAL sdist all --output-dir $GITHUB_WORKSPACE/sdist | |
| - name: unpack | |
| run: | | |
| mkdir -p unpacked | |
| find sdist -maxdepth 1 -type f -name '*.tar.gz' -exec tar -C $GITHUB_WORKSPACE/unpacked -xzvf {} \; | |
| - name: generate cabal.project | |
| run: | | |
| PKGDIR_singletons="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/singletons-[0-9.]*')" | |
| echo "PKGDIR_singletons=${PKGDIR_singletons}" >> "$GITHUB_ENV" | |
| PKGDIR_singletons_th="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/singletons-th-[0-9.]*')" | |
| echo "PKGDIR_singletons_th=${PKGDIR_singletons_th}" >> "$GITHUB_ENV" | |
| PKGDIR_singletons_base="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/singletons-base-[0-9.]*')" | |
| echo "PKGDIR_singletons_base=${PKGDIR_singletons_base}" >> "$GITHUB_ENV" | |
| PKGDIR_singletons_base_code_generator="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/singletons-base-code-generator-[0-9.]*')" | |
| echo "PKGDIR_singletons_base_code_generator=${PKGDIR_singletons_base_code_generator}" >> "$GITHUB_ENV" | |
| rm -f cabal.project cabal.project.local | |
| touch cabal.project | |
| touch cabal.project.local | |
| echo "packages: ${PKGDIR_singletons}" >> cabal.project | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: ${PKGDIR_singletons_th}" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: ${PKGDIR_singletons_base}" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "packages: ${PKGDIR_singletons_base_code_generator}" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 80200)) -ne 0 ] ; then echo "package singletons" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 80200)) -ne 0 ] ; then echo " ghc-options: -Werror=missing-methods" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "package singletons-th" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo " ghc-options: -Werror=missing-methods" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "package singletons-base" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo " ghc-options: -Werror=missing-methods" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo "package singletons-base-code-generator" >> cabal.project ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then echo " ghc-options: -Werror=missing-methods" >> cabal.project ; fi | |
| cat >> cabal.project <<EOF | |
| source-repository-package | |
| type: git | |
| location: https://github.com/goldfirere/th-desugar | |
| tag: 730a0ed799c91324d42b70d3780d6b3215cafc3c | |
| EOF | |
| if $HEADHACKAGE; then | |
| echo "$($HCPKG list --simple-output | xargs -d' ' -n 1 | grep -v "^Cabal" | sed -E 's/([a-zA-Z-]+)-[0-9.]+/allow\-newer\: *:\1/g')" >> cabal.project | |
| fi | |
| $HCPKG list --simple-output --names-only | perl -ne 'for (split /\s+/) { print "constraints: any.$_ installed\n" unless /^(Cabal|Cabal-syntax|singletons|singletons-base|singletons-base-code-generator|singletons-th)$/; }' >> cabal.project.local | |
| cat cabal.project | |
| cat cabal.project.local | |
| - name: dump install plan | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dry-run all | |
| cabal-plan | |
| - name: restore cache | |
| uses: actions/cache/restore@v4 | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | |
| path: ~/.cabal/store | |
| restore-keys: ${{ runner.os }}-${{ matrix.compiler }}- | |
| - name: install dependencies | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --dependencies-only -j2 all | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dependencies-only -j2 all | |
| - name: build | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always | |
| - name: tests | |
| run: | | |
| $CABAL v2-test $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --test-show-details=direct | |
| - name: cabal check | |
| run: | | |
| cd ${PKGDIR_singletons} || false | |
| ${CABAL} -vnormal check | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then cd ${PKGDIR_singletons_th} || false ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then ${CABAL} -vnormal check ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then cd ${PKGDIR_singletons_base} || false ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then ${CABAL} -vnormal check ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then cd ${PKGDIR_singletons_base_code_generator} || false ; fi | |
| if [ $((HCNUMVER >= 91200)) -ne 0 ] ; then ${CABAL} -vnormal check ; fi | |
| - name: haddock | |
| run: | | |
| $CABAL v2-haddock --disable-documentation $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all | |
| - name: save cache | |
| if: always() | |
| uses: actions/cache/save@v4 | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | |
| path: ~/.cabal/store |