macos.yml

# Main doc: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/introduction-to-github-actions
# Runners spec: https://docs.github.com/en/free-pro-team@latest/actions/reference/specifications-for-github-hosted-runners
# Glob expressions: https://github.com/actions/toolkit/tree/main/packages/glob

name: Macos

###############################################################################
# Schedule:
# - push on any branch whose name matches v** or master
# - any pull request
###############################################################################
on:
  push:
    branches:
      - 2021.02
      - 2021.09
      - main
      - tactician
  pull_request:
    branches:
      - '**'
  schedule:
    - cron: "0 0 * * *"
  workflow_dispatch:
    inputs:
      platform:
        description: 'Arguments for the platform script:'
        required: true
        default: '-extent=x -parallel=p -jobs=2 -large=e -compcert=y -set-switch=y'

###############################################################################
# Platform script options shared among all jobs
###############################################################################
env:
  PLATFORM_ARGS: -extent=x -parallel=p -jobs=2 -large=e -compcert=y -set-switch=y
  COQREGTESTING: y
  HOMEBREW_NO_INSTALL_FROM_API:
  # See https://github.com/orgs/Homebrew/discussions/4612#discussioncomment-6351357

###############################################################################
# Macos
#
# CAVEATS:
# - COQREGTESTING broken, it makes the script loop, so we install opam by hand
###############################################################################
jobs:
  Macos_platform:
    name: Macos
    runs-on: macos-latest
    strategy:
      fail-fast: false
      matrix:
        variant:
          # Keep this in sync with the Smoke test below
          - '8.18~tactician'
          # - '8.19~2024.01+beta1'
          - '8.18~2023.11'
          # - '8.18~mc2'
          # - '8.17~2023.08'
    steps:
      - name: Git checkout
        uses: actions/checkout@v3

      - name: Set PLATFORM
        if: ${{ github.event.inputs.platform != '' }}
        run: echo "PLATFORM=${{ github.event.inputs.platform }}" >> $GITHUB_ENV

      - name: Cleanup, update and upgrade HomeBrew
        # This is to avoid errors of these kinds:
        # - ==> Downloading https://ghcr.io/v2/homebrew/core/harfbuzz/manifests/5.1.0
        #   Error: adwaita-icon-theme: Failed to download resource "harfbuzz_bottle_manifest"
        #   The downloaded GitHub Packages manifest was corrupted or modified (it is not valid JSON): 
        # - dyld[45184]: Library not loaded: '/usr/local/opt/libunistring/lib/libunistring.2.dylib'
        #   Referenced from: '/usr/local/Cellar/wget/1.21.3/bin/wget'
        #   Reason: tried: '/usr/local/opt/libunistring/lib/libunistring.2.dylib' (no such file),
        run: |
          brew cleanup
          # See https://github.com/orgs/Homebrew/discussions/4612#discussioncomment-6351357
          brew config
          brew untap homebrew/core homebrew/cask
          brew config
          brew update
          # Note: brew upgrade does fail regularly, but brew is anyway in a better state afterwards
          brew upgrade || true
          # make sure we are using homebrew python, since we install some python packages via homebrew
          brew install python3
          brew link --overwrite python3
          ls -l $(which python3)
          ls -l $(which pip3)
          # create a virtual environment so that we can use pip3
          # (since python 3.12 using pip3 on package manager installed python requires a virtual environment)
          python3 -m venv .venv
          . .venv/bin/activate
          # See https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions#setting-an-environment-variable
          echo PATH=$PATH >> $GITHUB_ENV
          ls -l $(which python3)
          ls -l $(which pip3)

      - name: Install homebrew packages required by main script
        run: brew install wget

      - name: Run common platform script
        shell: bash
        run: ./coq_platform_make.sh -packages=${{matrix.variant}} $PLATFORM_ARGS -dumplogs

      - name: Install bash (needed by smoke scripts)
        run: brew install bash

      # - name: Create smoke test kit
      #   shell: bash
      #   run: |
      #     eval $(opam env)
      #     export MACOSX_DEPLOYMENT_TARGET=10.13
      #     shell_scripts/create_smoke_test_kit.sh

      # - name: 'Upload smoke test kit'
      #   uses: actions/upload-artifact@v3
      #   with:
      #     name: 'Smoke Test Kit Macos ${{matrix.variant}}'
      #     path: smoke-test-kit/
      #     retention-days: 5

      - name: Install findutils, coreutils and macpack (needed by DMG script)
        run: |
          brew install findutils
          brew install coreutils
          pip3 install macpack

      - name: 'Build DMG installer'
        uses: Wandalen/wretry.action@v1.3.0
        with:
          attempt_limit: 5
          attempt_delay: 5000
          command: |
            eval $(opam env)
            macos/create_installer_macos.sh

      - name: 'Upload DMG script logs on failure'
        uses: actions/upload-artifact@v3
        if: failure()
        with:
          name: 'DMG script error logs ${{matrix.variant}}'
          path: macos_installer/logs/

      - name: 'Upload Artifact'
        uses: actions/upload-artifact@v3
        with:
          name: 'Macos installer ${{matrix.variant}} x86_64'
          path: macos_installer/Coq-Platform-*.dmg
          retention-days: 5

  # Macos_smoke:
  #   name: Smoke test Macos
  #   needs: Macos_platform
  #   runs-on: macos-latest
  #   strategy:
  #     fail-fast: false
  #     matrix:
  #       variant:
  #         - '8.18~tactician'
  #         # - '8.19~2024.01+beta1'
  #         # - '8.18~2023.11'
  #         # - '8.18~mc2'
  #         # - '8.17~2023.08'

  #   steps:
  #     - name: Install bash
  #       run: brew install bash

  #     - name: 'Download Artifact'
  #       uses: actions/download-artifact@v3
  #       id: download
  #       with:
  #         name: 'Macos installer ${{matrix.variant}} x86_64'

  #     - name: 'Download smoke test kit'
  #       uses: actions/download-artifact@v3
  #       id: download-smoke
  #       with:
  #         name: 'Smoke Test Kit Macos ${{matrix.variant}}'

  #     - name: 'Run Installer'
  #       shell: bash
  #       run: |
  #         cd ${{steps.download.outputs.download-path}}
  #         DMG=$(ls Coq-Platform-*.dmg)
  #         hdiutil attach $DMG
  #         cp -r /Volumes/${DMG%%.dmg}/Coq-Platform*.app /Applications/
  #         hdiutil detach /Volumes/${DMG%%.dmg}/

  #     - name: 'Smoke coqc'
  #       shell: bash
  #       run: |
  #         cd /Applications/Coq-Platform*.app/Contents/Resources/bin/
  #         ./coqc -v

  #     - name: 'Run Macos smoke test kit'
  #       shell: bash
  #       run: |
  #         ls /Applications/Coq-Platform*.app
  #         export PATH="$PATH:$(cd /Applications/Coq-Platform*.app/Contents/Resources/bin/; pwd)"
  #         export COQLIB=$(coqc -where)
  #         cd ${{steps.download-smoke.outputs.download-path}}
  #         chmod a+x ./run-smoke-test.sh
  #         ./run-smoke-test.sh