try two #78
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
| on: | |
| push: | |
| branches: | |
| - main | |
| - release | |
| pull_request: | |
| name: CI and Release | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| name: [gcc, clang] | |
| include: | |
| - name: gcc | |
| env: CC=gcc CXX=g++ | |
| - name: clang | |
| env: CC=clang CXX=clang++ | |
| name: Build with ${{ matrix.name }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Checkout repository | |
| - uses: actions/checkout@v2 | |
| # Install dependencies | |
| - name: Install Packages | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y \ | |
| bison \ | |
| build-essential \ | |
| clang \ | |
| cmake \ | |
| flex \ | |
| gcc \ | |
| git \ | |
| libmpfr-dev \ | |
| libboost-program-options-dev \ | |
| ninja-build \ | |
| python3 \ | |
| python3-pip \ | |
| python3-setuptools \ | |
| zlib1g-dev | |
| sudo pip3 install -U lit | |
| # Set up dependencies | |
| - name: Set Up Dependencies | |
| run: | | |
| ./scripts/deps/setup-minisat.sh | |
| ./scripts/deps/setup-cms.sh | |
| ./scripts/deps/setup-gtest.sh | |
| ./scripts/deps/setup-unisamp.sh | |
| ./scripts/deps/setup-outputcheck.sh | |
| # Configure with static linking enabled | |
| - name: Configure | |
| run: | | |
| mkdir build | |
| cd build | |
| ${{ matrix.env }} cmake -DNOCRYPTOMINISAT:BOOL=OFF -DENABLE_TESTING:BOOL=ON -DBUILD_SHARED_LIBS:BOOL=OFF -DPYTHON_EXECUTABLE:PATH="$(which python3)" -G Ninja .. | |
| # Build the static binary | |
| - name: Build | |
| run: cmake --build . --target csb --parallel "$(nproc)" | |
| working-directory: build | |
| # Upload the binary as a build artifact | |
| - name: Upload Binary Artifact | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: static-binary-${{ matrix.name }} | |
| path: build/csb | |
| release: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/release' && github.event_name == 'push' | |
| steps: | |
| # Checkout repository | |
| - uses: actions/checkout@v2 | |
| # Download the binary artifacts | |
| - name: Download Artifacts | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: static-binary-${{ matrix.name }} | |
| path: build/ | |
| # Create a release and upload binaries | |
| - name: Create Release | |
| uses: actions/create-release@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| with: | |
| tag_name: v${{ github.run_number }} | |
| release_name: "Release v${{ github.run_number }}" | |
| draft: false | |
| prerelease: false | |
| - name: Upload Release Asset | |
| uses: actions/upload-release-asset@v1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| with: | |
| upload_url: ${{ steps.create_release.outputs.upload_url }} | |
| asset_path: build/csb | |
| asset_name: csb-${{ matrix.name }} | |
| asset_content_type: application/octet-stream |