577 new fast tbl #1837
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: 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 \ | |
| [email protected] \ | |
| 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/[email protected] | |
| with: | |
| paths: | | |
| ${{ github.workspace }}/** | |
| !${{ github.workspace }} | |
| !${{ github.workspace }}/**/.git/** | |
| refs: ${{ needs.handle-syncwith.outputs.prs-refs }} | |
| - name: Enable ccache | |
| uses: hendrikmuhs/[email protected] | |
| with: | |
| key: ${{ github.job }} | |
| - name: Configure CMake | |
| env: | |
| BOOST_ROOT: "/usr/local/opt/[email protected]" | |
| 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 |