CI #280
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: | |
| branches: | |
| - master | |
| paths-ignore: | |
| - 'README.adoc' | |
| pull_request: | |
| workflow_dispatch: | |
| inputs: | |
| debug_linux: | |
| type: boolean | |
| description: 'Run the Linux build with tmate debugging enabled (https://github.com/marketplace/actions/debugging-with-tmate)' | |
| required: false | |
| default: false | |
| debug_windows: | |
| type: boolean | |
| description: 'Run the Windows build with tmate debugging enabled (https://github.com/marketplace/actions/debugging-with-tmate)' | |
| required: false | |
| default: false | |
| jobs: | |
| build: | |
| name: Build and test on Linux | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Enable tmate debugging of manually-triggered workflows if the input option was provided | |
| - name: Setup tmate session | |
| if: ${{ github.event_name == 'workflow_dispatch' && inputs.debug_linux }} | |
| uses: mxschmitt/action-tmate@v3 | |
| with: | |
| detached: true | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Set up Rust | |
| uses: dtolnay/rust-toolchain@stable | |
| - name: Set up Rust cache | |
| uses: Swatinem/rust-cache@v2 | |
| with: | |
| cache-on-failure: true | |
| - name: Build all | |
| run: cargo build --workspace | |
| - name: Build and install MiniSat shared library (libminisat.so) | |
| working-directory: lib/minisat-sys/vendor/minisat | |
| run: | | |
| make -j8 | |
| sudo make install | |
| - name: Build and install Cadical shared library (libcadical.so) | |
| working-directory: lib/cadical-sys/vendor/cadical | |
| run: | | |
| ./configure -fPIC | |
| make -j8 shared | |
| sudo install -m 644 build/dynamic/libcadical.so -Dt /usr/local/lib | |
| - name: Build and install Kissat shared library (libkissat.so) | |
| working-directory: lib/kissat-sys/vendor/kissat | |
| run: | | |
| ./configure --compact --no-options --no-proofs --quiet -shared | |
| make -j8 | |
| sudo install -m 644 build/libkissat.so -Dt /usr/local/lib | |
| - name: Run ldconfig and update LD_LIBRARY_PATH | |
| run: | | |
| sudo ldconfig -n /usr/local/lib | |
| ldconfig -p | |
| echo "LD_LIBRARY_PATH=${LD_LIBRARY_PATH:+${LD_LIBRARY_PATH}:}/usr/local/lib" >> $GITHUB_ENV | |
| - name: Upload shared libraries | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: shared-libs | |
| path: | | |
| /usr/local/lib/libminisat.so | |
| /usr/local/lib/libcadical.so | |
| /usr/local/lib/libkissat.so | |
| - name: Test all | |
| run: cargo test --workspace --lib --bins --tests --examples | |
| build-windows: | |
| name: Build and test on Windows | |
| runs-on: windows-latest | |
| defaults: | |
| run: | |
| shell: bash | |
| steps: | |
| # Enable tmate debugging of manually-triggered workflows if the input option was provided | |
| - name: Setup tmate session | |
| if: ${{ github.event_name == 'workflow_dispatch' && inputs.debug_windows }} | |
| uses: mxschmitt/action-tmate@v3 | |
| with: | |
| detached: true | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Set up Rust | |
| uses: dtolnay/rust-toolchain@master | |
| with: | |
| toolchain: stable-gnu | |
| - name: Set up Rust cache | |
| uses: Swatinem/rust-cache@v2 | |
| with: | |
| cache-on-failure: true | |
| - name: Build all | |
| run: cargo build --workspace | |
| - name: Build MiniSat dynamic library | |
| working-directory: lib/minisat-sys/vendor/minisat | |
| run: | | |
| make -j8 dll | |
| # Result: build/minisat.dll | |
| - name: Build Cadical dynamic library | |
| working-directory: lib/cadical-sys/vendor/cadical | |
| run: | | |
| ./configure -fPIC | |
| make -j8 dll | |
| # Result: build/cadical.dll | |
| - name: Build Kissat dynamic library | |
| working-directory: lib/kissat-sys/vendor/kissat | |
| run: | | |
| git fetch origin windows:windows --depth=1 | |
| git switch windows | |
| ./configure --compact --quiet --no-options --no-proofs -shared | |
| make -j8 | |
| # Note: the resulting file `build/libkissat.so` is actually a DLL, just have a Linux-name! | |
| cp build/libkissat.so build/kissat.dll | |
| # Result: build/kissat.dll | |
| - name: Copy DLLs to 'libs/' | |
| run: | | |
| mkdir -p libs | |
| cp lib/minisat-sys/vendor/minisat/build/minisat.dll libs/ | |
| cp lib/cadical-sys/vendor/cadical/build/cadical.dll libs/ | |
| cp lib/kissat-sys/vendor/kissat/build/kissat.dll libs/ | |
| ldd libs/*.dll | |
| ls -al libs/*.dll | |
| - name: Add 'libs/' to PATH | |
| shell: pwsh | |
| run: Add-Content $env:GITHUB_PATH "$((Get-Item libs).FullName)" | |
| - run: $env:PATH | |
| shell: pwsh | |
| - name: Upload DLLs | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: DLLs | |
| path: libs/ | |
| - name: Test all | |
| run: cargo test --workspace --lib --bins --tests --examples | |
| fmt: | |
| name: Rustfmt | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Set up Rust | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| components: rustfmt | |
| - name: Run rustfmt | |
| run: cargo fmt --all -- --check | |
| clippy: | |
| name: Clippy | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Set up Rust | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| components: clippy | |
| - name: Set up Rust cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: Run clippy | |
| run: cargo clippy --workspace --tests |