>>> Building on exopi-2 under lang/compcert
	BDEPENDS = [math/rocq;sysutils/findlib;lang/ocaml;devel/gmake;devel/ocaml-menhir]
	DIST = [lang/compcert:CompCert-3.18.tar.gz]
	FULLPKGNAME = compcert-3.18p0
(Junk lock obtained for exopi-2 at 1788722918.60)
>>> Running depends in lang/compcert at 1788722918.64
   last junk was in multimedia/mpvqt
/usr/sbin/pkg_add -aI -Drepair findlib-1.9.8 ocaml-4.14.2 ocaml-menhir-20240715 rocq-8.20.1p2
was: /usr/sbin/pkg_add -aI -Drepair findlib-1.9.8 gmake-4.4.1p0 ocaml-4.14.2 ocaml-menhir-20240715 rocq-8.20.1p2
/usr/sbin/pkg_add -aI -Drepair findlib-1.9.8 ocaml-4.14.2 ocaml-menhir-20240715 rocq-8.20.1p2
>>> Running show-prepare-results in lang/compcert at 1788722944.44
===> lang/compcert
===> Building from scratch compcert-3.18p0
===> compcert-3.18p0 depends on: ocaml->=4.05 -> ocaml-4.14.2
===> compcert-3.18p0 depends on: rocq->=8.15.0 -> rocq-8.20.1p2
===> compcert-3.18p0 depends on: findlib-* -> findlib-1.9.8
===> compcert-3.18p0 depends on: ocaml-menhir->=20200624 -> ocaml-menhir-20240715
===> compcert-3.18p0 depends on: gmake-* -> gmake-4.4.1p0
===>  Verifying specs:  c m pthread
===>  found c.104.0 m.10.1 pthread.28.1
findlib-1.9.8
gmake-4.4.1p0
ocaml-4.14.2
ocaml-menhir-20240715
rocq-8.20.1p2
(Junk lock released for exopi-2 at 1788722945.44)
distfiles size=1917028
>>> Running patch in lang/compcert at 1788722945.47
===> lang/compcert
===>  Checking files for compcert-3.18p0
`/exopi-cvs/ports/distfiles/CompCert-3.18.tar.gz' is up to date.
>> (SHA256) all files: OK
===>  Extracting for compcert-3.18p0
===>  Patching for compcert-3.18p0
===>   Applying OpenBSD patch patch-VERSION
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|Index: VERSION
|--- VERSION.orig
|+++ VERSION
--------------------------
Patching file VERSION using Plan A...
Hunk #1 succeeded at 1.
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 59.
Hunk #3 succeeded at 68.
Hunk #4 succeeded at 273.
Hunk #5 succeeded at 305.
Hunk #6 succeeded at 438.
done
===>  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 lang/compcert at 1788722945.99
===> lang/compcert
===>  Generating configure for compcert-3.18p0
===>  Configuring for compcert-3.18p0
Testing assembler support for CFI directives... yes
Testing linker support for 'nobtcfi' option... yes, '-z nobtcfi'
Testing Rocq... not found
Testing Coq... version 8.20.1 -- good!
Testing OCaml... version 4.14.2 -- good!
Testing OCaml native-code compiler... yes
Testing OCaml .opt compilers... yes
Testing Menhir... version 20240715 -- good!
Testing GNU make... version 4.4.1 (command 'gmake') -- good!

CompCert configuration:
    Target architecture........... x86
    Hardware model................ 64
    Application binary interface.. standard
    Endianness.................... little
    PIC generation supported...... true
    OS and development env........ bsd
    C compiler.................... cc -m64
    C preprocessor................ cc -m64 -U__GNUC__ -U__SIZEOF_INT128__ -E
    Assembler..................... cc -m64 -c
    Assembler supports CFI........ true
    Assembler for runtime lib..... cc -m64 -c
    Linker........................ cc -m64 -z nobtcfi
    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
    Rocq/Coq development will not be installed
>>> Running build in lang/compcert at 1788722946.95
===> lang/compcert
===>  Building for compcert-3.18p0
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
ocamlopt -o tools/ndfun -I +str str.cmxa tools/ndfun.ml
Preprocessing x86/ConstpropOp.vp
Preprocessing x86/SelectOp.vp
Preprocessing x86/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 '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake proof
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
CROCQ lib/Axioms.v
CROCQ lib/Coqlib.v
CROCQ lib/Iteration.v
CROCQ lib/Intv.v
CROCQ lib/Maps.v
CROCQ lib/Zbits.v
CROCQ flocq/Core/Zaux.v
CROCQ flocq/Core/Raux.v
CROCQ flocq/Core/Defs.v
CROCQ flocq/Core/Digits.v
CROCQ flocq/Core/Float_prop.v
CROCQ flocq/Core/Round_pred.v
CROCQ flocq/Core/Generic_fmt.v
CROCQ flocq/Core/Ulp.v
CROCQ flocq/Core/Round_NE.v
CROCQ flocq/Core/FIX.v
CROCQ flocq/Core/FLX.v
CROCQ flocq/Core/FLT.v
CROCQ flocq/Core/Core.v
CROCQ flocq/Calc/Bracket.v
CROCQ flocq/Calc/Round.v
CROCQ flocq/Calc/Operations.v
CROCQ flocq/Calc/Div.v
CROCQ flocq/Calc/Sqrt.v
CROCQ flocq/Prop/Relative.v
CROCQ flocq/IEEE754/BinarySingleNaN.v
CROCQ flocq/IEEE754/Binary.v
CROCQ flocq/IEEE754/Bits.v
CROCQ x86_64/Archi.v
CROCQ lib/Integers.v
CROCQ lib/Ordered.v
CROCQ lib/Heaps.v
CROCQ lib/Lattice.v
CROCQ flocq/Prop/Sterbenz.v
CROCQ flocq/Prop/Round_odd.v
CROCQ lib/IEEE754_extra.v
CROCQ lib/Floats.v
CROCQ lib/Parmov.v
CROCQ lib/UnionFind.v
CROCQ lib/Wfsimpl.v
CROCQ lib/Postorder.v
CROCQ lib/FSetAVLplus.v
CROCQ lib/IntvSets.v
CROCQ lib/Decidableplus.v
CROCQ lib/BoolEqual.v
CROCQ common/Errors.v
CROCQ common/AST.v
CROCQ common/Linking.v
CROCQ common/Values.v
CROCQ common/Memdata.v
CROCQ common/Memtype.v
CROCQ common/Memory.v
CROCQ common/Globalenvs.v
CROCQ common/Builtins0.v
CROCQ x86/Builtins1.v
CROCQ common/Builtins.v
CROCQ common/Events.v
CROCQ common/Smallstep.v
CROCQ common/Behaviors.v
CROCQ common/Switch.v
CROCQ common/Determinism.v
CROCQ common/Unityping.v
CROCQ common/Separation.v
CROCQ backend/Cminor.v
CROCQ backend/Cminortyping.v
CROCQ x86/Op.v
CROCQ backend/CminorSel.v
CROCQ driver/Compopts.v
CROCQ x86/SelectOp.v
CROCQ backend/SplitLong.v
CROCQ x86/SelectLong.v
CROCQ backend/SelectDiv.v
CROCQ x86/Machregs.v
CROCQ backend/Selection.v
CROCQ x86/SelectOpproof.v
CROCQ backend/SplitLongproof.v
CROCQ x86/SelectLongproof.v
CROCQ backend/SelectDivproof.v
CROCQ backend/Selectionproof.v
CROCQ backend/Registers.v
CROCQ backend/RTL.v
CROCQ backend/RTLgen.v
CROCQ backend/RTLgenspec.v
CROCQ backend/RTLgenproof.v
CROCQ backend/Locations.v
CROCQ x86/Conventions1.v
CROCQ backend/Conventions.v
CROCQ backend/Tailcall.v
CROCQ backend/Tailcallproof.v
CROCQ backend/Inlining.v
CROCQ backend/Inliningspec.v
CROCQ backend/Inliningproof.v
CROCQ backend/Renumber.v
CROCQ backend/Renumberproof.v
CROCQ backend/RTLtyping.v
CROCQ backend/Kildall.v
CROCQ backend/Liveness.v
CROCQ backend/ValueDomain.v
CROCQ x86/ValueAOp.v
CROCQ backend/ValueAnalysis.v
CROCQ x86/ConstpropOp.v
CROCQ backend/Constprop.v
CROCQ x86/ConstpropOpproof.v
CROCQ backend/Constpropproof.v
CROCQ backend/CSEdomain.v
CROCQ x86/CombineOp.v
CROCQ backend/CSE.v
CROCQ x86/CombineOpproof.v
CROCQ backend/CSEproof.v
CROCQ backend/NeedDomain.v
CROCQ x86/NeedOp.v
CROCQ backend/Deadcode.v
CROCQ backend/Deadcodeproof.v
CROCQ backend/Unusedglob.v
CROCQ backend/Unusedglobproof.v
CROCQ backend/LTL.v
CROCQ backend/Allocation.v
CROCQ backend/Allocproof.v
CROCQ backend/Tunneling.v
CROCQ backend/Tunnelingproof.v
CROCQ backend/Linear.v
CROCQ backend/Lineartyping.v
CROCQ backend/Linearize.v
CROCQ backend/Linearizeproof.v
CROCQ backend/CleanupLabels.v
CROCQ backend/CleanupLabelsproof.v
CROCQ backend/Debugvar.v
CROCQ backend/Debugvarproof.v
CROCQ backend/Bounds.v
CROCQ x86/Stacklayout.v
CROCQ backend/Mach.v
CROCQ backend/Stacking.v
CROCQ backend/Stackingproof.v
CROCQ x86/Asm.v
CROCQ x86/Asmgen.v
CROCQ backend/Asmgenproof0.v
CROCQ x86/Asmgenproof1.v
CROCQ x86/Asmgenproof.v
CROCQ cfrontend/Ctypes.v
CROCQ cfrontend/Cop.v
CROCQ cfrontend/Csyntax.v
CROCQ cfrontend/Csem.v
CROCQ cfrontend/Ctyping.v
CROCQ cfrontend/Cstrategy.v
CROCQ cfrontend/Cexec.v
CROCQ cfrontend/Initializers.v
CROCQ cfrontend/Initializersproof.v
CROCQ cfrontend/Clight.v
CROCQ cfrontend/SimplExpr.v
CROCQ cfrontend/SimplExprspec.v
CROCQ cfrontend/SimplExprproof.v
CROCQ cfrontend/ClightBigstep.v
CROCQ cfrontend/SimplLocals.v
CROCQ cfrontend/SimplLocalsproof.v
CROCQ cfrontend/Csharpminor.v
CROCQ cfrontend/Cshmgen.v
CROCQ cfrontend/Cshmgenproof.v
CROCQ cfrontend/Cminorgen.v
CROCQ cfrontend/Cminorgenproof.v
CROCQ driver/Compiler.v
CROCQ driver/Complements.v
CROCQ flocq/Core/FTZ.v
CROCQ flocq/Calc/Plus.v
CROCQ flocq/Prop/Plus_error.v
CROCQ flocq/Prop/Mult_error.v
CROCQ flocq/Prop/Div_sqrt_error.v
CROCQ flocq/Prop/Double_rounding.v
CROCQ MenhirLib/Alphabet.v
CROCQ MenhirLib/Grammar.v
CROCQ MenhirLib/Automaton.v
CROCQ MenhirLib/Validator_classes.v
CROCQ MenhirLib/Validator_safe.v
CROCQ MenhirLib/Interpreter.v
CROCQ MenhirLib/Validator_complete.v
CROCQ MenhirLib/Interpreter_complete.v
CROCQ MenhirLib/Interpreter_correct.v
CROCQ MenhirLib/Main.v
CROCQ cparser/Cabs.v
CROCQ cparser/Parser.v
gmake[1]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake extraction
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
rm -f extraction/*.ml extraction/*.mli
"coqtop"  -R lib compcert.lib  -R common compcert.common  -R x86_64 compcert.x86_64  -R x86 compcert.x86  -R backend compcert.backend  -R cfrontend compcert.cfrontend  -R driver compcert.driver  -R cparser compcert.cparser -R flocq Flocq -R MenhirLib MenhirLib -w -change-dir-deprecated -w -extraction-default-directory -w -deprecated-from-Coq -w -unknown-option -batch -load-vernac-source ./extraction/extraction.v
File "./extraction/extraction.v", line 143, 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,default]
touch extraction/STAMP
gmake[1]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake ccomp
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
ocamlopt -o tools/modorder -I +str str.cmxa tools/modorder.ml
(echo 'let version = "3.18"'; \
         echo 'let buildnr = ""'; \
         echo 'let tag = ""'; \
         echo 'let branch = ""') > driver/Version.ml
gmake -f Makefile.extr depend
gmake[2]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
menhir --table -v --no-stdlib -la 1 cparser/pre_parser.mly
Built an LR(0) automaton with 645 states.
The construction mode is pager.
Built an LR(1) automaton with 645 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 '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/cparser'
Built an LR(0) automaton with 645 states.
The construction mode is pager.
Built an LR(1) automaton with 645 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 243 sample input sentences and 180 error messages.
OK. The set of erroneous inputs is correct and irredundant.
gmake[3]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/cparser'
Analyzing OCaml dependencies
gmake[2]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
(echo "stdlib_path=/usr/local/lib"; \
         echo "prepro=cc"; \
         echo "linker=cc"; \
         echo "asm=cc"; \
 echo "prepro_options=-m64 -U__GNUC__ -U__SIZEOF_INT128__ -E";\
 echo "asm_options=-m64 -c";\
 echo "linker_options=-m64 -z nobtcfi";\
         echo "arch=x86"; \
         echo "model=64"; \
         echo "abi=standard"; \
         echo "endianness=little"; \
         echo "system=bsd"; \
         echo "has_runtime_lib=true"; \
         echo "has_standard_headers=false"; \
         echo "asm_supports_cfi=true"; \
 echo "response_file_style=gnu"; \
 echo "pic_supported=true") \
        > compcert.ini
gmake -f Makefile.extr ccomp
gmake[2]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
OCAMLOPT driver/Version.ml
OCAMLC   lib/Readconfig.mli
OCAMLOPT lib/Readconfig.ml
OCAMLC   lib/Responsefile.mli
OCAMLOPT lib/Responsefile.ml
OCAMLC   lib/Commandline.mli
OCAMLOPT lib/Commandline.ml
OCAMLC   driver/Configuration.mli
OCAMLOPT driver/Configuration.ml
OCAMLOPT driver/Clflags.ml
OCAMLOPT driver/Timing.ml
OCAMLC   extraction/Datatypes.mli
OCAMLOPT extraction/Datatypes.ml
OCAMLC   extraction/Orders.mli
OCAMLOPT extraction/Orders.ml
OCAMLC   extraction/OrdersTac.mli
OCAMLOPT extraction/OrdersTac.ml
OCAMLC   extraction/OrderedType.mli
OCAMLOPT extraction/OrderedType.ml
OCAMLC   extraction/List0.mli
OCAMLOPT extraction/List0.ml
OCAMLC   extraction/EquivDec.mli
OCAMLOPT extraction/EquivDec.ml
OCAMLC   extraction/BinNums.mli
OCAMLOPT extraction/BinNums.ml
OCAMLC   extraction/Nat.mli
OCAMLOPT extraction/Nat.ml
OCAMLC   extraction/BinPosDef.mli
OCAMLOPT extraction/BinPosDef.ml
OCAMLC   extraction/BinPos.mli
OCAMLOPT extraction/BinPos.ml
OCAMLC   extraction/BinNat.mli
OCAMLOPT extraction/BinNat.ml
OCAMLC   extraction/BinInt.mli
OCAMLOPT extraction/BinInt.ml
OCAMLC   extraction/ZArith_dec.mli
OCAMLOPT extraction/ZArith_dec.ml
OCAMLC   extraction/Coqlib.mli
OCAMLOPT extraction/Coqlib.ml
OCAMLC   extraction/Maps.mli
OCAMLOPT extraction/Maps.ml
OCAMLC   extraction/Ordered.mli
OCAMLOPT extraction/Ordered.ml
OCAMLC   extraction/Int0.mli
OCAMLOPT extraction/Int0.ml
OCAMLC   extraction/OrdersAlt.mli
OCAMLOPT extraction/OrdersAlt.ml
OCAMLC   extraction/OrdersFacts.mli
OCAMLOPT extraction/OrdersFacts.ml
OCAMLC   extraction/MSetInterface.mli
OCAMLOPT extraction/MSetInterface.ml
OCAMLC   extraction/MSetAVL.mli
OCAMLOPT extraction/MSetAVL.ml
OCAMLC   extraction/FSetAVL.mli
OCAMLOPT extraction/FSetAVL.ml
OCAMLC   extraction/Registers.mli
OCAMLOPT extraction/Registers.ml
OCAMLC   extraction/Zpower.mli
OCAMLOPT extraction/Zpower.ml
OCAMLC   extraction/Zbits.mli
OCAMLOPT extraction/Zbits.ml
OCAMLC   extraction/Archi.mli
OCAMLOPT extraction/Archi.ml
OCAMLC   extraction/Integers.mli
OCAMLOPT extraction/Integers.ml
OCAMLC   extraction/Zaux.mli
OCAMLOPT extraction/Zaux.ml
OCAMLC   extraction/Zbool.mli
OCAMLOPT extraction/Zbool.ml
OCAMLC   extraction/SpecFloat.mli
OCAMLOPT extraction/SpecFloat.ml
OCAMLC   extraction/Round.mli
OCAMLOPT extraction/Round.ml
OCAMLC   extraction/Bool.mli
OCAMLOPT extraction/Bool.ml
OCAMLC   extraction/BinarySingleNaN.mli
OCAMLOPT extraction/BinarySingleNaN.ml
OCAMLC   extraction/Binary.mli
OCAMLOPT extraction/Binary.ml
OCAMLC   extraction/IEEE754_extra.mli
OCAMLOPT extraction/IEEE754_extra.ml
OCAMLC   extraction/Bits.mli
OCAMLOPT extraction/Bits.ml
OCAMLC   extraction/Floats.mli
OCAMLOPT extraction/Floats.ml
OCAMLC   extraction/BoolEqual.mli
OCAMLOPT extraction/BoolEqual.ml
OCAMLC   extraction/Errors.mli
OCAMLOPT extraction/Errors.ml
OCAMLC   extraction/AST.mli
OCAMLOPT extraction/AST.ml
OCAMLC   extraction/Op.mli
OCAMLOPT extraction/Op.ml
OCAMLC   extraction/Machregs.mli
OCAMLOPT extraction/Machregs.ml
OCAMLC   extraction/Locations.mli
OCAMLOPT extraction/Locations.ml
OCAMLOPT lib/Camlcoq.ml
OCAMLC   lib/Camlcoq.ml
OCAMLC   backend/XTL.mli
OCAMLOPT backend/XTL.ml
OCAMLC   extraction/Values.mli
OCAMLOPT extraction/Values.ml
OCAMLC   extraction/PeanoNat.mli
OCAMLOPT extraction/PeanoNat.ml
OCAMLC   extraction/Memdata.mli
OCAMLOPT extraction/Memdata.ml
OCAMLC   extraction/Builtins0.mli
OCAMLOPT extraction/Builtins0.ml
OCAMLC   extraction/Builtins1.mli
OCAMLOPT extraction/Builtins1.ml
OCAMLC   extraction/Builtins.mli
OCAMLOPT extraction/Builtins.ml
OCAMLC   extraction/RTL.mli
OCAMLOPT extraction/RTL.ml
OCAMLC   extraction/Equalities.mli
OCAMLOPT extraction/Equalities.ml
OCAMLC   extraction/DecidableType.mli
OCAMLOPT extraction/DecidableType.ml
OCAMLC   extraction/FSetInterface.mli
OCAMLOPT extraction/FSetInterface.ml
OCAMLC   extraction/Lattice.mli
OCAMLOPT extraction/Lattice.ml
OCAMLC   extraction/Specif.mli
OCAMLOPT extraction/Specif.ml
OCAMLC   extraction/Iteration.mli
OCAMLOPT extraction/Iteration.ml
OCAMLC   extraction/Heaps.mli
OCAMLOPT extraction/Heaps.ml
OCAMLC   extraction/Kildall.mli
OCAMLOPT extraction/Kildall.ml
OCAMLOPT backend/Splitting.ml
OCAMLC   extraction/Unityping.mli
OCAMLOPT extraction/Unityping.ml
OCAMLC   extraction/Conventions1.mli
OCAMLOPT extraction/Conventions1.ml
OCAMLC   extraction/Conventions.mli
OCAMLOPT extraction/Conventions.ml
OCAMLC   extraction/RTLtyping.mli
OCAMLOPT extraction/RTLtyping.ml
OCAMLOPT common/PrintAST.ml
OCAMLOPT x86/PrintOp.ml
OCAMLC   backend/Machregsnames.mli
OCAMLOPT backend/Machregsnames.ml
OCAMLOPT backend/PrintXTL.ml
OCAMLC   extraction/LTL.mli
OCAMLOPT extraction/LTL.ml
OCAMLOPT backend/PrintLTL.ml
OCAMLC   lib/Tokenize.mli
OCAMLOPT lib/Tokenize.ml
OCAMLC   cparser/Diagnostics.mli
OCAMLOPT cparser/Diagnostics.ml
OCAMLC   cparser/C.mli
OCAMLC   cparser/Machine.mli
OCAMLOPT cparser/Machine.ml
OCAMLC   cparser/Env.mli
OCAMLOPT cparser/Env.ml
OCAMLC   cparser/Cprint.mli
OCAMLOPT cparser/Cprint.ml
OCAMLC   cparser/Cutil.mli
OCAMLOPT cparser/Cutil.ml
OCAMLC   common/Sections.mli
OCAMLOPT common/Sections.ml
OCAMLC   extraction/Znumtheory.mli
OCAMLOPT extraction/Znumtheory.ml
OCAMLC   extraction/Memtype.mli
OCAMLOPT extraction/Memtype.ml
OCAMLC   extraction/Memory.mli
OCAMLOPT extraction/Memory.ml
OCAMLC   extraction/Ctypes.mli
OCAMLOPT extraction/Ctypes.ml
OCAMLC   extraction/Cop.mli
OCAMLOPT extraction/Cop.ml
OCAMLC   extraction/Csyntax.mli
OCAMLOPT extraction/Csyntax.ml
OCAMLC   extraction/Initializers.mli
OCAMLOPT extraction/Initializers.ml
OCAMLC   x86/Machregsaux.mli
OCAMLOPT x86/Machregsaux.ml
OCAMLC   cparser/Ceval.mli
OCAMLOPT cparser/Ceval.ml
OCAMLOPT x86/CBuiltins.ml
OCAMLOPT cparser/ExtendedAsm.ml
OCAMLC   debug/DwarfTypes.mli
OCAMLC   debug/Debug.mli
OCAMLOPT debug/Debug.ml
OCAMLC   extraction/Ctyping.mli
OCAMLOPT extraction/Ctyping.ml
OCAMLC   backend/AisAnnot.mli
OCAMLOPT backend/AisAnnot.ml
OCAMLOPT cfrontend/C2C.ml
OCAMLOPT cfrontend/CPragmas.ml
OCAMLC   backend/IRC.mli
OCAMLOPT backend/IRC.ml
OCAMLOPT backend/Regalloc.ml
OCAMLOPT backend/PrintRTL.ml
OCAMLC   extraction/Mach.mli
OCAMLOPT extraction/Mach.ml
OCAMLOPT backend/PrintMach.ml
OCAMLOPT cfrontend/PrintCsyntax.ml
OCAMLC   extraction/Cminor.mli
OCAMLOPT extraction/Cminor.ml
OCAMLOPT backend/PrintCminor.ml
OCAMLC   extraction/Clight.mli
OCAMLOPT extraction/Clight.ml
OCAMLOPT cfrontend/PrintClight.ml
OCAMLC   extraction/Compare_dec.mli
OCAMLOPT extraction/Compare_dec.ml
OCAMLC   extraction/CminorSel.mli
OCAMLOPT extraction/CminorSel.ml
OCAMLC   extraction/SelectOp.mli
OCAMLOPT extraction/SelectOp.ml
OCAMLC   extraction/Asm.mli
OCAMLOPT extraction/Asm.ml
OCAMLOPT backend/PrintAsmaux.ml
OCAMLC   lib/Printlines.mli
OCAMLOPT lib/Printlines.ml
OCAMLOPT backend/Fileinfo.ml
OCAMLOPT x86/TargetPrinter.ml
OCAMLOPT debug/DwarfUtil.ml
OCAMLC   debug/DwarfPrinter.mli
OCAMLOPT debug/DwarfPrinter.ml
OCAMLC   backend/PrintAsm.mli
OCAMLOPT backend/PrintAsm.ml
OCAMLC   driver/Driveraux.mli
OCAMLOPT driver/Driveraux.ml
OCAMLC   driver/Linker.mli
OCAMLOPT driver/Linker.ml
OCAMLC   extraction/Globalenvs.mli
OCAMLOPT extraction/Globalenvs.ml
OCAMLC   extraction/Events.mli
OCAMLOPT extraction/Events.ml
OCAMLC   extraction/Determinism.mli
OCAMLOPT extraction/Determinism.ml
OCAMLC   extraction/Csem.mli
OCAMLOPT extraction/Csem.ml
OCAMLC   extraction/DecidableClass.mli
OCAMLOPT extraction/DecidableClass.ml
OCAMLC   extraction/Decidableplus.mli
OCAMLOPT extraction/Decidableplus.ml
OCAMLC   extraction/Cexec.mli
OCAMLOPT extraction/Cexec.ml
OCAMLOPT driver/Interp.ml
OCAMLC   cparser/Unblock.mli
OCAMLOPT cparser/Unblock.ml
OCAMLC   cparser/Transform.mli
OCAMLOPT cparser/Transform.ml
OCAMLC   cparser/SwitchNorm.mli
OCAMLOPT cparser/SwitchNorm.ml
OCAMLC   cparser/StructPassing.mli
OCAMLOPT cparser/StructPassing.ml
OCAMLC   cparser/Rename.mli
OCAMLOPT cparser/Rename.ml
OCAMLC   extraction/Alphabet.mli
OCAMLOPT extraction/Alphabet.ml
OCAMLC   extraction/Grammar.mli
OCAMLOPT extraction/Grammar.ml
OCAMLC   extraction/Automaton.mli
OCAMLOPT extraction/Automaton.ml
OCAMLC   extraction/Interpreter_correct.mli
OCAMLOPT extraction/Interpreter_correct.ml
OCAMLC   extraction/FMapList.mli
OCAMLOPT extraction/FMapList.ml
OCAMLC   extraction/FMapAVL.mli
OCAMLOPT extraction/FMapAVL.ml
OCAMLC   extraction/Validator_complete.mli
OCAMLOPT extraction/Validator_complete.ml
OCAMLC   extraction/Interpreter_complete.mli
OCAMLOPT extraction/Interpreter_complete.ml
OCAMLC   extraction/Validator_safe.mli
OCAMLOPT extraction/Validator_safe.ml
OCAMLC   extraction/Interpreter.mli
OCAMLOPT extraction/Interpreter.ml
OCAMLC   extraction/Main.mli
OCAMLOPT extraction/Main.ml
OCAMLC   extraction/Cabs.mli
OCAMLOPT extraction/Cabs.ml
OCAMLC   extraction/Parser.mli
OCAMLOPT extraction/Parser.ml
OCAMLOPT cparser/PackedStructs.ml
OCAMLC   cparser/pre_parser_aux.mli
OCAMLOPT cparser/pre_parser_aux.ml
OCAMLC   cparser/pre_parser.mli
OCAMLOPT cparser/pre_parser.ml
OCAMLOPT cparser/pre_parser_messages.ml
OCAMLC   cparser/ErrorReports.mli
OCAMLOPT cparser/ErrorReports.ml
OCAMLOPT cparser/Lexer.ml
OCAMLC   cparser/Cleanup.mli
OCAMLOPT cparser/Cleanup.ml
OCAMLC   cparser/Checks.mli
OCAMLOPT cparser/Checks.ml
OCAMLC   cparser/Cflow.mli
OCAMLOPT cparser/Cflow.ml
OCAMLOPT cparser/Cabshelper.ml
OCAMLC   cparser/Elab.mli
OCAMLOPT cparser/Elab.ml
OCAMLC   cparser/Parse.mli
OCAMLOPT cparser/Parse.ml
OCAMLC   driver/Frontend.mli
OCAMLOPT driver/Frontend.ml
OCAMLC   debug/DebugTypes.mli
OCAMLC   debug/DebugInformation.mli
OCAMLOPT debug/DebugInformation.ml
OCAMLOPT debug/Dwarfgen.ml
OCAMLOPT debug/DebugInit.ml
OCAMLC   extraction/Unusedglob.mli
OCAMLOPT extraction/Unusedglob.ml
OCAMLC   extraction/UnionFind.mli
OCAMLOPT extraction/UnionFind.ml
OCAMLC   extraction/Tunneling.mli
OCAMLOPT extraction/Tunneling.ml
OCAMLC   extraction/Tailcall.mli
OCAMLOPT extraction/Tailcall.ml
OCAMLC   extraction/Linear.mli
OCAMLOPT extraction/Linear.ml
OCAMLC   extraction/Bounds.mli
OCAMLOPT extraction/Bounds.ml
OCAMLC   extraction/Stacklayout.mli
OCAMLOPT extraction/Stacklayout.ml
OCAMLC   extraction/Lineartyping.mli
OCAMLOPT extraction/Lineartyping.ml
OCAMLC   extraction/Stacking.mli
OCAMLOPT extraction/Stacking.ml
OCAMLC   extraction/Compopts.mli
OCAMLOPT extraction/Compopts.ml
OCAMLC   extraction/SimplLocals.mli
OCAMLOPT extraction/SimplLocals.ml
OCAMLC   extraction/SimplExpr.mli
OCAMLOPT extraction/SimplExpr.ml
OCAMLC   extraction/Switch.mli
OCAMLOPT extraction/Switch.ml
OCAMLOPT common/Switchaux.ml
OCAMLC   extraction/SplitLong.mli
OCAMLOPT extraction/SplitLong.ml
OCAMLOPT backend/Selectionaux.ml
OCAMLC   extraction/SelectLong.mli
OCAMLOPT extraction/SelectLong.ml
OCAMLC   extraction/SelectDiv.mli
OCAMLOPT extraction/SelectDiv.ml
OCAMLC   extraction/Cminortyping.mli
OCAMLOPT extraction/Cminortyping.ml
OCAMLC   extraction/Selection.mli
OCAMLOPT extraction/Selection.ml
OCAMLC   extraction/Mergesort.mli
OCAMLOPT extraction/Mergesort.ml
OCAMLC   extraction/Postorder.mli
OCAMLOPT extraction/Postorder.ml
OCAMLC   extraction/Renumber.mli
OCAMLOPT extraction/Renumber.ml
OCAMLOPT backend/RTLgenaux.ml
OCAMLC   extraction/RTLgen.mli
OCAMLOPT extraction/RTLgen.ml
OCAMLOPT backend/Linearizeaux.ml
OCAMLC   extraction/Linearize.mli
OCAMLOPT extraction/Linearize.ml
OCAMLC   backend/Inliningaux.mli
OCAMLOPT backend/Inliningaux.ml
OCAMLC   extraction/Inlining.mli
OCAMLOPT extraction/Inlining.ml
OCAMLC   extraction/Debugvar.mli
OCAMLOPT extraction/Debugvar.ml
OCAMLC   extraction/ValueDomain.mli
OCAMLOPT extraction/ValueDomain.ml
OCAMLC   extraction/ValueAOp.mli
OCAMLOPT extraction/ValueAOp.ml
OCAMLC   extraction/Liveness.mli
OCAMLOPT extraction/Liveness.ml
OCAMLC   extraction/ValueAnalysis.mli
OCAMLOPT extraction/ValueAnalysis.ml
OCAMLC   extraction/IntvSets.mli
OCAMLOPT extraction/IntvSets.ml
OCAMLC   extraction/NeedDomain.mli
OCAMLOPT extraction/NeedDomain.ml
OCAMLC   extraction/NeedOp.mli
OCAMLOPT extraction/NeedOp.ml
OCAMLC   extraction/Deadcode.mli
OCAMLOPT extraction/Deadcode.ml
OCAMLC   extraction/Csharpminor.mli
OCAMLOPT extraction/Csharpminor.ml
OCAMLC   extraction/Cshmgen.mli
OCAMLOPT extraction/Cshmgen.ml
OCAMLC   extraction/ConstpropOp.mli
OCAMLOPT extraction/ConstpropOp.ml
OCAMLC   extraction/Constprop.mli
OCAMLOPT extraction/Constprop.ml
OCAMLC   extraction/Cminorgen.mli
OCAMLOPT extraction/Cminorgen.ml
OCAMLC   extraction/CleanupLabels.mli
OCAMLOPT extraction/CleanupLabels.ml
OCAMLC   extraction/CSEdomain.mli
OCAMLOPT extraction/CSEdomain.ml
OCAMLC   extraction/CombineOp.mli
OCAMLOPT extraction/CombineOp.ml
OCAMLC   extraction/CSE.mli
OCAMLOPT extraction/CSE.ml
OCAMLC   extraction/Asmgen.mli
OCAMLOPT extraction/Asmgen.ml
OCAMLC   extraction/FSetAVLplus.mli
OCAMLOPT extraction/FSetAVLplus.ml
OCAMLC   extraction/Allocation.mli
OCAMLOPT extraction/Allocation.ml
OCAMLC   extraction/Compiler.mli
OCAMLOPT extraction/Compiler.ml
OCAMLOPT driver/CommonOptions.ml
OCAMLC   driver/Assembler.mli
OCAMLOPT driver/Assembler.ml
OCAMLC   backend/Asmexpandaux.mli
OCAMLOPT backend/Asmexpandaux.ml
OCAMLOPT x86/Asmexpand.ml
OCAMLC   x86/AsmToJSON.mli
OCAMLOPT x86/AsmToJSON.ml
OCAMLOPT driver/Driver.ml
Linking ccomp
gmake[2]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake[1]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake runtime
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
gmake -C runtime
gmake[2]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/runtime'
cc -m64 -c -DMODEL_64 -DABI_standard -DENDIANNESS_little -DSYS_bsd -o i64_dtou.o x86_64/i64_dtou.S
cc -m64 -c -DMODEL_64 -DABI_standard -DENDIANNESS_little -DSYS_bsd -o i64_utod.o x86_64/i64_utod.S
cc -m64 -c -DMODEL_64 -DABI_standard -DENDIANNESS_little -DSYS_bsd -o i64_utof.o x86_64/i64_utof.S
cc -m64 -c -DMODEL_64 -DABI_standard -DENDIANNESS_little -DSYS_bsd -o vararg.o x86_64/vararg.S
rm -f libcompcert.a
ar rcs libcompcert.a i64_dtou.o i64_utod.o i64_utof.o vararg.o
gmake[2]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/runtime'
gmake[1]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18'
>>> Running fake in lang/compcert at 1788723915.44
===> lang/compcert
===>  Faking installation for compcert-3.18p0
install -d /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/bin
install -m 0755 ./ccomp /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/bin
install -d /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/share/compcert
install -m 0644 ./compcert.ini /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/share/compcert
install -d /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/man/man1
install -m 0644 ./doc/ccomp.1 /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/man/man1
gmake -C runtime install
gmake[1]: Entering directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/runtime'
install -d /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/lib
install -m 0644 libcompcert.a /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/lib
gmake[1]: Leaving directory '/exopi-obj/pobj/compcert-3.18/CompCert-3.18/runtime'
/exopi-obj/pobj/compcert-3.18/bin/install -c -m 644 /exopi-obj/pobj/compcert-3.18/CompCert-3.18/LICENSE /exopi-obj/pobj/compcert-3.18/fake-amd64/usr/local/share/compcert
>>> Running package in lang/compcert at 1788723916.49
===> lang/compcert
`/exopi-obj/pobj/compcert-3.18/fake-amd64/.fake_done' is up to date.
===>  Building package for compcert-3.18p0
Create /exopi-cvs/ports/packages/amd64/all/compcert-3.18p0.tgz
Creating package compcert-3.18p0

reading plist|                                                                 
checking dependencies|                                                         
checksumming|                                                                  
checksumming|                                                             | 0% 
checksumming|****                                                         | 6% 
checksumming|********                                                     | 13%
checksumming|***********                                                  | 19%
checksumming|***************                                              | 25%
checksumming|*******************                                          | 31%
checksumming|***********************                                      | 38%
checksumming|***************************                                  | 44%
checksumming|*******************************                              | 50%
checksumming|**********************************                           | 56%
checksumming|**************************************                       | 63%
checksumming|******************************************                   | 69%
checksumming|**********************************************               | 75%
checksumming|**************************************************           | 81%
checksumming|*****************************************************        | 88%
checksumming|*********************************************************    | 94%
checksumming|*************************************************************|100%
                                                                               

archiving|                                                                     
archiving|                                                                | 0% 
archiving|************                                                    | 18%
archiving|************************                                        | 37%
archiving|***********************************                             | 55%
archiving|***********************************************                 | 74%
archiving|***********************************************************     | 92%
archiving|****************************************************************| 99%
archiving|****************************************************************|100%
                                                                               
Link to /exopi-cvs/ports/packages/amd64/ftp/compcert-3.18p0.tgz
>>> Running clean in lang/compcert at 1788723918.40
===> lang/compcert
===>  Cleaning for compcert-3.18p0
>>> Ended at 1788723918.99
max_stuck=40.70/depends=25.81/show-prepare-results=1.02/patch=0.52/configure=0.96/build=968.47/fake=1.05/package=1.92/clean=0.61