Validate #4
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
| name: Validate | |
| # We use bash as default even in windows | |
| # to try keep the workflow as uniform as possible | |
| defaults: | |
| run: | |
| shell: bash | |
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| release: | |
| types: | |
| - created | |
| workflow_dispatch: | |
| env: | |
| # We choose a stable ghc version across all os's | |
| # which will be used to do the next release | |
| GHC_FOR_RELEASE: '9.2.8' | |
| # Ideally we should use the version about to be released for hackage tests and benchmarks | |
| GHC_FOR_SOLVER_BENCHMARKS: '9.2.8' | |
| GHC_FOR_COMPLETE_HACKAGE_TESTS: '9.2.8' | |
| COMMON_FLAGS: '-j 2 -v' | |
| jobs: | |
| validate: | |
| name: Validate ${{ matrix.os }} ghc-${{ matrix.ghc }} | |
| runs-on: ${{ matrix.os }} | |
| outputs: | |
| GHC_FOR_RELEASE: ${{ format('["{0}"]', env.GHC_FOR_RELEASE) }} | |
| strategy: | |
| matrix: | |
| os: ["ubuntu-20.04", "macos-latest", "windows-latest"] | |
| ghc: ["9.2.8"] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # See https://github.com/haskell/cabal/pull/8739 | |
| - name: Sudo chmod to permit ghcup to update its cache | |
| run: | | |
| if [[ "${{ runner.os }}" == "Linux" ]]; then | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo mkdir -p /usr/local/.ghcup/cache | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo chown -R $USER /usr/local/.ghcup | |
| sudo chmod -R 777 /usr/local/.ghcup | |
| fi | |
| - uses: haskell-actions/setup@v2 | |
| id: setup-haskell | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: '3.10.1.0' | |
| # See the following link for a breakdown of the following step | |
| # https://github.com/haskell/actions/issues/7#issuecomment-745697160 | |
| # | |
| # See https://github.com/haskell/cabal/pull/8739 for why Windows is excluded | |
| - if: ${{ runner.os != 'Windows' }} | |
| uses: actions/cache@v3 | |
| with: | |
| # validate.sh uses a special build dir | |
| path: | | |
| ${{ steps.setup-haskell.outputs.cabal-store }} | |
| dist-* | |
| key: ${{ runner.os }}-${{ matrix.ghc }}-20220419-${{ github.sha }} | |
| restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-20220419- | |
| - name: Work around git problem https://bugs.launchpad.net/ubuntu/+source/git/+bug/1993586 (cabal PR #8546) | |
| run: | | |
| git config --global protocol.file.allow always | |
| # The '+exe' constraint below is important, otherwise cabal-install | |
| # might decide to build the library but not the executable which is | |
| # what we need. | |
| - name: Install cabal-plan | |
| run: | | |
| cd $(mktemp -d) | |
| cabal install cabal-plan --constraint='cabal-plan +exe' | |
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | |
| # The tool is not essential to the rest of the test suite. If | |
| # hackage-repo-tool is not present, any test that requires it will | |
| # be skipped. | |
| # We want to keep this in the loop but we don't want to fail if | |
| # hackage-repo-tool breaks or fails to support a newer GHC version. | |
| - name: Install hackage-repo-tool | |
| continue-on-error: true | |
| run: | | |
| cd $(mktemp -d) | |
| cabal install hackage-repo-tool | |
| # Needed by cabal-testsuite/PackageTests/Configure/setup.test.hs | |
| - name: Install Autotools | |
| if: runner.os == 'macOS' | |
| run: | | |
| brew install automake | |
| - name: Set validate inputs | |
| run: | | |
| FLAGS="${{ env.COMMON_FLAGS }}" | |
| if [[ "${{ matrix.cli }}" == "false" ]]; then | |
| FLAGS="$FLAGS --lib-only" | |
| fi | |
| if [[ ${{ matrix.ghc }} == ${{ env.GHC_FOR_SOLVER_BENCHMARKS }} ]]; then | |
| FLAGS="$FLAGS --solver-benchmarks" | |
| fi | |
| if [[ ${{ matrix.ghc }} == ${{ env.GHC_FOR_COMPLETE_HACKAGE_TESTS }} ]]; then | |
| FLAGS="$FLAGS --complete-hackage-tests" | |
| fi | |
| echo "FLAGS=$FLAGS" >> $GITHUB_ENV | |
| - name: Validate print-config | |
| run: sh validate.sh $FLAGS -s print-config | |
| - name: Validate print-tool-versions | |
| run: sh validate.sh $FLAGS -s print-tool-versions | |
| - name: Validate build | |
| run: sh validate.sh $FLAGS -s build | |
| - name: Tar cabal head executable | |
| if: matrix.cli != 'false' && matrix.ghc == env.GHC_FOR_RELEASE | |
| run: | | |
| CABAL_EXEC=$(cabal-plan list-bin --builddir=dist-newstyle-validate-ghc-${{ matrix.ghc }} cabal-install:exe:cabal) | |
| # We have to tar the executable to preserve executable permissions | |
| # see https://github.com/actions/upload-artifact/issues/38 | |
| if [[ ${{ runner.os }} == 'Windows' ]]; then | |
| # `cabal-plan` gives us a windows path but tar needs the posix one | |
| CABAL_EXEC=$(cygpath $CABAL_EXEC) | |
| fi | |
| if [[ "${{ runner.os }}" == "macOS" ]]; then | |
| # Workaround to avoid bsdtar corrupts the executable | |
| # so executing it after untar throws `cannot execute binary file` | |
| # see https://github.com/actions/virtual-environments/issues/2619#issuecomment-788397841 | |
| sudo /usr/sbin/purge | |
| fi | |
| tar -cvf cabal-head.tar -C $(dirname "$CABAL_EXEC") $(basename "$CABAL_EXEC") | |
| echo "CABAL_EXEC_TAR=cabal-head.tar" >> $GITHUB_ENV | |
| # We upload the cabal executable built with the ghc used in the release for: | |
| # - Reuse it in the dogfooding job (although we could use the cached build dir) | |
| # - Make it available in the workflow to make easier testing it locally | |
| - name: Upload cabal-install executable to workflow artifacts | |
| if: matrix.cli != 'false' && matrix.ghc == env.GHC_FOR_RELEASE | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: cabal-${{ runner.os }}-${{ matrix.ghc }} | |
| path: ${{ env.CABAL_EXEC_TAR }} | |
| - name: Validate lib-tests | |
| env: | |
| # `rawSystemStdInOut reports text decoding errors` | |
| # test does not find ghc without the full path in windows | |
| GHCPATH: ${{ steps.setup-haskell.outputs.ghc-exe }} | |
| run: sh validate.sh $FLAGS -s lib-tests | |
| - name: Validate lib-suite | |
| run: sh validate.sh $FLAGS -s lib-suite | |
| - name: Validate cli-tests | |
| if: matrix.cli != 'false' | |
| run: sh validate.sh $FLAGS -s cli-tests | |
| - name: Validate cli-suite | |
| if: matrix.cli != 'false' | |
| run: sh validate.sh $FLAGS -s cli-suite | |
| # The job below is a copy-paste of validate with the necessary tweaks | |
| # to make all work with an upcoming GHC. Those tweaks include: | |
| # - ghcup needs the prerelease channel activated | |
| # - allow-newer for base libraries and Cabal* libraries | |
| # - (sometimes) disabling some parts on Windows because it's hard to figure | |
| # out why they fail | |
| validate-prerelease: | |
| # TODO: reenable when the next GHC prerelease appears | |
| if: false | |
| name: Validate ${{ matrix.os }} ghc-prerelease | |
| runs-on: ${{ matrix.os }} | |
| outputs: | |
| GHC_FOR_RELEASE: ${{ format('["{0}"]', env.GHC_FOR_RELEASE) }} | |
| strategy: | |
| matrix: | |
| os: ["ubuntu-20.04", "macos-latest", "windows-latest"] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # See https://github.com/haskell/cabal/pull/8739 | |
| - name: Sudo chmod to permit ghcup to update its cache | |
| run: | | |
| if [[ "${{ runner.os }}" == "Linux" ]]; then | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo mkdir -p /usr/local/.ghcup/cache | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo chown -R $USER /usr/local/.ghcup | |
| sudo chmod -R 777 /usr/local/.ghcup | |
| fi | |
| - name: ghcup | |
| run: | | |
| ghcup --version | |
| ghcup config set cache true | |
| ghcup config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.7.yaml | |
| ghcup install ghc --set 9.6.0.20230210 | |
| ghcup install cabal --set latest | |
| ghc --version | |
| cabal update | |
| # See the following link for a breakdown of the following step | |
| # https://github.com/haskell/actions/issues/7#issuecomment-745697160 | |
| # | |
| # See https://github.com/haskell/cabal/pull/8739 for why Windows is excluded | |
| - if: ${{ runner.os != 'Windows' }} | |
| uses: actions/cache@v3 | |
| with: | |
| # validate.sh uses a special build dir | |
| path: | | |
| ${{ steps.setup-haskell.outputs.cabal-store }} | |
| dist-* | |
| key: ${{ runner.os }}-${{ matrix.ghc }}-20220419-${{ github.sha }} | |
| restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-20220419- | |
| - name: Work around git problem https://bugs.launchpad.net/ubuntu/+source/git/+bug/1993586 (cabal PR #8546) | |
| run: | | |
| git config --global protocol.file.allow always | |
| # The '+exe' constraint below is important, otherwise cabal-install | |
| # might decide to build the library but not the executable which is | |
| # what we need. | |
| - name: Install cabal-plan | |
| run: | | |
| cd $(mktemp -d) | |
| cabal install cabal-plan --constraint='cabal-plan +exe' --allow-newer | |
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | |
| # The tool is not essential to the rest of the test suite. If | |
| # hackage-repo-tool is not present, any test that requires it will | |
| # be skipped. | |
| # We want to keep this in the loop but we don't want to fail if | |
| # hackage-repo-tool breaks or fails to support a newer GHC version. | |
| - name: Install hackage-repo-tool | |
| continue-on-error: true | |
| run: | | |
| cd $(mktemp -d) | |
| cabal install hackage-repo-tool | |
| # Needed by cabal-testsuite/PackageTests/Configure/setup.test.hs | |
| - name: Install Autotools | |
| if: runner.os == 'macOS' | |
| run: | | |
| brew install automake | |
| - name: Allow newer boot libraries | |
| run: | | |
| echo "allow-newer: base, template-haskell, ghc-prim, Cabal-syntax, Cabal-described, Cabal, cabal-install-solver, cabal-install" >> cabal.project.validate | |
| - name: Set validate inputs | |
| run: | | |
| FLAGS="${{ env.COMMON_FLAGS }}" | |
| if [[ "${{ matrix.cli }}" == "false" ]]; then | |
| FLAGS="$FLAGS --lib-only" | |
| fi | |
| echo "FLAGS=$FLAGS" >> $GITHUB_ENV | |
| - name: Validate print-config | |
| run: sh validate.sh $FLAGS -s print-config | |
| - name: Validate print-tool-versions | |
| run: sh validate.sh $FLAGS -s print-tool-versions | |
| - name: Validate build | |
| run: sh validate.sh $FLAGS -s build | |
| - name: Validate lib-tests | |
| env: | |
| # `rawSystemStdInOut reports text decoding errors` | |
| # test does not find ghc without the full path in windows | |
| GHCPATH: ${{ steps.setup-haskell.outputs.ghc-exe }} | |
| run: sh validate.sh $FLAGS -s lib-tests | |
| - name: Validate lib-suite | |
| # see https://github.com/haskell/cabal/pull/8754#issuecomment-1435025848 | |
| # for discussion about the trouble on Windows | |
| if: ${{ runner.os != 'Windows' }} | |
| run: sh validate.sh $FLAGS -s lib-suite | |
| - name: Validate cli-tests | |
| if: matrix.cli != 'false' | |
| run: sh validate.sh $FLAGS -s cli-tests | |
| - name: Validate cli-suite | |
| # see https://github.com/haskell/cabal/pull/8754#issuecomment-1435025848 | |
| # for discussion about the trouble on Windows | |
| if: ( runner.os != 'Windows' ) && ( matrix.cli != 'false' ) | |
| run: sh validate.sh $FLAGS -s cli-suite | |
| # The previous jobs use a released version of cabal to build cabal HEAD itself | |
| # This one uses the cabal HEAD generated executable in the previous step | |
| # to build itself again, as sanity check | |
| dogfooding: | |
| name: Dogfooding ${{ matrix.os }} ghc-${{ matrix.ghc }} | |
| runs-on: ${{ matrix.os }} | |
| needs: validate | |
| strategy: | |
| matrix: | |
| os: ["ubuntu-20.04", "macos-latest", "windows-latest"] | |
| # We only use one ghc version the used one for the next release (defined at top of the workflow) | |
| # We need to build an array dynamically to inject the appropiate env var in a previous job, | |
| # see https://docs.github.com/en/actions/learn-github-actions/expressions#fromjson | |
| ghc: ${{ fromJSON (needs.validate.outputs.GHC_FOR_RELEASE) }} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # See https://github.com/haskell/cabal/pull/8739 | |
| - name: Sudo chmod to permit ghcup to update its cache | |
| run: | | |
| if [[ "${{ runner.os }}" == "Linux" ]]; then | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo mkdir -p /usr/local/.ghcup/cache | |
| sudo ls -lah /usr/local/.ghcup/cache | |
| sudo chown -R $USER /usr/local/.ghcup | |
| sudo chmod -R 777 /usr/local/.ghcup | |
| fi | |
| - uses: haskell-actions/setup@v2 | |
| id: setup-haskell | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: latest # default, we are not using it in this job | |
| - name: Install cabal-plan | |
| run: | | |
| cd $(mktemp -d) | |
| cabal install cabal-plan --constraint='cabal-plan +exe' | |
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | |
| - name: Download cabal executable from workflow artifacts | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: cabal-${{ runner.os }}-${{ matrix.ghc }} | |
| path: cabal-head | |
| - name: Untar the cabal executable | |
| run: tar -xf ./cabal-head/cabal-head.tar -C ./cabal-head | |
| - name: print-config using cabal HEAD | |
| run: sh validate.sh ${{ env.COMMON_FLAGS }} --with-cabal ./cabal-head/cabal -s print-config | |
| # We dont use cache to force a build with a fresh store dir and build dir | |
| # This way we check cabal can build all its dependencies | |
| - name: Build using cabal HEAD | |
| run: sh validate.sh ${{ env.COMMON_FLAGS }} --with-cabal ./cabal-head/cabal -s build | |