From: Volker Schlecht Subject: Re: [UPDATE] OCaml 4.14.1 -> 4.14.2 To: Dave Voutila Cc: ports@openbsd.org, yozo@v007.vaio.ne.jp, Anil Madhavapeddy Date: Wed, 17 Apr 2024 21:45:55 +0200 >Dave Voutila 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