build_macos.yml

name: build-macos

on:
  push:
    branches: [ master ]
  pull_request:

concurrency:
  group: ${{
    ( github.ref == 'refs/heads/master' &&
    format('{0}/{1}', github.run_id, github.run_attempt) )
    ||
    format('{0}/{1}', github.workflow, github.ref) }}
  cancel-in-progress: true

jobs:
  handle-syncwith:
    if: github.event_name == 'pull_request'
    name: Call Reusable SyncWith Handler
    uses: NilFoundation/ci-cd/.github/workflows/reusable-handle-syncwith.yml@v1
    with:
      ci-cd-ref: 'v1'
      fetch-only: true
    secrets: inherit

  build-macos:
    runs-on: [ macos-11 ]

    needs:
      - handle-syncwith

    steps:
      - name: Install homebrew
        run: >
          /bin/bash -c "$(curl -fsSL
            https://raw.githubusercontent.com/Homebrew/install/master/install.sh
          )"

      - name: Run brew install
        id: brew-install
        run: |
          brew install \
            boost@1.76 \
            cmake \
            ninja \
            icu4c \
            libiconv \
            openssl \
            curl \
            bash

      - name: Install Python
        uses: actions/setup-python@v4
        with:
          python-version: '3.10'

      - name: Print toolchain information
        run: |
          git --version
          cc --version
          cmake --version
          ninja --version
          bash --version
          python3 --version
          which -a bash
          echo PATH: $PATH

      - name: Checkout sources
        # We need full history, because during CMake config stage we are finding the nearest tag
        uses: actions/checkout@v3
        with:
          fetch-depth: 0
          submodules: false

      - name: Checkout submodules
        run: |
          git submodule update --init --recursive --depth=1

      - name: Checkout modules to specified refs
        if: needs.handle-syncwith.outputs.prs-refs != ''
        uses: NilFoundation/ci-cd/actions/recursive-checkout@v1.2.1
        with:
          paths: |
            ${{ github.workspace }}/**
            !${{ github.workspace }}
            !${{ github.workspace }}/**/.git/**
          refs: ${{ needs.handle-syncwith.outputs.prs-refs }}

      - name: Enable ccache
        uses: hendrikmuhs/ccache-action@v1.2
        with:
          key: ${{ github.job }}

      - name: Configure CMake
        env:
          BOOST_ROOT: "/usr/local/opt/boost@1.76"
          LDFLAGS: "-L/usr/local/opt/icu4c/lib"
          CPPFLAGS: "-I/usr/local/opt/icu4c/include"
        run: |
          cmake -G "Ninja" \
            -B build \
            -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
            -DCMAKE_BUILD_TYPE=Release \
            -DBUILD_SHARED_LIBS=FALSE \
            -DBUILD_TESTS=TRUE .

      - name: Build zkllvm
        run: |
          cmake --build build -t assigner clang transpiler

      - name: Build IR of the C++ examples
        run: |
          cmake --build build -t compile_cpp_examples
          ls -al ./build/examples/cpp

      - name: Build circuits(.crct) of the C++ examples
        run: |
          cmake --build build -t cpp_examples_generate_crct
          ls -al ./build/examples/cpp

      - name: Build assignment tables(.tbl) of the C++ examples
        run: |
          cmake --build build -t cpp_examples_generate_tbl_no_check
          ls -al ./build/examples/cpp

      - name: Run size estimation for C++ examples
        run: |
          cmake --build build -t cpp_examples_estimate_size

      - name: Compile tests as cpp code
        run: |
          cmake --build build -t all_tests_compile_as_cpp_code

      - name: Compile tests as circuits
        run: |
          cmake --build build -t all_tests_compile_as_circuits

      - name: Run tests as cpp code (expected res calculation)
        run: |
          cmake --build build -t all_tests_run_expected_res_calculation

      - name: Run tests as circuits (real res calculation)
        run: |
          cmake --build build -t all_tests_assign_circuits

      - name: Compare expected and real test results
        run: |
          chmod +x ./tests/run_test_results_comparison.sh
          bash ./tests/run_test_results_comparison.sh

      - name: Run tests on faulty inputs
        run: |
          chmod +x ./tests/run_tests_faulty_input.sh
          bash ./tests/run_tests_faulty_input.sh pallas

      - name: Run assigner unit tests
        run: |
          cmake --build build -t check-crypto3-assigner

      - name: Build proof for the circuit of the C++ examples
        run: |
          cmake --build build -t prove_cpp_examples

      - name: Build rslang
        run: |
          cmake --build build -t rslang

      - name: Build IR of the Rust examples
        run: |
          cmake --build build -t compile_rust_examples
          ls -al ./build/examples/rust/target/assigner-unknown-unknown/release/examples

      - name: Build circuits(.crct) of the Rust examples
        run: |
          cmake --build build -t rust_examples_generate_crct
          ls -al ./build/examples/cpp

      - name: Build assignment tables(.tbl) of the Rust examples
        run: |
          cmake --build build -t rust_examples_generate_tbl
          ls -al ./build/examples/cpp

      - name: Build proofs for the circuits of the Rust examples
        run: |
          cmake --build build -t prove_rust_examples