Streamliners integer domain partitioning fix #113
Workflow file for this run
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: Make a release | |
| on: | |
| workflow_dispatch: # can be triggered manually | |
| push: | |
| tags: | |
| - "v*.*.*" | |
| pull_request: # and for PRs | |
| paths: | |
| - conjure-cp.cabal | |
| - Makefile | |
| - src/** | |
| - tests/** | |
| - etc/build/** | |
| - etc/savilerow/** | |
| - .github/workflows/release.yml | |
| # other branches that want testing must create a PR | |
| permissions: | |
| contents: write | |
| env: | |
| SCCACHE_GHA_ENABLED: "true" | |
| jobs: | |
| Job: | |
| strategy: | |
| matrix: | |
| GHC_VERSION: ["9.4"] | |
| os: [ubuntu-latest, macos-latest] | |
| include: | |
| - os: ubuntu-latest | |
| release_suffix: linux | |
| - os: macos-latest | |
| release_suffix: macos-intel | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| name: Checkout repository | |
| - name: Stack version | |
| shell: bash | |
| run: GHC_VERSION=${{ matrix.GHC_VERSION }} make stack.yaml | |
| - uses: actions/cache@v4 | |
| name: Cache stack | |
| with: | |
| path: | | |
| ~/.stack | |
| .stack-work | |
| key: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }}-${{ github.event.repository.updated_at }} | |
| restore-keys: stack-${{ runner.os }}-ghc${{ matrix.GHC_VERSION }} | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/sccache-action@v0.0.4 | |
| - name: Setting PATH | |
| shell: bash | |
| run: echo "${HOME}/.local/bin" >> ${GITHUB_PATH} | |
| - name: Build Conjure | |
| shell: bash | |
| run: BIN_DIR=${HOME}/.local/bin GHC_VERSION=${{ matrix.GHC_VERSION }} BUILD_TESTS=true make | |
| - name: Setting PATH (for solvers) | |
| shell: bash | |
| run: | | |
| echo "${HOME}/solver-binaries" >> ${GITHUB_PATH} | |
| # libnuma-dev for runsolver | |
| # autoconf, cmake, gmp for yices | |
| - name: Installing dependencies on Linux | |
| shell: bash | |
| run: sudo apt-get install -y gperf libnuma-dev | |
| if: runner.os == 'Linux' | |
| - name: Installing dependencies on macOS | |
| shell: bash | |
| run: brew install autoconf cmake gmp gperf | |
| if: runner.os == 'macOS' | |
| - name: Build solvers | |
| shell: bash | |
| run: | | |
| rm -rf ${HOME}/solver-binaries | |
| BIN_DIR=${HOME}/solver-binaries PROCESSES=2 make solvers | |
| - name: Set version string to the commit hash | |
| run: echo "RELEASE_VERSION=${{ github.sha }}" >> "$GITHUB_ENV" | |
| - name: Set version string based on trigger (ref_name if on tag) | |
| run: echo "RELEASE_VERSION=${{ github.ref_name }}" >> "$GITHUB_ENV" | |
| if: startsWith(github.ref, 'refs/tags/') | |
| - name: Set version string based on trigger (PR number if a PR) | |
| run: echo "RELEASE_VERSION=${{ github.event.pull_request.number }}" >> "$GITHUB_ENV" | |
| if: github.event_name == 'pull_request' | |
| - name: Create the zip archives | |
| shell: bash | |
| run: | | |
| pushd ${HOME}/solver-binaries | |
| cp ~/.local/bin/conjure ~/.local/bin/savilerow ~/.local/bin/savilerow.jar . | |
| mkdir -p lib | |
| cp -r ~/.local/bin/lib/* lib/ | |
| cd .. | |
| rm -rf conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers | |
| cp -r solver-binaries conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers | |
| cd solver-binaries | |
| cp -r ../conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers . | |
| rm -rf conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }} | |
| mkdir conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }} | |
| cp conjure conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }} | |
| zip -r -9 conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}.zip conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }} | |
| zip -r -9 conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers.zip conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers | |
| popd | |
| cp ${HOME}/solver-binaries/conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}.zip . | |
| cp ${HOME}/solver-binaries/conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers.zip . | |
| # See https://github.com/softprops/action-gh-release | |
| - name: Create Release | |
| id: create_release | |
| uses: softprops/action-gh-release@v1 | |
| if: startsWith(github.ref, 'refs/tags/') | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| with: | |
| name: ${RELEASE_VERSION} | |
| draft: false | |
| prerelease: false | |
| generate_release_notes: true | |
| files: | | |
| conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}.zip | |
| conjure-${RELEASE_VERSION}-${{ matrix.release_suffix }}-with-solvers.zip |