main.yml

name: Builds, tests & co

on:
  push:
  pull_request:
  schedule:
    - cron: 0 1 * * MON

jobs:
  build-and-test:
    strategy:
      fail-fast: false
      matrix:
        os:
          - ubuntu-latest
          - macos-latest
          # - windows-latest
        ocaml-compiler:
          - 4

    runs-on: ${{ matrix.os }}

    steps:
      - name: Checkout tree
        uses: actions/checkout@v4

      # - name: Set SHELLOPTS=igncr on Windows
      #   if: runner.os == 'Windows'
      #   run: echo "SHELLOPTS=igncr" >>"$GITHUB_ENV"

      - name: Restore locks cache
        uses: actions/cache@v4
        id: locks-cache
        with:
          path: ~/.saphe/cache
          key: cache-locks-${{ hashFiles('default-registry-commit-hash.txt') }}

      - name: Set-up OCaml
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: ${{ matrix.ocaml-compiler }}
          dune-cache: true
          opam-repositories: |
            satysfi-external: git+https://github.com/gfngfn/satysfi-external-repo.git
            default: git+https://github.com/ocaml/opam-repository.git

      - name: Install SATySFi dependencies
        run: opam install . --deps-only --with-test

      - name: Build SATySFi
        run: opam exec -- make all

      - name: Run tests
        run: opam exec -- dune runtest

      - name: Install SATySFi
        run: |
          opam install .

      - name: Check library packages
        run: |
          opam exec -- make test-packages

      - name: Build demo docs
        run: |
          (cd demo; opam exec -- make)
          (cd doc; opam exec -- make)

      - name: Run integration tests
        run: |
          (cd tests; opam exec -- make)

  lint-fmt:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout tree
        uses: actions/checkout@v4
      - name: Set-up OCaml
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: 4
          opam-repositories: |
            satysfi-external: git+https://github.com/gfngfn/satysfi-external-repo.git
            default: git+https://github.com/ocaml/opam-repository.git
      - uses: ocaml/setup-ocaml/lint-fmt@v3

  lint-opam:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout tree
        uses: actions/checkout@v4
      - name: Set-up OCaml
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: 4
          opam-repositories: |
            satysfi-external: git+https://github.com/gfngfn/satysfi-external-repo.git
            default: git+https://github.com/ocaml/opam-repository.git
      - uses: ocaml/setup-ocaml/lint-opam@v3