>>> Building on arm64-1 under lang/compcert BDEPENDS = [devel/gmake;lang/gcc/8;lang/gcc/8,-libs;devel/ocaml-menhir;lang/gcc/8,-c++;lang/ocaml;math/coq;sysutils/findlib] DIST = [lang/compcert:CompCert-3.13.1.tar.gz] FULLPKGNAME = compcert-3.13.1p0 RDEPENDS = [lang/gcc/8;lang/gcc/8,-libs] (Junk lock obtained for arm64-1 at 1714096211.49) >>> Running depends in lang/compcert at 1714096211.57 last junk was in devel/ocaml-menhir /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p23 gcc-8.4.0p22 gcc-libs-8.4.0p22 ocaml-4.14.2 ocaml-menhir-20230608p0 was: /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p23 gcc-8.4.0p22 gcc-libs-8.4.0p22 gmake-4.4.1 ocaml-4.14.2 ocaml-menhir-20230608p0 /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p23 gcc-8.4.0p22 gcc-libs-8.4.0p22 ocaml-4.14.2 ocaml-menhir-20230608p0 >>> Running show-prepare-results in lang/compcert at 1714096261.70 ===> lang/compcert ===> Building from scratch compcert-3.13.1p0 ===> compcert-3.13.1p0 depends on: ocaml->=4.05 -> ocaml-4.14.2 ===> compcert-3.13.1p0 depends on: coq->=8.12.0 -> coq-8.13.2p5 ===> compcert-3.13.1p0 depends on: findlib-* -> findlib-1.9.6p1 ===> compcert-3.13.1p0 depends on: ocaml-menhir->=20190626 -> ocaml-menhir-20230608p0 ===> compcert-3.13.1p0 depends on: gcc->=8,<9 -> gcc-8.4.0p22 ===> compcert-3.13.1p0 depends on: g++->=8,<9 -> g++-8.4.0p23 ===> compcert-3.13.1p0 depends on: gmake-* -> gmake-4.4.1 ===> compcert-3.13.1p0 depends on: gcc-libs->=8,<9 -> gcc-libs-8.4.0p22 ===> Verifying specs: c m estdc++>=19 ===> found c.100.0 m.10.1 estdc++.19.0 coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p23 gcc-8.4.0p22 gcc-libs-8.4.0p22 gmake-4.4.1 ocaml-4.14.2 ocaml-menhir-20230608p0 Don't run junk because nojunk in net/qbittorrent/qbittorrent (Junk lock released for arm64-1 at 1714096265.17) Woken up audio/spotify-qt distfiles size=2798512 >>> Running patch in lang/compcert at 1714096265.22 ===> lang/compcert ===> Checking files for compcert-3.13.1p0 `/usr/ports/distfiles/CompCert-3.13.1.tar.gz' is up to date. >> (SHA256) CompCert-3.13.1.tar.gz: OK ===> Extracting for compcert-3.13.1p0 ===> Patching for compcert-3.13.1p0 ===> Applying OpenBSD patch patch-Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Convenience test target | |Index: Makefile |--- Makefile.orig |+++ Makefile -------------------------- Patching file Makefile using Plan A... Hunk #1 succeeded at 229. Hunk #2 succeeded at 341. done ===> Applying OpenBSD patch patch-configure Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Add configuration support for macppc and aarch64 on OpenBSD | |Index: configure |--- configure.orig |+++ configure -------------------------- Patching file configure using Plan A... Hunk #1 succeeded at 43. Hunk #2 succeeded at 61. Hunk #3 succeeded at 70. Hunk #4 succeeded at 235. Hunk #5 succeeded at 268. Hunk #6 succeeded at 300. Hunk #7 succeeded at 417. done ===> Compiler link: gcc -> /usr/local/bin/egcc ===> Compiler link: cc -> /usr/local/bin/egcc ===> Compiler link: c++ -> /usr/local/bin/eg++ ===> Compiler link: g++ -> /usr/local/bin/eg++ ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ >>> Running configure in lang/compcert at 1714096266.62 ===> lang/compcert ===> Generating configure for compcert-3.13.1p0 ===> Configuring for compcert-3.13.1p0 Testing assembler support for CFI directives... yes Testing linker support for '-no-pie' / '-nopie' option... yes, '-no-pie' Testing Coq... version 8.13.2 -- good! Testing OCaml... version 4.14.2 -- good! Testing OCaml native-code compiler... yes Testing OCaml .opt compilers... yes Testing Menhir... version 20230608 -- good! Testing GNU make... version 4.4.1 (command 'gmake') -- good! CompCert configuration: Target architecture........... aarch64 Hardware model................ default Application binary interface.. standard Endianness.................... little OS and development env........ bsd C compiler.................... egcc C preprocessor................ egcc -std=c99 -U__GNUC__ -E Assembler..................... egcc -c Assembler supports CFI........ true Assembler for runtime lib..... egcc -c Linker........................ egcc -no-pie Archiver...................... ar rcs Math library.................. -lm Build command to use.......... gmake Menhir API library............ /usr/local/lib/ocaml/menhirLib The Flocq library............. local The MenhirLib library......... local Binaries installed in......... /usr/local/bin Shared config installed in.... /usr/local/share/compcert Runtime library provided...... true Library files installed in.... /usr/local/lib Man pages installed in........ /usr/local/man Standard headers provided..... false Standard headers installed in. /usr/local/lib/include Coq development will not be installed >>> Running build in lang/compcert at 1714096268.30 ===> lang/compcert ===> Building for compcert-3.13.1p0 gmake[1]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml Preprocessing aarch64/ConstpropOp.vp Preprocessing aarch64/SelectOp.vp Preprocessing aarch64/SelectLong.vp Preprocessing backend/SelectDiv.vp Preprocessing backend/SplitLong.vp menhir --coq --coq-no-version-check cparser/Parser.vy Analyzing Coq dependencies gmake[1]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' gmake proof gmake[1]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' COQC lib/Axioms.v COQC lib/Coqlib.v COQC lib/Intv.v COQC lib/Maps.v COQC lib/Zbits.v COQC flocq/Core/Zaux.v COQC flocq/Core/Raux.v COQC flocq/Core/Defs.v COQC flocq/Core/Digits.v COQC flocq/Core/Float_prop.v COQC flocq/Core/Round_pred.v COQC flocq/Core/Generic_fmt.v COQC flocq/Core/Ulp.v COQC flocq/Core/Round_NE.v COQC flocq/Core/FIX.v COQC flocq/Core/FLX.v COQC flocq/Core/FLT.v COQC flocq/Core/Core.v COQC flocq/Calc/Bracket.v COQC flocq/Calc/Round.v COQC flocq/Calc/Operations.v COQC flocq/Calc/Div.v COQC flocq/Calc/Sqrt.v COQC flocq/Prop/Relative.v COQC flocq/IEEE754/BinarySingleNaN.v COQC flocq/IEEE754/Binary.v COQC flocq/IEEE754/Bits.v COQC aarch64/Archi.v COQC lib/Integers.v COQC lib/Ordered.v COQC lib/Heaps.v COQC lib/Lattice.v COQC lib/Wfsimpl.v COQC lib/Iteration.v COQC flocq/Prop/Sterbenz.v COQC flocq/Prop/Round_odd.v COQC lib/IEEE754_extra.v COQC lib/Floats.v COQC lib/Parmov.v COQC lib/UnionFind.v COQC lib/Postorder.v COQC lib/FSetAVLplus.v COQC lib/IntvSets.v COQC lib/Decidableplus.v COQC lib/BoolEqual.v COQC common/Errors.v COQC common/AST.v COQC common/Linking.v COQC common/Values.v COQC common/Memdata.v COQC common/Memtype.v COQC common/Memory.v Killed >>> Ended at 1714096882.05 max_stuck=187.93/depends=50.17/show-prepare-results=3.50/patch=1.39/configure=1.69/build=613.79 Error: job failed with 35072 on arm64-1 at 1714096882