------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/libXau-1.0.9.txz Installing /packages/All/libxml2-2.9.10.txz Installing /packages/All/libpthread-stubs-0.4.txz Installing /packages/All/xorgproto-2020.1.txz Installing /packages/All/libXdmcp-1.1.3.txz Installing /packages/All/libxcb-1.13.1.txz Installing /packages/All/libX11-1.6.9_1,1.txz Installing /packages/All/ocaml-4.05.0_1.txz Installing /packages/All/ocaml-ocamlbuild-0.14.0.txz Installing /packages/All/freetype2-2.10.1.txz ===== Message from freetype2-2.10.1: -- The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. If LONG_PCF_NAMES port's option was enabled, the PCF family names may include the foundry and information whether they contain wide characters. For example, "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at run time with using pcf:no-long-family-names property, if needed. Example: FREETYPE_PROPERTIES=pcf:no-long-family-names=1 How to recreate fontconfig cache with using such environment variable, if needed: # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/site/index.html, if documentation was installed). Installing /packages/All/expat-2.2.8.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/fontconfig-2.13.92_2,1.txz Running fc-cache to build fontconfig cache... Font directories: /usr/local/share/fonts /usr/local/lib/X11/fonts /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded Installing /packages/All/tcl86-8.6.10.txz Installing /packages/All/libXext-1.3.4,1.txz Installing /packages/All/libXrender-0.9.10_2.txz Installing /packages/All/libXft-2.3.3.txz Installing /packages/All/libXScrnSaver-1.2.3_2.txz Installing /packages/All/tk86-8.6.10_1.txz Installing /packages/All/ocaml-labltk-8.06.3.txz ===== Message from ocaml-labltk-8.06.3: -- ===> NOTICE: The ocaml-labltk port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Installing /packages/All/ocaml-findlib-1.7.1.txz Installing /packages/All/gmake-4.3.txz SUCCEEDED 00:00:23 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by abella-2.0.6 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by abella-2.0.6 for building => SHA256 Checksum OK for abella-2.0.6.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by abella-2.0.6 for building ===> Extracting for abella-2.0.6 => SHA256 Checksum OK for abella-2.0.6.tar.gz. Extracted Memory Use: 1.41M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for abella-2.0.6 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on executable: ocamlbuild - found ===> abella-2.0.6 depends on executable: ocamlfind - found ===> abella-2.0.6 depends on package: gmake>=4.3 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> abella-2.0.6 depends on executable: ocamlbuild - found ===> abella-2.0.6 depends on executable: ocamlfind - found ===> abella-2.0.6 depends on package: gmake>=4.3 - found ===> Configuring for abella-2.0.6 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for abella-2.0.6 gmake[1]: Entering directory '/construction/math/abella/abella-2.0.6' ocamlbuild -classic-display -no-links src/abella.native /usr/local/bin/ocamlopt.opt unix.cmxa -I /usr/local/lib/ocaml/ocamlbuild /usr/local/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/local/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild Recreating "src/version.ml" ocamlfind ocamldep -modules src/abella.ml > src/abella.ml.depends ocamlfind ocamldep -modules src/abella_types.ml > src/abella_types.ml.depends ocamlfind ocamldep -modules src/extensions.ml > src/extensions.ml.depends ocamlfind ocamldep -modules src/metaterm.ml > src/metaterm.ml.depends ocamlfind ocamldep -modules src/context.ml > src/context.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/extensions.cmo src/extensions.ml ocamlfind ocamldep -modules src/term.mli > src/term.mli.depends ocamlfind ocamldep -modules src/pretty.mli > src/pretty.mli.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/pretty.cmi src/pretty.mli ocamlfind ocamldep -modules src/unify.mli > src/unify.mli.depends ocamlfind ocamldep -modules src/subordination.mli > src/subordination.mli.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/term.cmi src/term.mli ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/subordination.cmi src/subordination.mli ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/unify.cmi src/unify.mli ocamlfind ocamldep -modules src/state.mli > src/state.mli.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/context.cmo src/context.ml ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/state.cmi src/state.mli ocamlfind ocamldep -modules src/typing.ml > src/typing.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/metaterm.cmo src/metaterm.ml ocamlfind ocamldep -modules src/unifyty.ml > src/unifyty.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/unifyty.cmo src/unifyty.ml ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/typing.cmo src/typing.ml ocamlfind ocamldep -modules src/accumulate.ml > src/accumulate.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/abella_types.cmo src/abella_types.ml /usr/local/bin/ocamllex.opt -q src/lexer.mll ocamlfind ocamldep -modules src/lexer.ml > src/lexer.ml.depends /usr/local/bin/ocamlyacc src/parser.mly + /usr/local/bin/ocamlyacc src/parser.mly 1 shift/reduce conflict. ocamlfind ocamldep -modules src/parser.mli > src/parser.mli.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/parser.cmi src/parser.mli ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/lexer.cmo src/lexer.ml ocamlfind ocamldep -modules src/checks.ml > src/checks.ml.depends ocamlfind ocamldep -modules src/depend.ml > src/depend.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/accumulate.cmo src/accumulate.ml ocamlfind ocamldep -modules src/prover.ml > src/prover.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/checks.cmo src/checks.ml ocamlfind ocamldep -modules src/tactics.ml > src/tactics.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/tactics.cmo src/tactics.ml ocamlfind ocamldep -modules src/version.ml > src/version.ml.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/depend.cmo src/depend.ml ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/prover.cmo src/prover.ml ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/version.cmo src/version.ml ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/abella.cmo src/abella.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/extensions.cmx src/extensions.ml ocamlfind ocamldep -modules src/term.ml > src/term.ml.depends ocamlfind ocamldep -modules src/pretty.ml > src/pretty.ml.depends ocamlfind ocamldep -modules src/state.ml > src/state.ml.depends ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/pretty.cmx src/pretty.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/state.cmx src/state.ml ocamlfind ocamldep -modules src/unify.ml > src/unify.ml.depends ocamlfind ocamldep -modules src/subordination.ml > src/subordination.ml.depends ocamlfind ocamldep -modules src/graph.ml > src/graph.ml.depends ocamlfind ocamldep -modules src/graph.mli > src/graph.mli.depends ocamlfind ocamlc -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/graph.cmi src/graph.mli ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/term.cmx src/term.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/unifyty.cmx src/unifyty.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/graph.cmx src/graph.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/subordination.cmx src/subordination.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/unify.cmx src/unify.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/context.cmx src/context.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/metaterm.cmx src/metaterm.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/typing.cmx src/typing.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/abella_types.cmx src/abella_types.ml ocamlfind ocamldep -modules src/parser.ml > src/parser.ml.depends ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/parser.cmx src/parser.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/lexer.cmx src/lexer.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/accumulate.cmx src/accumulate.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/checks.cmx src/checks.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/tactics.cmx src/tactics.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/depend.cmx src/depend.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/prover.cmx src/prover.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/version.cmx src/version.ml ocamlfind ocamlopt -c -bin-annot -safe-string -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/abella.cmx src/abella.ml ocamlfind ocamlopt -linkpkg unix.cmxa -I src src/extensions.cmx src/pretty.cmx src/state.cmx src/term.cmx src/unifyty.cmx src/graph.cmx src/subordination.cmx src/unify.cmx src/context.cmx src/metaterm.cmx src/typing.cmx src/abella_types.cmx src/parser.cmx src/lexer.cmx src/accumulate.cmx src/checks.cmx src/depend.cmx src/tactics.cmx src/prover.cmx src/version.cmx src/abella.cmx -o src/abella.native if file _build/src/abella.native | grep Windows >/dev/null 2>&1 ; then \ cp _build/src/abella.native abella.exe ; \ else \ cp -a _build/src/abella.native abella ; \ fi gmake[1]: Leaving directory '/construction/math/abella/abella-2.0.6' SUCCEEDED 00:00:09 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for abella-2.0.6 ===> Generating temporary packing list install -s -m 555 /construction/math/abella/abella-2.0.6/abella /construction/math/abella/stage/usr/local/bin ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for abella-2.0.6 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% packing files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:00:38