Remove the Record theory
#757
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: Build statically linked binaries | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| push: | |
| tags: | |
| - "v*.*.*" | |
| branches: | |
| - next | |
| - main | |
| jobs: | |
| build-macos-static: | |
| name: Build statically linked macOS binaries | |
| # Only do this when explicitly requested since it takes a long time to | |
| # build on macOS; no need to waste resources | |
| if: ${{ github.event_name == 'workflow_dispatch' || startsWith(github.ref, 'refs/tags/') }} | |
| strategy: | |
| matrix: | |
| include: | |
| - arch: x86_64 | |
| os: macos-12 | |
| - arch: aarch64 | |
| os: macos-14 | |
| permissions: | |
| contents: write | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| persist-credentials: false | |
| - name: Retrieve annotated tags (https://github.com/actions/checkout/issues/290) | |
| run: git fetch --tags --force | |
| - uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: 4.14.1 | |
| dune-cache: true | |
| - run: opam install . --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers | |
| - run: opam exec -- dune subst | |
| - run: opam exec -- dune build --release @install --promote-install-files false | |
| env: | |
| LINK_MODE: mixed | |
| - run: opam exec -- dune install -p alt-ergo --create-install-files --prefix opt/alt-ergo --relocatable | |
| - uses: actions/upload-artifact@v4 | |
| with: | |
| name: alt-ergo-${{ matrix.arch }}-macos | |
| path: _destdir/opt/alt-ergo/bin/alt-ergo | |
| - name: Release | |
| uses: svenstaro/upload-release-action@v2 | |
| if: startsWith(github.ref, 'refs/tags/') | |
| with: | |
| asset_name: alt-ergo-$tag-${{ matrix.arch }}-macos | |
| file: _destdir/opt/alt-ergo/bin/alt-ergo | |
| build-musl: | |
| name: Build statically linked binary with musl | |
| runs-on: ubuntu-latest | |
| # Retrieve and use a light docker container on which ocaml 4.14 is installed | |
| # as a system compiler. This container also contains opam 2.1. | |
| container: | |
| image: ocamlpro/ocaml:4.14-flambda | |
| options: --user root | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Switch to ocaml user | |
| run: su ocaml | |
| # This line is needed to acces and use opam. We are unable to set the user | |
| # to `ocaml` with the container parameters | |
| - run: sudo chmod a+wx . | |
| # This line is needed to allow the working directory to be used even | |
| # the ocaml user do not have rights on it. | |
| - run: CURRENTDIR=$(basename $(pwd)); git config --global --add safe.directory /__w/$CURRENTDIR/$CURRENTDIR | |
| - name: Retrieve annotated tags (https://github.com/actions/checkout/issues/290) | |
| run: git fetch --tags --force | |
| - name: Install static dependencies | |
| run: sudo apk add zlib-static | |
| - run: opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers | |
| - run: opam exec -- dune subst | |
| - name: Build statically linked binary | |
| run: opam exec -- dune build --release @install --promote-install-files false | |
| env: | |
| LINK_MODE: static | |
| - run: opam exec -- dune install -p alt-ergo --create-install-files --prefix opt/alt-ergo --relocatable | |
| - name: Upload musl artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: alt-ergo-x86_64-linux-musl | |
| path: _destdir/opt/alt-ergo/bin/alt-ergo | |
| - name: Release | |
| uses: svenstaro/upload-release-action@v2 | |
| if: startsWith(github.ref, 'refs/tags/') | |
| with: | |
| asset_name: alt-ergo-$tag-x86_64-linux-musl | |
| file: _destdir/opt/alt-ergo/bin/alt-ergo |