>Dave Voutila <dv@sisu.io> writes:
>
>> OCaml 4.14.2 is a bugfix release that includes some of our patches and
>> tweaks upstreamed thanks to miod@:

My arm64 build went rather far, but I get a build error with math/coq

I didn't investigate further yet, so I don't exclude the possibility that
something in my tree is broken.

OTOH our coq port is 3 years old ...

>>> Running configure in math/coq at 1713382147.08
===> math/coq
===>  Generating configure for coq-8.13.2p5
===>  Configuring for coq-8.13.2p5
ocamlfind: Package `threads' not found
Error while running '/usr/local/bin/ocamlfind ocamlc -version' (exit code 2)
Configuration script failed!
*** Error 1 in math/coq (/usr/ports/infrastructure/mk/bsd.port.mk:3022 'do-configure': @cd /tmp/pobj/coq-8.13.2/coq-8.13.2 && /usr/bin/env -...)
*** Error 2 in math/coq (/usr/ports/infrastructure/mk/bsd.port.mk:3042 '/tmp/pobj/coq-8.13.2/.configure_done': @cd /usr/ports/math/coq && PK...)
*** Error 2 in math/coq (/usr/ports/infrastructure/mk/bsd.port.mk:2704 'configure': @lock=coq-8.13.2p5;  export _LOCKS_HELD=" coq-8.13.2p5";...)
===> Exiting math/coq with an error
*** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'configure': @: ${echo_msg:=echo};  : ${target:=configure};  for i in ; ...)
>>> Ended at 1713382147.73
max_stuck=24.73/clean=0.87/depends=0.85/show-prepare-results=2.68/patch=31.25/configure=0.67