build.yml

name: "Build"
on:
  pull_request:
  push:
    branches:
      dev-windows-tests-3

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  nix-build:
    strategy:
      matrix:
        runtime: [ linux-x64, osx-x64, osx-arm64 ]
        include:
        - runtime: linux-x64
          os: ubuntu-latest

        - runtime: osx-x64
          os: macos-13

        - runtime: osx-arm64
          os: macos-14

      fail-fast: false
    runs-on: ${{ matrix.os }}
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@main
      - uses: DeterminateSystems/magic-nix-cache-action@main
      - name: build hevm
        run: nix build .#ci -L
      - name: Upload artifacts
        uses: actions/upload-artifact@v4
        with:
          name: hevm-${{ matrix.runtime }}
          path: result/bin/hevm

  extra-tests:
    strategy:
      matrix:
       os: [ ubuntu-latest, macos-latest ]
       include:
         - os: ubuntu-latest
         - os: macos-latest
      fail-fast: false
    runs-on: ${{ matrix.os }}
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@main
      - uses: DeterminateSystems/magic-nix-cache-action@main
      # cabal complains if we don't do this...
      - name: cabal update
        run: nix-shell --pure --command "cabal update"
      # can't be run in nix build due to network usage
      - name: run rpc tests
        run: nix-shell --pure --command "cabal --active-repositories=:none run rpc-tests"
      # if we run this in nix build we often get killed due to oom in ci
      - name: run ethereum tests
        run: nix-shell --pure --command "cabal --active-repositories=:none run ethereum-tests"

  build-windows-bitwuzla:
    name: bitwuzla-build (win64 target)
    uses: ./.github/workflows/bitwuzla-windows.yml

  build-windows:
    name: build (windows-latest)
    needs: [build-windows-bitwuzla]
    runs-on: windows-latest
    defaults:
      run:
        shell: msys2 {0}
    steps:
      - uses: actions/checkout@v4
      - uses: foundry-rs/foundry-toolchain@v1
      - uses: msys2/setup-msys2@v2
        with:
          msystem: CLANG64
          path-type: minimal
          update: true
          install: >-
            base-devel
            gmp-devel
            openssl-devel
            git
            unzip
            bash
          pacboy: >-
            cmake:p
            ninja:p
            clang:p
            lld:p
            autotools:p
            gmp:p
            openssl:p
            z3:p
            go:p
      - uses: haskell-actions/setup@v2.7.0
        id: setup
        with:
          ghc-version: '9.6.5'

      - name: Extract GHC & Cabal paths
        run: |
          HASKELL_PATHS="$(cygpath -u "$GHC_PATH"):$(cygpath -u "$CABAL_PATH")"
          echo "HASKELL_PATHS=$HASKELL_PATHS" >> "$GITHUB_ENV"
        env:
          GHC_PATH: ${{ steps.setup.outputs.ghc-path }}
          CABAL_PATH: ${{ steps.setup.outputs.cabal-path }}

      - name: build and install c dependencies
        run: |
          echo "::group::Installing libsecp256k1"
          ./.github/scripts/install-libsecp256k1.sh
          echo "::endgroup::"
          echo "::group::Installing libff"
          ./.github/scripts/install-libff.sh
          echo "::endgroup::"
      - name: Configure the build
        run: |
          export PATH="$HASKELL_PATHS:$PATH"
          export HOME="$(cygpath -m ~)"
          cabal configure --disable-documentation --enable-executable-static --enable-executable-stripping \
            --extra-include-dirs="$HOME/.local/include" --extra-lib-dirs="$HOME/.local/lib" \
            --extra-include-dirs="D:/a/_temp/msys64/clang64/include" --extra-lib-dirs="D:/a/_temp/msys64/clang64/lib" \
            --ghc-options=-pgml=D:/a/_temp/msys64/clang64/bin/clang.exe
          cabal build --dry-run
          # The last step generates dist-newstyle/cache/plan.json for the cache key.

      - name: Restore cached dependencies
        uses: actions/cache/restore@v4
        id: cache
        env:
          key: ${{ runner.os }}-ghc-${{ steps.setup.outputs.ghc-version }}-cabal-${{ steps.setup.outputs.cabal-version }}
        with:
          path: ${{ steps.setup.outputs.cabal-store }}
          key: ${{ env.key }}-plan-${{ hashFiles('**/plan.json') }}
          restore-keys: ${{ env.key }}-

      - name: Install haskell dependencies
        run: |
          export PATH="$HASKELL_PATHS:$PATH"
          cabal build all --only-dependencies

      # Cache dependencies already, so that we do not have to rebuild them should the subsequent steps fail.
      - name: Save cached dependencies
        uses: actions/cache/save@v4
        # Caches are immutable, trying to save with the same key would error.
        if: ${{ steps.cache.outputs.cache-primary-key != steps.cache.outputs.cache-matched-key }}
        with:
          path: ${{ steps.setup.outputs.cabal-store }}
          key: ${{ steps.cache.outputs.cache-primary-key }}

      - name: build hevm
        run: |
          export PATH="$HASKELL_PATHS:$PATH"
          cabal build
          mkdir result && cp "$(cabal list-bin hevm)" result/hevm.exe
          strip result/hevm.exe

      - name: Upload artifacts
        uses: actions/upload-artifact@v3
        with:
          name: hevm-windows-x64
          path: result/hevm.exe

      - uses: actions/checkout@v4
        with:
          repository: ethereum/solidity
          ref: 1c8745c54a239d20b6fb0f79a8bd2628d779b27e
          path: ethereum-solidity

      - uses: actions/checkout@v4
        with:
          repository: ethereum/tests
          ref: v12.2
          path: ethereum-tests

      - uses: actions/checkout@v4
        with:
          repository: foundry-rs/forge-std
          path: forge-std

      - name: download bitwuzla
        uses: actions/download-artifact@v4
        with:
          name: bitwuzla-win64
          path: bitwuzla-win64

      - name: prepare test dependencies
        run: |
          # bitwuzla
          echo BITWUZLA_PATH="$PWD/bitwuzla-win64/bin" >> "$GITHUB_ENV"
          # evm
          go install github.com/ethereum/go-ethereum/cmd/evm@latest
          echo EVM_PATH="$(cygpath -u "$(go env GOPATH)/bin")" >> "$GITHUB_ENV"
          # cvc5
          curl --retry 5 -fsSL https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Win64-static.zip -o cvc5.zip
          unzip cvc5.zip && rm cvc5.zip
          echo CVC5_PATH="$PWD/cvc5-Win64-static/bin" >> "$GITHUB_ENV"
          # solc
          mkdir solc
          curl --retry 5 -fsSL https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-windows.exe -o solc/solc.exe
          echo DAPP_SOLC="$PWD/solc/solc.exe" >> "$GITHUB_ENV"
          echo DAPP_SOLC_PATH="$PWD/solc/" >> "$GITHUB_ENV"
          # repos
          echo HEVM_SOLIDITY_REPO="$PWD/ethereum-solidity" >> "$GITHUB_ENV"
          echo HEVM_ETHEREUM_TESTS_REPO="$PWD/ethereum-tests" >> "$GITHUB_ENV"
          echo HEVM_FORGE_STD_REPO="$PWD/forge-std" >> "$GITHUB_ENV"
          # environment
          echo HEVM_SYSTEM_SHELL="$(which bash)" >> "$GITHUB_ENV"

      - name: run tests
        run: |
          export PATH="$EVM_PATH:$CVC5_PATH:$BITWUZLA_PATH:$DAPP_SOLC_PATH:$HASKELL_PATHS:$PATH"
          cabal run test

      - name: run rpc tests
        run: |
          export PATH="$HASKELL_PATHS:$PATH"
          cabal run rpc-tests

      - name: run ethereum tests
        run: |
          export PATH="$HASKELL_PATHS:$PATH"
          cabal run ethereum-tests

  cabal-check:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@main
      - uses: DeterminateSystems/magic-nix-cache-action@main
      - name: run cabal check
        run: nix develop -c cabal check --verbose=3