diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c8a2cca7..1c0a5baa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -67,6 +67,12 @@ jobs: path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }} key: ${{ runner.os }}-${{ matrix.ghc }}--${{ github.Shah }}-CACHE_V3 # ---------------- + - name: "Install PAPI" + run: | + sudo apt-get install -y libpapi-dev + echo FLAG_PAPI=-fBenchPAPI >> "$GITHUB_ENV" + if: matrix.os == 'ubuntu-latest' + # ---------------- - name: Versions run: | cabal -V @@ -89,7 +95,8 @@ jobs: # ---------------- - name: Build run: | - cabal configure --haddock-all --enable-tests --enable-benchmarks --benchmark-option=-l + echo FLAG_PAPI=$FLAG_PAPI + cabal configure $FLAG_PAPI --haddock-all --enable-tests --enable-benchmarks --benchmark-option=-l cabal build all --write-ghc-environment-files=always # ---------------- - name: Test