add threads dep to loader to delay error #4325
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: GitHub macOS CI | |
| on: [push, pull_request] | |
| permissions: | |
| contents: read | |
| jobs: | |
| macOS: | |
| runs-on: macos-13 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: homebrew outdated pkg-config fix | |
| run: | | |
| brew update | |
| brew upgrade | |
| brew install pkgconf | |
| # work around https://github.com/actions/runner-images/issues/10984 | |
| - 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 coq-core,coq-stdlib,coqide-server,coqide,coq | |
| env: | |
| MACOSX_DEPLOYMENT_TARGET: "10.11" | |
| NJOBS: "2" | |
| - name: Install Coq | |
| run: | | |
| eval $(opam env) | |
| dune install --prefix="$(pwd)/_install_ci" coq-core coq-stdlib coqide-server coqide coq | |
| - 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" |