From nobody Thu Feb 22 18:21:21 2024 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TghKt0s8Dz5B7cK for ; Thu, 22 Feb 2024 18:21:22 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TghKs6Nctz4gQ9 for ; Thu, 22 Feb 2024 18:21:21 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1708626081; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc; bh=xZXt+i6IxIELxX1D4CDKMooDgoI2/F5mMKorssePork=; b=GJa/LaZDh9+Zj0IEeqbH97tDycITYIuASL1hhZsNMQNi7Tl2O4f7yO9/jICF7+humRUU1X GdiBA7wZctYrciLdE+j3RrDJmx65xTaYi0IZzzAKl6YBmhcvjtzfb96u/T7QBO0/Dwz79+ 7gbsPzD7slpNwNGTFxlIu3SjCgPIqBL85QjTjEdiBagevFuZlfSiraQn9HjjMDLh2YBYv+ g0fAojer0/YMj0Wq2kTi+uNO2shNCBBORoUcV86+1gE4u7rD0AkCfrXsGE1NaSJSUCxxt4 HPvmI+wsUOiCUS23gMtuGje+SFbi2fcrg7GhodRRYshNVN5iP+HncCtvV0Ocgg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1708626081; a=rsa-sha256; cv=none; b=oVuU9xTrhysTLkYMXdSHJ1aoro13BqbnE1GGemvpkp2Kvi0n+C3khYwtQsnJDO2Na1orCA uze2jhkoyu308kAf7mhb/j6sqZbziYefPyR6fy/oNHTHniD7+HjOUGVHvQdyXcgBgVel/W GCUDM4BZ2U3dVR2NvYnrt16s2i1r5mYvu/GF7ywchxREjn5Ie9mOvMyX82fFembCWUNcZ/ +Nqvypda0K7j7i3xs6tXryJ0kCLvb7azubx876/EeROFEH5lAFb7o6LIUZo+ZgKADPTggl hha8CLLe3vpRHdekHOfItNTihzwFPSGl2Ekp/bcZEs4M3afoNulTLlIZGWekvg== Received: from beefy17.nyi.freebsd.org (beefy17.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:20]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4TghKs56dyzjf1 for ; Thu, 22 Feb 2024 18:21:21 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from root (uid 0) (envelope-from pkg-fallout@FreeBSD.org) id 88b0 by beefy17.nyi.freebsd.org (DragonFly Mail Agent v0.13+ on beefy17.nyi.freebsd.org); Thu, 22 Feb 2024 18:21:21 +0000 To: arrowd@FreeBSD.org Subject: [package - main-i386-default][math/z3] Failed for z3-4.12.4 in build Cc: pkg-fallout@FreeBSD.org Date: Thu, 22 Feb 2024 18:21:21 +0000 Message-Id: <65d790a1.88b0.637582fe@beefy17.nyi.freebsd.org> From: List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@freebsd.org You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: arrowd@FreeBSD.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p87cdfc67f475_s9097284b98/logs/z3-4.12.4.log Build URL: https://pkg-status.freebsd.org/beefy17/build.html?mastername=main-i386-default&build=p87cdfc67f475_s9097284b98 Log: =>> Building math/z3 build started at Thu Feb 22 18:21:03 UTC 2024 port directory: /usr/ports/math/z3 package name: z3-4.12.4 building for: FreeBSD main-i386-default-job-03 15.0-CURRENT FreeBSD 15.0-CURRENT 1500014 i386 maintained by: arrowd@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1035 Jan 4 01:01 /usr/ports/math/z3/Makefile Ports top last git commit: 87cdfc67f47 Ports top unclean checkout: no Port dir last git commit: 7978785066d Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.1-1-g1e9f97d6 Host OSVERSION: 1500006 Jail OSVERSION: 1500014 Job Id: 03 !!! Jail is newer than host. (Jail: 1500014, Host: 1500006) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/sh BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 OSVERSION=1500014 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 UNAME_m=i386 UNAME_p=i386 UNAME_r=15.0-CURRENT LOCALBASE=/usr/local UNAME_v=FreeBSD 15.0-CURRENT 1500014 USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.1-1-g1e9f97d6 MASTERMNT=/usr/local/poudriere/data/.m/main-i386-default/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/main-i386-default/03/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=main-i386-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.1-1-g1e9f97d6 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 z3-4.12.4: DEBUG=off: Build with debugging support GMP=off: Use GMP library for AP arithmetic STATIC=off: Build static z3 library ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- arrowd@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --prefix=/usr/local --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/wrkdirs/usr/ports/math/z3/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/z3/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/z3/work/.cache HOME=/wrkdirs/usr/ports/math/z3/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/z3/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/z3/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/math/z3/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/z3/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/z3/work/.cache HOME=/wrkdirs/usr/ports/math/z3/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/z3/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/z3/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=" -fstack-protector-strong -Wl,-znotext" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC" 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-- DEBUG="@comment " NO_DEBUG="" GMP="@comment " NO_GMP="" STATIC="@comment " NO_STATIC="" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/z3" EXAMPLESDIR="share/examples/z3" DATADIR="share/z3" WWWDIR="www/z3" ETCDIR="etc/z3" --End PLIST_SUB-- --SUB_LIST-- DEBUG="@comment " NO_DEBUG="" GMP="@comment " NO_GMP="" STATIC="@comment " NO_STATIC="" PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/z3 DOCSDIR=/usr/local/share/doc/z3 EXAMPLESDIR=/usr/local/share/examples/z3 WWWDIR=/usr/local/www/z3 ETCDIR=/usr/local/etc/z3 --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} #### #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs MAKE_JOBS_NUMBER=3 #### 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) 524288 stack size (kbytes, -s) 65536 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 --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> z3-4.12.4 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [main-i386-default-job-03] Installing pkg-1.20.9_1... [main-i386-default-job-03] Extracting pkg-1.20.9_1: .......... done ===> z3-4.12.4 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of z3-4.12.4 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.12.4 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.12.4 for building => SHA256 Checksum OK for Z3Prover-z3-z3-4.12.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.12.4 for building ===> Extracting for z3-4.12.4 => SHA256 Checksum OK for Z3Prover-z3-z3-4.12.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for z3-4.12.4 ===> Applying FreeBSD patches for z3-4.12.4 from /usr/ports/math/z3/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> z3-4.12.4 depends on file: /usr/local/bin/python3.9 - not found ===> Installing existing package /packages/All/python39-3.9.18_1.pkg [main-i386-default-job-03] Installing python39-3.9.18_1... [main-i386-default-job-03] `-- Installing gettext-runtime-0.22.3_1... [main-i386-default-job-03] | `-- Installing indexinfo-0.3.1... [main-i386-default-job-03] | `-- Extracting indexinfo-0.3.1: .... done Compiling 'src/api/python/z3/z3rcf.py'... Compiling 'src/api/python/z3/z3types.py'... Compiling 'src/api/python/z3/z3util.py'... Generated python bytecode Copied 'z3printer.py' Copied '__init__.py' Copied 'z3util.py' Copied 'z3rcf.py' Copied 'z3num.py' Copied 'z3consts.py' Copied 'z3types.py' Copied 'z3core.py' Copied 'z3.py' Copied 'z3poly.py' Copied 'z3util.cpython-39.pyc' Copied 'z3printer.cpython-39.pyc' Copied 'z3core.cpython-39.pyc' Copied 'z3poly.cpython-39.pyc' Copied 'z3types.cpython-39.pyc' Copied 'z3num.cpython-39.pyc' Copied 'z3consts.cpython-39.pyc' Copied 'z3.cpython-39.pyc' Copied '__init__.cpython-39.pyc' Copied 'z3rcf.cpython-39.pyc' Testing ar... Testing c++... Testing cc... Testing floating point support... Host platform: FreeBSD C++ Compiler: c++ C Compiler : cc Archive Tool: ar Arithmetic: internal Prefix: /usr/local 64-bit: False FP math: SSE2-EMSCRIPTEN Python pkg dir: /usr/local/lib/python3.9/site-packages Python version: 3.9 Writing build/Makefile Copied Z3Py example 'visitor.py' to 'build/python' Copied Z3Py example 'all_interval_series.py' to 'build/python' Copied Z3Py example 'socrates.py' to 'build/python' Copied Z3Py example 'trafficjam.py' to 'build/python' Copied Z3Py example 'simplify_formula.py' to 'build/python' Copied Z3Py example 'rc2.py' to 'build/python' Copied Z3Py example 'example.py' to 'build/python' Copied Z3Py example 'parallel.py' to 'build/python' Copied Z3Py example 'proofreplay.py' to 'build/python' Copied Z3Py example 'prooflogs.py' to 'build/python' Copied Z3Py example 'hs.py' to 'build/python' Copied Z3Py example 'efsmt.py' to 'build/python' Copied Z3Py example 'mini_ic3.py' to 'build/python' Copied Z3Py example 'union_sort.py' to 'build/python' Copied Z3Py example 'mini_quip.py' to 'build/python' Makefile was successfully generated. compilation mode: Release Type 'cd build; make' to build Z3 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for z3-4.12.4 --- util/z3_exception.h.node --- --- util/error_codes.h.node --- --- util/warning.h.node --- --- util/mutex.h.node --- --- util/scoped_numeral.h.node --- --- util/optional.h.node --- --- util/trace.h.node --- --- util/machine.h.node --- --- util/obj_ref.h.node --- --- util/ref.h.node --- --- ast/reg_decl_plugins.h.node --- --- util/common_msgs.h.node --- --- util/ema.h.node --- --- util/visit_helper.h.node --- --- sat/sat_justification.h.node --- --- sat/sat_mus.h.node --- --- shell/drat_frontend.h.node --- --- shell/smtlib_frontend.h.node --- --- shell/z3_log_frontend.h.node --- --- util/z3_version.h.node --- --- shell/dimacs_frontend.h.node --- --- shell/datalog_frontend.h.node --- --- shell/opt_frontend.h.node --- --- util/timeout.h.node --- --- util/file_path.h.node --- --- util/env_params.h.node --- --- api/z3_macros.h.node --- --- api/z3_api.h.node --- --- api/z3_ast_containers.h.node --- --- api/z3_algebraic.h.node --- --- api/z3_polynomial.h.node --- --- api/z3_rcf.h.node --- --- api/z3_fixedpoint.h.node --- --- api/z3_optimization.h.node --- --- api/z3_fpa.h.node --- --- api/z3_spacer.h.node --- --- util/event_handler.h.node --- --- util/sign.h.node --- --- solver/progress_callback.h.node --- --- cmd_context/extra_cmds/dbg_cmds.h.node --- --- cmd_context/extra_cmds/proof_cmds.h.node --- --- smt/smt_failure.h.node --- --- params/bit_blaster_params.h.node --- --- util/approx_nat.h.node --- --- smt/smt_statistics.h.node --- --- ast/expr_delta_pair.h.node --- --- util/basic_interval.h.node --- --- cmd_context/extra_cmds/polynomial_cmds.h.node --- --- cmd_context/extra_cmds/subpaving_cmds.h.node --- --- smt/smt2_extra_cmds.h.node --- --- util/container_util.h.node --- --- opt/opt_parse.h.node --- --- model/model_pp.h.node --- --- tactic/arith/probe_arith.h.node --- --- tactic/core/der_tactic.h.node --- --- ast/simplifiers/reduce_args_simplifier.h.node --- --- tactic/smtlogics/nra_tactic.h.node --- --- solver/smt_logics.h.node --- --- ast/well_sorted.h.node --- --- util/stream_buffer.h.node --- --- model/model_v2_pp.h.node --- --- util/dec_ref_util.h.node --- --- cmd_context/cmd_util.h.node --- --- math/subpaving/subpaving_types.h.node --- --- ast/ast_lt.h.node --- --- cmd_context/simplify_cmd.h.node --- --- solver/mus.h.node --- --- opt/opt_lns.h.node --- --- opt/maxcore.h.node --- --- math/simplex/simplex_def.h.node --- --- opt/maxlex.h.node --- --- solver/parallel_tactical.h.node --- --- util/ref_util.h.node --- --- muz/spacer/spacer_cluster.h.node --- --- muz/spacer/spacer_legacy_frames.h.node --- --- util/timeit.h.node --- --- util/luby.h.node --- --- ast/has_free_vars.h.node --- --- qe/qe_cmd.h.node --- --- math/interval/mod_interval.h.node --- --- tactic/goal_util.h.node --- --- math/lp/indexed_value.h.node --- --- util/ext_gcd.h.node --- --- math/lp/general_matrix.h.node --- --- math/lp/lia_move.h.node --- --- util/sstream.h.node --- --- math/lp/nla_monotone_lemmas.h.node --- --- math/lp/nla_types.h.node --- --- util/stats.h.node --- --- ast/expr_stat.h.node --- --- smt/theory_dl.h.node --- --- tactic/core/collect_occs.h.node --- --- ast/pattern/database.h.node --- --- cmd_context/basic_cmds.h.node --- --- cmd_context/cmd_context_to_goal.h.node --- --- cmd_context/echo_tactic.h.node --- --- cmd_context/eval_cmd.h.node --- --- sat/sat_cutset_compute_shift.h.node --- --- util/array.h.node --- --- math/polynomial/polynomial_primes.h.node --- --- math/polynomial/linear_eq_solver.h.node --- --- util/bit_util.h.node --- --- util/luby.o --- --- api/dll/dll.o --- --- util/memory_manager.h.node --- src/util/luby.cpp --- api/dll/dll.o --- src/api/dll/dll.cpp --- util/debug.h.node --- --- util/tptr.h.node --- --- util/common_msgs.o --- src/util/common_msgs.cpp c++: error: unsupported option '-msimd128' for target 'i386-unknown-freebsd15.0' --- api/dll/dll.o --- c++: error: unsupported option '-msimd128' for target 'i386-unknown-freebsd15.0' --- util/luby.o --- c++: error: unsupported option '-msimd128' for target 'i386-unknown-freebsd15.0' --- api/dll/dll.o --- *** [api/dll/dll.o] Error code 1 make[1]: stopped in /wrkdirs/usr/ports/math/z3/work/z3-z3-4.12.4/build --- util/common_msgs.o --- *** [util/common_msgs.o] Error code 1 make[1]: stopped in /wrkdirs/usr/ports/math/z3/work/z3-z3-4.12.4/build --- util/luby.o --- *** [util/luby.o] Error code 1 make[1]: stopped in /wrkdirs/usr/ports/math/z3/work/z3-z3-4.12.4/build make[1]: 3 errors make[1]: stopped in /wrkdirs/usr/ports/math/z3/work/z3-z3-4.12.4/build ===> Compilation failed unexpectedly. Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to the maintainer. *** Error code 1 Stop. make: stopped in /usr/ports/math/z3