build_static.yml

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