Apply suggestions from code review #4428
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: GitHub macOS CI | |
| on: [push, pull_request] | |
| permissions: | |
| contents: read | |
| jobs: | |
| macOS: | |
| runs-on: macos-13 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Install system dependencies | |
| run: | | |
| brew install gnu-time opam gtksourceview3 adwaita-icon-theme expat libxml2 | |
| - name: Install OCaml dependencies | |
| run: | | |
| opam init -a -j "$NJOBS" --compiler=ocaml-base-compiler.$COMPILER | |
| opam switch set ocaml-base-compiler.$COMPILER | |
| eval $(opam env) | |
| opam update | |
| opam install -j "$NJOBS" ocamlfind${FINDLIB_VER} ounit lablgtk3-sourceview3 zarith.1.11 dune.3.8.3 | |
| opam list | |
| env: | |
| COMPILER: "4.12.0" | |
| FINDLIB_VER: ".1.8.1" | |
| OPAMYES: "true" | |
| MACOSX_DEPLOYMENT_TARGET: "10.11" | |
| NJOBS: "2" | |
| - name: Build Coq | |
| run: | | |
| eval $(opam env) | |
| ./configure -prefix "$(pwd)/_install_ci" -native-compiler no | |
| make dunestrap | |
| dune build -p rocq-runtime,coq-core,rocq-core,coqide-server,coqide | |
| env: | |
| MACOSX_DEPLOYMENT_TARGET: "10.11" | |
| NJOBS: "2" | |
| - name: Install Coq | |
| run: | | |
| eval $(opam env) | |
| dune install --prefix="$(pwd)/_install_ci" rocq-runtime coq-core rocq-core coqide-server coqide | |
| - name: Run Coq Test Suite | |
| run: | | |
| eval $(opam env) | |
| cd test-suite | |
| make clean | |
| export OCAMLPATH="$(pwd)/../_install_ci/lib":"$OCAMLPATH" | |
| BIN="$(pwd)/../_install_ci/bin/" | |
| LIB="$(pwd)/../_install_ci/lib/coq/" | |
| make -j "$NJOBS" BIN="$BIN" COQLIB="$LIB" PRINT_LOGS=1 TIMED=1 all | |
| env: | |
| NJOBS: "2" |