fix(cryptominisat): add cadical dependency #38
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: CI | |
| on: | |
| - push | |
| env: | |
| CARGO_TERM_COLOR: always | |
| CMAKE_GENERATOR: Ninja | |
| CMAKE_C_COMPILER_LAUNCHER: sccache | |
| CMAKE_CXX_COMPILER_LAUNCHER: sccache | |
| RUSTC_WRAPPER: sccache | |
| SCCACHE_GHA_ENABLED: true | |
| jobs: | |
| Format: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Format | |
| run: cargo fmt --check | |
| Lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: 'recursive' | |
| - name: Install dependencies | |
| run: sudo apt-get install ninja-build libtbb-dev libhwloc-dev libboost-program-options-dev | |
| - name: Setup sccache | |
| uses: mozilla-actions/sccache-action@v0.0.6 | |
| - name: Setup environment | |
| run: | | |
| echo MTKAHYPAR_DIR=$(mktemp -d) >> $GITHUB_ENV | |
| - name: Build Mt-KaHyPar | |
| run: | | |
| cd $(mktemp -d) | |
| git clone --recursive https://github.com/kahypar/mt-kahypar.git . | |
| git checkout 39e06c755cb909387a66eed24ee385ba5ad393d4 | |
| cmake -B build -D CMAKE_INSTALL_PREFIX=$MTKAHYPAR_DIR -D MT_KAHYPAR_DISABLE_BOOST=true | |
| cmake --build build --target mtkahypar | |
| cmake --install build | |
| # TODO: currently, the newest version of Mt-KaHyPar ist ot released, move below clone to check out latest version when released. | |
| # git checkout $(git describe --tags $(git rev-list --tags --max-count=1)) | |
| - name: Lint | |
| run: cargo clippy -- --deny warnings | |
| Build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: 'recursive' | |
| - name: Install dependencies | |
| run: sudo apt-get install ninja-build libtbb-dev libhwloc-dev libboost-program-options-dev | |
| - name: Setup sccache | |
| uses: mozilla-actions/sccache-action@v0.0.6 | |
| - name: Setup environment | |
| run: | | |
| echo MTKAHYPAR_DIR=$(mktemp -d) >> $GITHUB_ENV | |
| - name: Build Mt-KaHyPar | |
| run: | | |
| cd $(mktemp -d) | |
| git clone --recursive https://github.com/kahypar/mt-kahypar.git . | |
| git checkout 39e06c755cb909387a66eed24ee385ba5ad393d4 | |
| cmake -B build -D CMAKE_INSTALL_PREFIX=$MTKAHYPAR_DIR -D MT_KAHYPAR_DISABLE_BOOST=true | |
| cmake --build build --target mtkahypar | |
| cmake --install build | |
| # TODO: currently, the newest version of Mt-KaHyPar ist ot released, move below clone to check out latest version when released. | |
| # git checkout $(git describe --tags $(git rev-list --tags --max-count=1)) | |
| - name: Build | |
| run: cargo build |