>>> Building on exopi-4 under math/rocq BDEPENDS = [devel/gmake;sysutils/findlib;math/ocaml-zarith;shells/bash;devel/gmp;devel/dune;lang/ocaml;x11/lablgtk3] DIST = [math/rocq:coq-8.20.1.tar.gz] FULLPKGNAME = rocq-8.20.1p1 RDEPENDS = [sysutils/findlib;math/ocaml-zarith;devel/gmp;x11/lablgtk3;lang/ocaml] (Junk lock obtained for exopi-4 at 1764492470.51) >>> Running depends in math/rocq at 1764492470.55 last junk was in audio/py-eyed3 /usr/sbin/pkg_add -aI -Drepair dune-3.8.3 findlib-1.9.6p3 gmp-6.3.0p0 lablgtk3-3.1.1p7 ocaml-4.14.2 ocaml-zarith-1.12p3 was: /usr/sbin/pkg_add -aI -Drepair bash-5.3.8 dune-3.8.3 findlib-1.9.6p3 gmake-4.4.1p0 gmp-6.3.0p0 lablgtk3-3.1.1p7 ocaml-4.14.2 ocaml-zarith-1.12p3 /usr/sbin/pkg_add -aI -Drepair dune-3.8.3 findlib-1.9.6p3 gmp-6.3.0p0 lablgtk3-3.1.1p7 ocaml-4.14.2 ocaml-zarith-1.12p3 >>> Running show-prepare-results in math/rocq at 1764492485.69 ===> math/rocq ===> Building from scratch rocq-8.20.1p1 ===> rocq-8.20.1p1 depends on: lablgtk3-* -> lablgtk3-3.1.1p7 ===> rocq-8.20.1p1 depends on: ocaml-zarith-* -> ocaml-zarith-1.12p3 ===> rocq-8.20.1p1 depends on: bash-* -> bash-5.3.8 ===> rocq-8.20.1p1 depends on: findlib-* -> findlib-1.9.6p3 ===> rocq-8.20.1p1 depends on: dune-* -> dune-3.8.3 ===> rocq-8.20.1p1 depends on: ocaml-=4.14.2 -> ocaml-4.14.2 ===> rocq-8.20.1p1 depends on: gmake-* -> gmake-4.4.1p0 ===> rocq-8.20.1p1 depends on: gmp-* -> gmp-6.3.0p0 ===> Verifying specs: c gmp m pthread ===> found c.102.2 gmp.11.1 m.10.1 pthread.28.1 bash-5.3.8 dune-3.8.3 findlib-1.9.6p3 gmake-4.4.1p0 gmp-6.3.0p0 lablgtk3-3.1.1p7 ocaml-4.14.2 ocaml-zarith-1.12p3 (Junk lock released for exopi-4 at 1764492486.90) distfiles size=7842928 >>> Running patch in math/rocq at 1764492486.93 ===> math/rocq ===> Checking files for rocq-8.20.1p1 `/exopi-cvs/ports/distfiles/coq-8.20.1.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for rocq-8.20.1p1 ===> Patching for rocq-8.20.1p1 ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ >>> Running configure in math/rocq at 1764492488.05 ===> math/rocq ===> Generating configure for rocq-8.20.1p1 ===> Configuring for rocq-8.20.1p1 You have OCaml 4.14.2. Good! You have OCamlfind 1.9.6. Good! You have native-code compilation. Good! You have the Zarith library 1.12 installed. Good! Architecture : OpenBSD Sys.os_type : Unix OCaml version : 4.14.2 OCaml binaries in : /usr/local/bin/ OCaml library in : /usr/local/lib/ocaml Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Bytecode VM enabled : true Native Compiler enabled : no Paths where installation is expected by Coq Makefile: - Coq is expected in /usr/local - the Coq library is expected in /usr/local/lib/coq - the Coqide configuration files is expected in /etc/xdg/coq - the Coqide data files is expected in /usr/local/share/coq - the Coq man pages is expected in /usr/local/share/man - documentation prefix path for all Coq packages is expected in /usr/local/share/doc If anything is wrong above, please restart './configure'. *Warning* To compile the system for a new architecture don't forget to do a 'make clean' before './configure'. cd /exopi-obj/pobj/rocq-8.20.1/coq-8.20.1 && gmake dunestrap dune build --root . theories_dune ltac2_dune touch .dune-stamp cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune >>> Running build in math/rocq at 1764492500.09 ===> math/rocq ===> Building for rocq-8.20.1p1 cd /exopi-obj/pobj/rocq-8.20.1/coq-8.20.1 && dune build -j 1 -p coq-core,coq-stdlib,coqide-server,coq (cd _build/default && /usr/local/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision skipping make_git_revision: git not found >>> Running fake in math/rocq at 1764493524.22 ===> math/rocq ===> Faking installation for rocq-8.20.1p1 cd /exopi-obj/pobj/rocq-8.20.1/coq-8.20.1 && dune install -j 1 coq-core coq-stdlib coqide-server coq echo "COQLIB=\"/usr/local/lib/ocaml/coq\"" > /exopi-obj/pobj/rocq-8.20.1/fake-amd64/usr/local/bin/coq_environment.txt >>> Running package in math/rocq at 1764493531.78 ===> math/rocq `/exopi-obj/pobj/rocq-8.20.1/fake-amd64/.fake_done' is up to date. ===> Building package for rocq-8.20.1p1 Create /exopi-cvs/ports/packages/amd64/all/rocq-8.20.1p1.tgz Creating package rocq-8.20.1p1 reading plist| switching to /exopi-cvs/ports/math/rocq/pkg/PFRAG.native| switching to /exopi-cvs/ports/math/rocq/pkg/PFRAG.dynlink-native| switching to /exopi-cvs/ports/math/rocq/pkg/PFRAG.dynlink-native|- switching to /exopi-cvs/ports/math/rocq/pkg/PFRAG.dynlink-native|\ checking dependencies| checking dependencies|devel/gmp,-main checking dependencies|lang/ocaml checking dependencies|math/ocaml-zarith checking dependencies|sysutils/findlib checking dependencies|x11/lablgtk3 checksumming| checksumming| | 0% checksumming| | 1% checksumming|* | 1% checksumming|* | 2% checksumming|** | 2% checksumming|** | 3% checksumming|** | 4% checksumming|*** | 4% checksumming|*** | 5% checksumming|*** | 6% checksumming|**** | 6% checksumming|**** | 7% checksumming|***** | 7% checksumming|***** | 8% checksumming|***** | 9% checksumming|****** | 9% checksumming|****** | 10% checksumming|****** | 11% checksumming|******* | 11% checksumming|******* | 12% checksumming|******** | 12% checksumming|******** | 13% checksumming|******** | 14% checksumming|********* | 14% checksumming|********* | 15% checksumming|********* | 16% checksumming|********** | 16% checksumming|********** | 17% checksumming|*********** | 17% checksumming|*********** | 18% checksumming|*********** | 19% checksumming|************ | 19% checksumming|************ | 20% checksumming|************* | 21% checksumming|************* | 22% checksumming|************** | 22% checksumming|************** | 23% checksumming|************** | 24% checksumming|*************** | 24% checksumming|*************** | 25% checksumming|**************** | 25% checksumming|**************** | 26% checksumming|**************** | 27% checksumming|***************** | 27% checksumming|***************** | 28% checksumming|***************** | 29% checksumming|****************** | 29% checksumming|****************** | 30% checksumming|******************* | 30% checksumming|******************* | 31% checksumming|******************* | 32% checksumming|******************** | 32% checksumming|******************** | 33% checksumming|******************** | 34% checksumming|********************* | 34% checksumming|********************* | 35% checksumming|********************** | 35% checksumming|********************** | 36% checksumming|********************** | 37% checksumming|*********************** | 37% checksumming|*********************** | 38% checksumming|*********************** | 39% checksumming|************************ | 39% checksumming|************************ | 40% checksumming|************************* | 40% checksumming|************************* | 41% checksumming|************************* | 42% checksumming|************************** | 42% checksumming|************************** | 43% checksumming|*************************** | 43% checksumming|*************************** | 44% checksumming|*************************** | 45% checksumming|**************************** | 45% checksumming|**************************** | 46% checksumming|**************************** | 47% checksumming|***************************** | 47% checksumming|***************************** | 48% checksumming|****************************** | 48% checksumming|****************************** | 49% checksumming|****************************** | 50% checksumming|******************************* | 50% checksumming|******************************* | 51% checksumming|******************************* | 52% checksumming|******************************** | 52% checksumming|******************************** | 53% checksumming|********************************* | 53% checksumming|********************************* | 54% checksumming|********************************* | 55% checksumming|********************************** | 55% checksumming|********************************** | 56% checksumming|********************************** | 57% checksumming|*********************************** | 57% checksumming|*********************************** | 58% checksumming|************************************ | 58% checksumming|************************************ | 59% checksumming|************************************ | 60% checksumming|************************************* | 60% checksumming|************************************* | 61% checksumming|************************************** | 61% checksumming|************************************** | 62% checksumming|************************************** | 63% checksumming|*************************************** | 63% checksumming|*************************************** | 64% checksumming|*************************************** | 65% checksumming|**************************************** | 65% checksumming|**************************************** | 66% checksumming|***************************************** | 66% checksumming|***************************************** | 67% checksumming|***************************************** | 68% checksumming|****************************************** | 68% checksumming|****************************************** | 69% checksumming|****************************************** | 70% checksumming|******************************************* | 70% checksumming|******************************************* | 71% checksumming|******************************************** | 71% checksumming|******************************************** | 72% checksumming|******************************************** | 73% checksumming|********************************************* | 73% checksumming|********************************************* | 74% checksumming|********************************************* | 75% checksumming|********************************************** | 75% checksumming|********************************************** | 76% checksumming|*********************************************** | 76% checksumming|*********************************************** | 77% checksumming|*********************************************** | 78% checksumming|************************************************ | 78% checksumming|************************************************ | 79% checksumming|************************************************* | 80% checksumming|************************************************* | 81% checksumming|************************************************** | 81% checksumming|************************************************** | 82% checksumming|************************************************** | 83% checksumming|*************************************************** | 83% checksumming|*************************************************** | 84% checksumming|**************************************************** | 84% checksumming|**************************************************** | 85% checksumming|**************************************************** | 86% checksumming|***************************************************** | 86% checksumming|***************************************************** | 87% checksumming|***************************************************** | 88% checksumming|****************************************************** | 88% checksumming|****************************************************** | 89% checksumming|******************************************************* | 89% checksumming|******************************************************* | 90% checksumming|******************************************************* | 91% checksumming|******************************************************** | 91% checksumming|******************************************************** | 92% checksumming|******************************************************** | 93% checksumming|********************************************************* | 93% checksumming|********************************************************* | 94% checksumming|********************************************************** | 94% checksumming|********************************************************** | 95% checksumming|********************************************************** | 96% checksumming|*********************************************************** | 96% checksumming|*********************************************************** | 97% checksumming|*********************************************************** | 98% checksumming|************************************************************ | 98% checksumming|************************************************************ | 99% checksumming|*************************************************************| 99% checksumming|*************************************************************|100% archiving| archiving| | 0% archiving| | 1% archiving|* | 1% archiving|* | 2% archiving|** | 2% archiving|** | 3% archiving|** | 4% archiving|*** | 4% archiving|*** | 5% archiving|**** | 6% archiving|**** | 7% archiving|***** | 7% archiving|***** | 8% archiving|****** | 9% archiving|****** | 10% archiving|******* | 10% archiving|******* | 11% archiving|******* | 12% archiving|******** | 12% archiving|******** | 13% archiving|********* | 13% archiving|********* | 14% archiving|********* | 15% archiving|********** | 15% archiving|********** | 16% archiving|*********** | 17% archiving|*********** | 18% archiving|************ | 18% archiving|************ | 19% archiving|************* | 20% archiving|************* | 21% archiving|************** | 21% archiving|************** | 22% archiving|************** | 23% archiving|*************** | 23% archiving|*************** | 24% archiving|**************** | 24% archiving|**************** | 25% archiving|**************** | 26% archiving|***************** | 26% archiving|***************** | 27% archiving|****************** | 27% archiving|****************** | 28% archiving|****************** | 29% archiving|******************* | 29% archiving|******************* | 30% archiving|******************** | 31% archiving|******************** | 32% archiving|********************* | 32% archiving|********************* | 33% archiving|********************** | 34% archiving|********************** | 35% archiving|*********************** | 35% archiving|*********************** | 36% archiving|*********************** | 37% archiving|************************ | 37% archiving|************************ | 38% archiving|************************* | 38% archiving|************************* | 39% archiving|************************* | 40% archiving|************************** | 40% archiving|************************** | 41% archiving|*************************** | 41% archiving|*************************** | 42% archiving|*************************** | 43% archiving|**************************** | 43% archiving|**************************** | 44% archiving|***************************** | 45% archiving|***************************** | 46% archiving|****************************** | 46% archiving|****************************** | 47% archiving|****************************** | 48% archiving|******************************* | 48% archiving|******************************* | 49% archiving|******************************** | 49% archiving|******************************** | 50% archiving|******************************** | 51% archiving|********************************* | 51% archiving|********************************* | 52% archiving|********************************** | 53% archiving|********************************** | 54% archiving|*********************************** | 54% archiving|*********************************** | 55% archiving|************************************ | 56% archiving|************************************ | 57% archiving|************************************* | 57% archiving|************************************* | 58% archiving|************************************** | 59% archiving|************************************** | 60% archiving|*************************************** | 60% archiving|*************************************** | 61% archiving|**************************************** | 62% archiving|**************************************** | 63% archiving|***************************************** | 64% archiving|***************************************** | 65% archiving|****************************************** | 65% archiving|****************************************** | 66% archiving|******************************************* | 66% archiving|******************************************* | 67% archiving|******************************************* | 68% archiving|******************************************** | 68% archiving|******************************************** | 69% archiving|********************************************* | 70% archiving|********************************************* | 71% archiving|********************************************** | 71% archiving|********************************************** | 72% archiving|********************************************** | 73% archiving|*********************************************** | 73% archiving|*********************************************** | 74% archiving|************************************************ | 74% archiving|************************************************ | 75% archiving|************************************************ | 76% archiving|************************************************* | 76% archiving|************************************************* | 77% archiving|************************************************** | 77% archiving|************************************************** | 78% archiving|************************************************** | 79% archiving|*************************************************** | 79% archiving|*************************************************** | 80% archiving|**************************************************** | 80% archiving|**************************************************** | 81% archiving|**************************************************** | 82% archiving|***************************************************** | 82% archiving|***************************************************** | 83% archiving|***************************************************** | 84% archiving|****************************************************** | 84% archiving|****************************************************** | 85% archiving|******************************************************* | 85% archiving|******************************************************* | 86% archiving|******************************************************* | 87% archiving|******************************************************** | 87% archiving|******************************************************** | 88% archiving|********************************************************* | 88% archiving|********************************************************* | 89% archiving|********************************************************* | 90% archiving|********************************************************** | 90% archiving|********************************************************** | 91% archiving|*********************************************************** | 91% archiving|*********************************************************** | 92% archiving|*********************************************************** | 93% archiving|************************************************************ | 93% archiving|************************************************************ | 94% archiving|************************************************************ | 95% archiving|************************************************************* | 95% archiving|************************************************************* | 96% archiving|************************************************************** | 96% archiving|************************************************************** | 97% archiving|************************************************************** | 98% archiving|*************************************************************** | 98% archiving|*************************************************************** | 99% archiving|****************************************************************| 99% archiving|****************************************************************|100% Link to /exopi-cvs/ports/packages/amd64/ftp/rocq-8.20.1p1.tgz >>> Running clean in math/rocq at 1764493638.44 ===> math/rocq ===> Cleaning for rocq-8.20.1p1 >>> Ended at 1764493640.86 max_stuck=981.36/depends=15.14/show-prepare-results=1.25/patch=1.13/configure=12.02/build=1024.14/fake=7.56/package=106.65/clean=2.46