>>> Building on macppc-2 under lang/compcert BDEPENDS = [lang/gcc/8,-c++;devel/ocaml-menhir;sysutils/findlib;lang/ocaml;devel/gmake;math/coq;lang/gcc/8;lang/gcc/8,-libs] DIST = [lang/compcert:CompCert-3.13.1.tar.gz] FULLPKGNAME = compcert-3.13.1p0 RDEPENDS = [lang/gcc/8,-libs;lang/gcc/8] (Junk lock obtained for macppc-2 at 1708399690.52) >>> Running depends in lang/compcert at 1708399690.76 last junk was in x11/kde-applications/kiriki /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p20 gcc-8.4.0p19 gcc-libs-8.4.0p19 ocaml-4.14.1 ocaml-menhir-20230608p0 was: /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p20 gcc-8.4.0p19 gcc-libs-8.4.0p19 gmake-4.4.1 ocaml-4.14.1 ocaml-menhir-20230608p0 /usr/sbin/pkg_add -aI -Drepair coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p20 gcc-8.4.0p19 gcc-libs-8.4.0p19 ocaml-4.14.1 ocaml-menhir-20230608p0 >>> Running show-prepare-results in lang/compcert at 1708399861.30 ===> lang/compcert ===> Building from scratch compcert-3.13.1p0 ===> compcert-3.13.1p0 depends on: ocaml->=4.05 -> ocaml-4.14.1 ===> 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.0p19 ===> compcert-3.13.1p0 depends on: g++->=8,<9 -> g++-8.4.0p20 ===> 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.0p19 ===> Verifying specs: c m estdc++>=19 ===> found c.98.0 m.10.1 estdc++.19.0 coq-8.13.2p5 findlib-1.9.6p1 g++-8.4.0p20 gcc-8.4.0p19 gcc-libs-8.4.0p19 gmake-4.4.1 ocaml-4.14.1 ocaml-menhir-20230608p0 (Junk lock released for macppc-2 at 1708399871.61) distfiles size=2798512 >>> Running patch in lang/compcert at 1708399871.79 ===> 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 1708399875.66 ===> 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.1 -- good! Testing OCaml native-code compiler... no, will build to bytecode only Testing OCaml .opt compilers... no, will do without Testing Menhir... version 20230608 -- good! Testing GNU make... version 4.4.1 (command 'gmake') -- good! CompCert configuration: Target architecture........... powerpc Hardware model................ ppc32 Application binary interface.. eabi Endianness.................... big 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 -Wa,-mregnames 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 1708399880.72 ===> lang/compcert ===> Building for compcert-3.13.1p0 gmake[1]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' ocamlc -o tools/ndfun str.cma tools/ndfun.ml Preprocessing powerpc/ConstpropOp.vp Preprocessing powerpc/SelectOp.vp Preprocessing powerpc/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 powerpc/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 COQC common/Globalenvs.v COQC common/Builtins0.v COQC powerpc/Builtins1.v COQC common/Builtins.v COQC common/Events.v COQC common/Smallstep.v COQC common/Behaviors.v COQC common/Switch.v COQC common/Determinism.v COQC common/Unityping.v COQC common/Separation.v COQC backend/Cminor.v COQC backend/Cminortyping.v COQC powerpc/Op.v COQC backend/CminorSel.v COQC driver/Compopts.v COQC powerpc/SelectOp.v COQC backend/SplitLong.v COQC powerpc/SelectLong.v COQC backend/SelectDiv.v COQC powerpc/Machregs.v COQC backend/Selection.v COQC powerpc/SelectOpproof.v COQC backend/SplitLongproof.v COQC powerpc/SelectLongproof.v COQC backend/SelectDivproof.v COQC backend/Selectionproof.v COQC backend/Registers.v COQC backend/RTL.v COQC backend/RTLgen.v COQC backend/RTLgenspec.v COQC backend/RTLgenproof.v COQC backend/Locations.v COQC powerpc/Conventions1.v COQC backend/Conventions.v COQC backend/Tailcall.v COQC backend/Tailcallproof.v COQC backend/Inlining.v COQC backend/Inliningspec.v COQC backend/Inliningproof.v COQC backend/Renumber.v COQC backend/Renumberproof.v COQC backend/RTLtyping.v COQC backend/Kildall.v COQC backend/Liveness.v COQC backend/ValueDomain.v COQC powerpc/ValueAOp.v COQC backend/ValueAnalysis.v COQC powerpc/ConstpropOp.v COQC backend/Constprop.v COQC powerpc/ConstpropOpproof.v COQC backend/Constpropproof.v COQC backend/CSEdomain.v COQC powerpc/CombineOp.v COQC backend/CSE.v COQC powerpc/CombineOpproof.v COQC backend/CSEproof.v COQC backend/NeedDomain.v COQC powerpc/NeedOp.v COQC backend/Deadcode.v COQC backend/Deadcodeproof.v COQC backend/Unusedglob.v COQC backend/Unusedglobproof.v COQC backend/LTL.v COQC backend/Allocation.v COQC backend/Allocproof.v COQC backend/Tunneling.v COQC backend/Tunnelingproof.v COQC backend/Linear.v COQC backend/Lineartyping.v COQC backend/Linearize.v COQC backend/Linearizeproof.v COQC backend/CleanupLabels.v COQC backend/CleanupLabelsproof.v COQC backend/Debugvar.v COQC backend/Debugvarproof.v COQC backend/Bounds.v COQC powerpc/Stacklayout.v COQC backend/Mach.v COQC backend/Stacking.v COQC backend/Stackingproof.v COQC powerpc/Asm.v COQC powerpc/Asmgen.v COQC backend/Asmgenproof0.v COQC powerpc/Asmgenproof1.v COQC powerpc/Asmgenproof.v COQC cfrontend/Ctypes.v COQC cfrontend/Cop.v COQC cfrontend/Csyntax.v COQC cfrontend/Csem.v COQC cfrontend/Ctyping.v COQC cfrontend/Cstrategy.v COQC cfrontend/Cexec.v COQC cfrontend/Initializers.v COQC cfrontend/Initializersproof.v COQC cfrontend/Clight.v COQC cfrontend/SimplExpr.v COQC cfrontend/SimplExprspec.v COQC cfrontend/SimplExprproof.v COQC cfrontend/ClightBigstep.v COQC cfrontend/SimplLocals.v COQC cfrontend/SimplLocalsproof.v COQC cfrontend/Csharpminor.v COQC cfrontend/Cshmgen.v COQC cfrontend/Cshmgenproof.v COQC cfrontend/Cminorgen.v COQC cfrontend/Cminorgenproof.v COQC driver/Compiler.v COQC driver/Complements.v COQC flocq/Core/FTZ.v COQC flocq/Calc/Plus.v COQC flocq/Prop/Plus_error.v COQC flocq/Prop/Mult_error.v COQC flocq/Prop/Div_sqrt_error.v COQC flocq/Prop/Double_rounding.v COQC MenhirLib/Alphabet.v COQC MenhirLib/Grammar.v COQC MenhirLib/Automaton.v COQC MenhirLib/Validator_classes.v COQC MenhirLib/Validator_safe.v COQC MenhirLib/Interpreter.v COQC MenhirLib/Validator_complete.v COQC MenhirLib/Interpreter_complete.v COQC MenhirLib/Interpreter_correct.v COQC MenhirLib/Main.v COQC cparser/Cabs.v COQC cparser/Parser.v gmake[1]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' gmake extraction gmake[1]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' rm -f extraction/*.ml extraction/*.mli "coqtop" -R lib compcert.lib -R common compcert.common -R powerpc compcert.powerpc -R backend compcert.backend -R cfrontend compcert.cfrontend -R driver compcert.driver -R export compcert.export -R cparser compcert.cparser -R flocq Flocq -R MenhirLib MenhirLib -batch -load-vernac-source extraction/extraction.v File "/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1/extraction/extraction.v", line 154, characters 0-1147: Warning: The extraction is currently set to bypass opacity, the following opaque constant bodies have been accessed : solve_constraints_terminate. [extraction-opaque-accessed,extraction] touch extraction/STAMP gmake[1]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' gmake ccomp gmake[1]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' ocamlc -o tools/modorder str.cma tools/modorder.ml (echo 'let version = "3.13"'; \ echo 'let buildnr = ""'; \ echo 'let tag = ""'; \ echo 'let branch = ""') > driver/Version.ml gmake -f Makefile.extr depend gmake[2]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' menhir --table -v --no-stdlib -la 1 cparser/pre_parser.mly Built an LR(0) automaton with 628 states. The construction mode is pager. Built an LR(1) automaton with 628 states. 2 shift/reduce conflicts were silently solved. Extra reductions on error were added in 103 states. Priority played a role in 0 of these states. ocamllex -q cparser/Lexer.mll ocamllex -q lib/Tokenize.mll ocamllex -q lib/Readconfig.mll ocamllex -q lib/Responsefile.mll gmake -C cparser correct gmake[3]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1/cparser' Built an LR(0) automaton with 628 states. The construction mode is pager. Built an LR(1) automaton with 628 states. 2 shift/reduce conflicts were silently solved. Extra reductions on error were added in 103 states. Priority played a role in 0 of these states. Read 233 sample input sentences and 180 error messages. OK. The set of erroneous inputs is correct and irredundant. gmake[3]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1/cparser' Analyzing OCaml dependencies gmake[2]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' (echo "stdlib_path=/usr/local/lib"; \ echo "prepro=egcc"; \ echo "linker=egcc"; \ echo "asm=egcc"; \ echo "prepro_options=-std=c99 -U__GNUC__ -E";\ echo "asm_options=-c";\ echo "linker_options=-no-pie";\ echo "arch=powerpc"; \ echo "model=ppc32"; \ echo "abi=eabi"; \ echo "endianness=big"; \ echo "system=bsd"; \ echo "has_runtime_lib=true"; \ echo "has_standard_headers=false"; \ echo "asm_supports_cfi=true"; \ echo "response_file_style=gnu";) \ > compcert.ini gmake -f Makefile.extr ccomp gmake[2]: Entering directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' OCAMLC driver/Version.ml OCAMLC lib/Readconfig.mli OCAMLC lib/Readconfig.ml OCAMLC lib/Responsefile.mli OCAMLC lib/Responsefile.ml OCAMLC lib/Commandline.mli OCAMLC lib/Commandline.ml OCAMLC driver/Configuration.mli OCAMLC driver/Configuration.ml OCAMLC driver/Clflags.ml OCAMLC extraction/Datatypes.mli OCAMLC extraction/Datatypes.ml OCAMLC extraction/Nat.mli OCAMLC extraction/Nat.ml OCAMLC extraction/BinNums.mli OCAMLC extraction/BinNums.ml OCAMLC extraction/BinPosDef.mli OCAMLC extraction/BinPosDef.ml OCAMLC extraction/BinPos.mli OCAMLC extraction/BinPos.ml OCAMLC extraction/Zpower.mli OCAMLC extraction/Zpower.ml OCAMLC extraction/BinNat.mli OCAMLC extraction/BinNat.ml OCAMLC extraction/BinInt.mli OCAMLC extraction/BinInt.ml OCAMLC extraction/ZArith_dec.mli OCAMLC extraction/ZArith_dec.ml OCAMLC extraction/List0.mli OCAMLC extraction/List0.ml OCAMLC extraction/Coqlib.mli OCAMLC extraction/Coqlib.ml OCAMLC extraction/Zbits.mli OCAMLC extraction/Zbits.ml OCAMLC extraction/Archi.mli OCAMLC extraction/Archi.ml OCAMLC extraction/Integers.mli OCAMLC extraction/Integers.ml OCAMLC extraction/Zaux.mli OCAMLC extraction/Zaux.ml OCAMLC extraction/Zbool.mli OCAMLC extraction/Zbool.ml OCAMLC extraction/SpecFloat.mli OCAMLC extraction/SpecFloat.ml OCAMLC extraction/Round.mli OCAMLC extraction/Round.ml OCAMLC extraction/Bool.mli OCAMLC extraction/Bool.ml OCAMLC extraction/BinarySingleNaN.mli OCAMLC extraction/BinarySingleNaN.ml OCAMLC extraction/Binary.mli OCAMLC extraction/Binary.ml OCAMLC extraction/IEEE754_extra.mli OCAMLC extraction/IEEE754_extra.ml OCAMLC extraction/Bits.mli OCAMLC extraction/Bits.ml OCAMLC extraction/Floats.mli OCAMLC extraction/Floats.ml OCAMLC lib/Camlcoq.ml OCAMLC driver/Timing.ml OCAMLC extraction/Orders.mli OCAMLC extraction/Orders.ml OCAMLC extraction/OrdersTac.mli OCAMLC extraction/OrdersTac.ml OCAMLC extraction/OrderedType.mli OCAMLC extraction/OrderedType.ml OCAMLC extraction/EquivDec.mli OCAMLC extraction/EquivDec.ml OCAMLC extraction/Maps.mli OCAMLC extraction/Maps.ml OCAMLC extraction/Ordered.mli OCAMLC extraction/Ordered.ml OCAMLC extraction/Int0.mli OCAMLC extraction/Int0.ml OCAMLC extraction/OrdersAlt.mli OCAMLC extraction/OrdersAlt.ml OCAMLC extraction/OrdersFacts.mli OCAMLC extraction/OrdersFacts.ml OCAMLC extraction/MSetInterface.mli OCAMLC extraction/MSetInterface.ml OCAMLC extraction/MSetAVL.mli OCAMLC extraction/MSetAVL.ml OCAMLC extraction/FSetAVL.mli OCAMLC extraction/FSetAVL.ml OCAMLC extraction/Registers.mli OCAMLC extraction/Registers.ml OCAMLC extraction/BoolEqual.mli OCAMLC extraction/BoolEqual.ml OCAMLC extraction/String0.mli OCAMLC extraction/String0.ml OCAMLC extraction/Errors.mli OCAMLC extraction/Errors.ml OCAMLC extraction/AST.mli OCAMLC extraction/AST.ml OCAMLC extraction/Op.mli OCAMLC extraction/Op.ml OCAMLC extraction/Machregs.mli OCAMLC extraction/Machregs.ml OCAMLC extraction/Locations.mli OCAMLC extraction/Locations.ml OCAMLC backend/XTL.mli OCAMLC backend/XTL.ml OCAMLC extraction/RTL.mli OCAMLC extraction/RTL.ml OCAMLC extraction/Equalities.mli OCAMLC extraction/Equalities.ml OCAMLC extraction/DecidableType.mli OCAMLC extraction/DecidableType.ml OCAMLC extraction/FSetInterface.mli OCAMLC extraction/FSetInterface.ml OCAMLC extraction/Lattice.mli OCAMLC extraction/Lattice.ml OCAMLC extraction/Specif.mli OCAMLC extraction/Specif.ml OCAMLC extraction/Iteration.mli OCAMLC extraction/Iteration.ml OCAMLC extraction/Heaps.mli OCAMLC extraction/Heaps.ml OCAMLC extraction/Kildall.mli OCAMLC extraction/Kildall.ml OCAMLC backend/Splitting.ml OCAMLC extraction/Unityping.mli OCAMLC extraction/Unityping.ml OCAMLC extraction/Conventions1.mli OCAMLC extraction/Conventions1.ml OCAMLC extraction/Conventions.mli OCAMLC extraction/Conventions.ml OCAMLC extraction/RTLtyping.mli OCAMLC extraction/RTLtyping.ml OCAMLC common/PrintAST.ml OCAMLC powerpc/PrintOp.ml OCAMLC backend/Machregsnames.mli OCAMLC backend/Machregsnames.ml OCAMLC backend/PrintXTL.ml OCAMLC extraction/LTL.mli OCAMLC extraction/LTL.ml OCAMLC backend/PrintLTL.ml OCAMLC lib/Tokenize.mli OCAMLC lib/Tokenize.ml OCAMLC cparser/Diagnostics.mli OCAMLC cparser/Diagnostics.ml OCAMLC cparser/C.mli OCAMLC cparser/Machine.mli OCAMLC cparser/Machine.ml OCAMLC cparser/Env.mli OCAMLC cparser/Env.ml OCAMLC cparser/Cprint.mli OCAMLC cparser/Cprint.ml OCAMLC cparser/Cutil.mli OCAMLC cparser/Cutil.ml OCAMLC common/Sections.mli OCAMLC common/Sections.ml OCAMLC extraction/Values.mli OCAMLC extraction/Values.ml OCAMLC extraction/Znumtheory.mli OCAMLC extraction/Znumtheory.ml OCAMLC extraction/Memtype.mli OCAMLC extraction/Memtype.ml OCAMLC extraction/PeanoNat.mli OCAMLC extraction/PeanoNat.ml OCAMLC extraction/Memdata.mli OCAMLC extraction/Memdata.ml OCAMLC extraction/Memory.mli OCAMLC extraction/Memory.ml OCAMLC extraction/Ctypes.mli OCAMLC extraction/Ctypes.ml OCAMLC extraction/Cop.mli OCAMLC extraction/Cop.ml OCAMLC extraction/Csyntax.mli OCAMLC extraction/Csyntax.ml OCAMLC extraction/Initializers.mli OCAMLC extraction/Initializers.ml OCAMLC powerpc/Machregsaux.mli OCAMLC powerpc/Machregsaux.ml OCAMLC cparser/Ceval.mli OCAMLC cparser/Ceval.ml OCAMLC powerpc/CBuiltins.ml OCAMLC cparser/ExtendedAsm.ml OCAMLC debug/DwarfTypes.mli OCAMLC debug/Debug.mli OCAMLC debug/Debug.ml OCAMLC extraction/Ctyping.mli OCAMLC extraction/Ctyping.ml OCAMLC backend/AisAnnot.mli OCAMLC backend/AisAnnot.ml OCAMLC cfrontend/C2C.ml OCAMLC cfrontend/CPragmas.ml OCAMLC backend/IRC.mli OCAMLC backend/IRC.ml OCAMLC backend/Regalloc.ml OCAMLC backend/PrintRTL.ml OCAMLC extraction/Mach.mli OCAMLC extraction/Mach.ml OCAMLC backend/PrintMach.ml OCAMLC cfrontend/PrintCsyntax.ml OCAMLC extraction/Cminor.mli OCAMLC extraction/Cminor.ml OCAMLC backend/PrintCminor.ml OCAMLC extraction/Clight.mli OCAMLC extraction/Clight.ml OCAMLC cfrontend/PrintClight.ml OCAMLC extraction/Asm.mli OCAMLC extraction/Asm.ml OCAMLC backend/PrintAsmaux.ml OCAMLC lib/Printlines.mli OCAMLC lib/Printlines.ml OCAMLC backend/Fileinfo.ml OCAMLC powerpc/TargetPrinter.ml OCAMLC debug/DwarfUtil.ml OCAMLC debug/DwarfPrinter.mli OCAMLC debug/DwarfPrinter.ml OCAMLC backend/PrintAsm.mli OCAMLC backend/PrintAsm.ml OCAMLC driver/Driveraux.mli OCAMLC driver/Driveraux.ml OCAMLC driver/Linker.mli OCAMLC driver/Linker.ml OCAMLC extraction/Globalenvs.mli OCAMLC extraction/Globalenvs.ml OCAMLC extraction/Events.mli OCAMLC extraction/Events.ml OCAMLC extraction/Determinism.mli OCAMLC extraction/Determinism.ml OCAMLC extraction/Csem.mli OCAMLC extraction/Csem.ml OCAMLC extraction/DecidableClass.mli OCAMLC extraction/DecidableClass.ml OCAMLC extraction/Decidableplus.mli OCAMLC extraction/Decidableplus.ml OCAMLC extraction/Builtins0.mli OCAMLC extraction/Builtins0.ml OCAMLC extraction/Builtins1.mli OCAMLC extraction/Builtins1.ml OCAMLC extraction/Builtins.mli OCAMLC extraction/Builtins.ml OCAMLC extraction/Cexec.mli OCAMLC extraction/Cexec.ml OCAMLC driver/Interp.ml OCAMLC cparser/Unblock.mli OCAMLC cparser/Unblock.ml OCAMLC cparser/Transform.mli OCAMLC cparser/Transform.ml OCAMLC cparser/SwitchNorm.mli OCAMLC cparser/SwitchNorm.ml OCAMLC cparser/StructPassing.mli OCAMLC cparser/StructPassing.ml OCAMLC cparser/Rename.mli OCAMLC cparser/Rename.ml OCAMLC extraction/Alphabet.mli OCAMLC extraction/Alphabet.ml OCAMLC extraction/Grammar.mli OCAMLC extraction/Grammar.ml OCAMLC extraction/Automaton.mli OCAMLC extraction/Automaton.ml OCAMLC extraction/Interpreter_correct.mli OCAMLC extraction/Interpreter_correct.ml OCAMLC extraction/FMapList.mli OCAMLC extraction/FMapList.ml OCAMLC extraction/FMapAVL.mli OCAMLC extraction/FMapAVL.ml OCAMLC extraction/Validator_complete.mli OCAMLC extraction/Validator_complete.ml OCAMLC extraction/Interpreter_complete.mli OCAMLC extraction/Interpreter_complete.ml OCAMLC extraction/Validator_safe.mli OCAMLC extraction/Validator_safe.ml OCAMLC extraction/Interpreter.mli OCAMLC extraction/Interpreter.ml OCAMLC extraction/Main.mli OCAMLC extraction/Main.ml OCAMLC extraction/Cabs.mli OCAMLC extraction/Cabs.ml OCAMLC extraction/Parser.mli OCAMLC extraction/Parser.ml OCAMLC cparser/PackedStructs.ml OCAMLC cparser/pre_parser_aux.mli OCAMLC cparser/pre_parser_aux.ml OCAMLC cparser/pre_parser.mli OCAMLC cparser/pre_parser.ml OCAMLC cparser/pre_parser_messages.ml OCAMLC cparser/ErrorReports.mli OCAMLC cparser/ErrorReports.ml OCAMLC cparser/Lexer.ml OCAMLC cparser/Cleanup.mli OCAMLC cparser/Cleanup.ml OCAMLC cparser/Checks.mli OCAMLC cparser/Checks.ml OCAMLC cparser/Cflow.mli OCAMLC cparser/Cflow.ml OCAMLC cparser/Cabshelper.ml OCAMLC cparser/Elab.mli OCAMLC cparser/Elab.ml OCAMLC cparser/Parse.mli OCAMLC cparser/Parse.ml OCAMLC driver/Frontend.mli OCAMLC driver/Frontend.ml OCAMLC debug/DebugTypes.mli OCAMLC debug/DebugInformation.mli OCAMLC debug/DebugInformation.ml OCAMLC debug/Dwarfgen.ml OCAMLC debug/DebugInit.ml OCAMLC extraction/Unusedglob.mli OCAMLC extraction/Unusedglob.ml OCAMLC extraction/UnionFind.mli OCAMLC extraction/UnionFind.ml OCAMLC extraction/Tunneling.mli OCAMLC extraction/Tunneling.ml OCAMLC extraction/Tailcall.mli OCAMLC extraction/Tailcall.ml OCAMLC extraction/Linear.mli OCAMLC extraction/Linear.ml OCAMLC extraction/Bounds.mli OCAMLC extraction/Bounds.ml OCAMLC extraction/Stacklayout.mli OCAMLC extraction/Stacklayout.ml OCAMLC extraction/Lineartyping.mli OCAMLC extraction/Lineartyping.ml OCAMLC extraction/Stacking.mli OCAMLC extraction/Stacking.ml OCAMLC extraction/Compopts.mli OCAMLC extraction/Compopts.ml OCAMLC extraction/SimplLocals.mli OCAMLC extraction/SimplLocals.ml OCAMLC extraction/SimplExpr.mli OCAMLC extraction/SimplExpr.ml OCAMLC extraction/Switch.mli OCAMLC extraction/Switch.ml OCAMLC common/Switchaux.ml OCAMLC extraction/Compare_dec.mli OCAMLC extraction/Compare_dec.ml OCAMLC extraction/CminorSel.mli OCAMLC extraction/CminorSel.ml OCAMLC extraction/SelectOp.mli OCAMLC extraction/SelectOp.ml OCAMLC extraction/SplitLong.mli OCAMLC extraction/SplitLong.ml OCAMLC backend/Selectionaux.ml OCAMLC extraction/SelectLong.mli OCAMLC extraction/SelectLong.ml OCAMLC extraction/SelectDiv.mli OCAMLC extraction/SelectDiv.ml OCAMLC extraction/Cminortyping.mli OCAMLC extraction/Cminortyping.ml OCAMLC extraction/Selection.mli OCAMLC extraction/Selection.ml OCAMLC extraction/Mergesort.mli OCAMLC extraction/Mergesort.ml OCAMLC extraction/Postorder.mli OCAMLC extraction/Postorder.ml OCAMLC extraction/Renumber.mli OCAMLC extraction/Renumber.ml OCAMLC backend/RTLgenaux.ml OCAMLC extraction/RTLgen.mli OCAMLC extraction/RTLgen.ml OCAMLC backend/Linearizeaux.ml OCAMLC extraction/Linearize.mli OCAMLC extraction/Linearize.ml OCAMLC backend/Inliningaux.ml OCAMLC extraction/Inlining.mli OCAMLC extraction/Inlining.ml OCAMLC extraction/Debugvar.mli OCAMLC extraction/Debugvar.ml OCAMLC extraction/ValueDomain.mli OCAMLC extraction/ValueDomain.ml OCAMLC extraction/ValueAOp.mli OCAMLC extraction/ValueAOp.ml OCAMLC extraction/Liveness.mli OCAMLC extraction/Liveness.ml OCAMLC extraction/ValueAnalysis.mli OCAMLC extraction/ValueAnalysis.ml OCAMLC extraction/IntvSets.mli OCAMLC extraction/IntvSets.ml OCAMLC extraction/NeedDomain.mli OCAMLC extraction/NeedDomain.ml OCAMLC extraction/NeedOp.mli OCAMLC extraction/NeedOp.ml OCAMLC extraction/Deadcode.mli OCAMLC extraction/Deadcode.ml OCAMLC extraction/Csharpminor.mli OCAMLC extraction/Csharpminor.ml OCAMLC extraction/Cshmgen.mli OCAMLC extraction/Cshmgen.ml OCAMLC extraction/ConstpropOp.mli OCAMLC extraction/ConstpropOp.ml OCAMLC extraction/Constprop.mli OCAMLC extraction/Constprop.ml OCAMLC extraction/Cminorgen.mli OCAMLC extraction/Cminorgen.ml OCAMLC extraction/CleanupLabels.mli OCAMLC extraction/CleanupLabels.ml OCAMLC extraction/CSEdomain.mli OCAMLC extraction/CSEdomain.ml OCAMLC extraction/CombineOp.mli OCAMLC extraction/CombineOp.ml OCAMLC extraction/CSE.mli OCAMLC extraction/CSE.ml OCAMLC extraction/Asmgen.mli OCAMLC extraction/Asmgen.ml OCAMLC extraction/FSetAVLplus.mli OCAMLC extraction/FSetAVLplus.ml OCAMLC extraction/Allocation.mli OCAMLC extraction/Allocation.ml OCAMLC extraction/Compiler.mli OCAMLC extraction/Compiler.ml OCAMLC driver/CommonOptions.ml OCAMLC driver/Assembler.mli OCAMLC driver/Assembler.ml OCAMLC backend/Asmexpandaux.mli OCAMLC backend/Asmexpandaux.ml OCAMLC powerpc/Asmexpand.ml OCAMLC backend/Json.ml OCAMLC backend/JsonAST.mli OCAMLC backend/JsonAST.ml OCAMLC powerpc/AsmToJSON.mli OCAMLC powerpc/AsmToJSON.ml OCAMLC driver/Driver.ml Linking ccomp.byte File "_none_", line 1: Error: Cannot find file menhirLib.cmo gmake[2]: *** [Makefile.extr:115: ccomp.byte] Error 2 gmake[2]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' gmake[1]: Leaving directory '/usr/obj/ports/compcert-3.13.1/CompCert-3.13.1' gmake[1]: *** [Makefile:218: ccomp] Error 2 gmake: *** [Makefile:183: all] Error 2 *** Error 2 in lang/compcert (/usr/ports/infrastructure/mk/bsd.port.mk:3059 '/usr/obj/ports/compcert-3.13.1/.build_done': @cd /usr/obj/ports...) *** Error 2 in lang/compcert (/usr/ports/infrastructure/mk/bsd.port.mk:2702 'build': @lock=compcert-3.13.1p0; export _LOCKS_HELD=" compcert...) ===> Exiting lang/compcert with an error *** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval...) >>> Ended at 1708430211.25 max_stuck=2463.01/depends=170.61/show-prepare-results=10.48/patch=3.84/configure=5.08/build=30330.70 Error: job failed with 512 on macppc-2 at 1708430211