=>> Building devel/ocaml-psmt2-frontend build started at Thu Feb 19 11:43:35 EST 2026 port directory: /usr/ports/devel/ocaml-psmt2-frontend package name: ocaml-psmt2-frontend-0.4.0 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: freebsd@dev.thsi.be Makefile datestamp: -rw-r--r-- 1 root wheel 840 Jan 23 2025 /usr/ports/devel/ocaml-psmt2-frontend/Makefile Ports top last git commit: eac71dbf758c Ports top unclean checkout: no Port dir last git commit: 255c43fa198a Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 11 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for ocaml-psmt2-frontend-0.4.0: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- freebsd@dev.thsi.be --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.cache HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.cache HOME=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- PORTDOCS="" OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/ocaml" EXAMPLESDIR="share/examples/psmt2-frontend" DATADIR="share/psmt2-frontend" WWWDIR="www/psmt2-frontend" ETCDIR="etc/psmt2-frontend" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/psmt2-frontend DOCSDIR=/usr/local/share/doc/ocaml EXAMPLESDIR=/usr/local/share/examples/psmt2-frontend WWWDIR=/usr/local/www/psmt2-frontend ETCDIR=/usr/local/etc/psmt2-frontend --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.5.1.pkg [pkg.DaveG.ca] Installing pkg-2.5.1... [pkg.DaveG.ca] Extracting pkg-2.5.1: .......... done ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ocaml-psmt2-frontend-0.4.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-psmt2-frontend-0.4.0 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-psmt2-frontend-0.4.0 for building => SHA256 Checksum OK for ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.14.2.pkg [pkg.DaveG.ca] Installing ocaml-4.14.2... [pkg.DaveG.ca] Extracting ocaml-4.14.2: .......... done ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of ocaml-psmt2-frontend-0.4.0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-psmt2-frontend-0.4.0 for building ===> Extracting for ocaml-psmt2-frontend-0.4.0 => SHA256 Checksum OK for ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for ocaml-psmt2-frontend-0.4.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/menhir - not found ===> Installing existing package /packages/All/menhir-20240715.pkg [pkg.DaveG.ca] Installing menhir-20240715... [pkg.DaveG.ca] Extracting menhir-20240715: .......... done ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/menhir - found ===> Returning to build of ocaml-psmt2-frontend-0.4.0 ===> ocaml-psmt2-frontend-0.4.0 depends on package: ocaml-dune>=3.7.1_2 - not found ===> Installing existing package /packages/All/ocaml-dune-3.7.1_3.pkg [pkg.DaveG.ca] Installing ocaml-dune-3.7.1_3... [pkg.DaveG.ca] Extracting ocaml-dune-3.7.1_3: .......... done ===> ocaml-psmt2-frontend-0.4.0 depends on package: ocaml-dune>=3.7.1_2 - found ===> Returning to build of ocaml-psmt2-frontend-0.4.0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ocamlc - found ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ccache - found ===> Returning to build of ocaml-psmt2-frontend-0.4.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for ocaml-psmt2-frontend-0.4.0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for ocaml-psmt2-frontend-0.4.0 ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.{cmi,cmo,cmt} menhir src/lib/smtlib_parser__mock.ml.mock (cd _build/default && /usr/local/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-write-query src/lib/smtlib_parser__mock.ml.mock) Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Main.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_error.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_printer.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_ty.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_syntax.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.intf.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_logic.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_env.impl.d ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typing.impl.d ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.{cmi,cmo,cmt} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.{cmi,cmti} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.{cmi,cmti} ocamldep src/lib/.psmt2Frontend.objs/smtlib_parser__mock.impl.d ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.{cmo,cmt} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.{cmo,cmt} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.{cmi,cmo,cmt} ocamllex src/lib/smtlib_lexer.ml ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend.{cmx,o} ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.{cmi,cmo,cmt} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.{cmi,cmo,cmt} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.{cmx,o} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.{cmi,cmo,cmt} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.{cmx,o} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.{cmi,cmo,cmt} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.{cmi,cmo,cmt} ocamlc src/lib/smtlib_parser__mock.mli.inferred ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.{cmx,o} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.{cmi,cmo,cmt} menhir src/lib/smtlib_parser.{ml,mli} (cd _build/default && /usr/local/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred) Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Warning: 22 end-of-stream conflicts were arbitrarily resolved. File "", line 214, characters 16-16: Warning: production list(term) -> is never reduced. Warning: in total, 1 production is never reduced. ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.intf.d ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.{cmi,cmti} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.{cmi,cmo,cmt} ocamldep src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.impl.d ocamlc src/bin/.main.eobjs/byte/dune__exe__Main.{cmi,cmo,cmt} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.{cmx,o} ocamlc src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.{cmo,cmt} ocamlc src/lib/psmt2Frontend.cma ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.{cmx,o} ocamlopt src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.{cmx,o} ocamlopt src/lib/psmt2Frontend.{a,cmxa} ocamlopt src/bin/.main.eobjs/native/dune__exe__Main.{cmx,o} ocamlopt src/lib/psmt2Frontend.cmxs ocamlopt src/bin/main.exe =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-psmt2-frontend-0.4.0 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for ocaml-psmt2-frontend-0.4.0 ===> Generating temporary packing list Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/META Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/main.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/opam Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/options.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/options.mli Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.a Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cma Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_error.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_printer.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_syntax.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_ty.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_env.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_logic.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/smtlib_typing.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/version.ml Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/version.mli Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend/LICENSE.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend/README.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend/odoc-pages/index.mld Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend_bin/META Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend_bin/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/lib/ocaml/site-lib/psmt2-frontend_bin/opam Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/bin/psmt2-frontend_bin Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend_bin/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend_bin/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend_bin/LICENSE.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend_bin/README.md Installing /wrkdirs/usr/ports/devel/ocaml-psmt2-frontend/work/stage/usr/local/share/doc/ocaml/psmt2-frontend_bin/odoc-pages/index.mld ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-02-19T16:43:35+0000' 'PKG_NOTE_ports_top_git_hash=eac71dbf758c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=255c43fa198a' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for ocaml-psmt2-frontend-0.4.0 ===> Building ocaml-psmt2-frontend-0.4.0 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for ocaml-psmt2-frontend-0.4.0 build of devel/ocaml-psmt2-frontend | ocaml-psmt2-frontend-0.4.0 ended at Thu Feb 19 11:43:51 EST 2026 build time: 00:00:16