Date: Tue, 25 Dec 2018 04:13:44 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - 120powerpc64-quarterly][math/py-z3-solver] Failed for py27-z3-solver-4.7.1 in build Message-ID: <201812250413.wBP4DiXu089758@pylon.nyi.freebsd.org>
next in thread | raw e-mail | index | archive | help
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: yuri@FreeBSD.org Last committer: yuri@FreeBSD.org Ident: $FreeBSD: branches/2018Q4/math/py-z3-solver/Makefile 475913 2018-07-30 20:17:04Z yuri $ Log URL: http://pylon.nyi.freebsd.org/data/120powerpc64-quarterly/488287/logs/py27-z3-solver-4.7.1.log Build URL: http://pylon.nyi.freebsd.org/build.html?mastername=120powerpc64-quarterly&build=488287 Log: =>> Building math/py-z3-solver build started at Tue Dec 25 04:13:17 UTC 2018 port directory: /usr/ports/math/py-z3-solver package name: py27-z3-solver-4.7.1 building for: FreeBSD 120powerpc64-quarterly-job-03 12.0-RELEASE-p1 FreeBSD 12.0-RELEASE-p1 1200086 powerpc maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2018Q4/math/py-z3-solver/Makefile 475913 2018-07-30 20:17:04Z yuri $ Poudriere version: 3.2.8 Host OSVERSION: 1300005 Jail OSVERSION: 1200086 Job Id: 03 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p1 1200086 UNAME_r=12.0-RELEASE-p1 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8 MASTERMNT=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120powerpc64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR=py27 DEPENDS_ARGS= MAKE_ARGS= FLAVOR=py27 ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python2.7" XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py27/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py27 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py27/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LDSHARED="cc -shared" PYTHONDONTWRITEBYTECODE= PYTHONOPTIMIZE= PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing " MANPREFIX="/usr/local" 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-- PYTHON_INCLUDEDIR=include/python2.7 PYTHON_LIBDIR=lib/python2.7 PYTHON_PLATFORM=freebsd12 PYTHON_PYOEXTENSION=pyo PYTHON_SITELIBDIR=lib/python2.7/site-packages PYTHON_SUFFIX=27 PYTHON_VER=2.7 PYTHON_VERSION=python2.7 PYTHON2="" PYTHON3="@comment " OSREL=12.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/z3-solver" EXAMPLESDIR="share/examples/z3-solver" DATADIR="share/z3-solver" WWWDIR="www/z3-solver" ETCDIR="etc/z3-solver" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/z3-solver DOCSDIR=/usr/local/share/doc/z3-solver EXAMPLESDIR=/usr/local/share/examples/z3-solver WWWDIR=/usr/local/www/z3-solver ETCDIR=/usr/local/etc/z3-solver --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 #### /usr/local/etc/poudriere.d/make.conf #### # 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 2 jobs MAKE_JOBS_NUMBER=2 # stable/10 includes src.conf too late but make.conf is in sys.mk .if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*} # Disable build of llib now that head no longer has lint(1) LINT= true .endif #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=cc (GCC) 4.2.1 20070831 patched [FreeBSD] Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=Using built-in specs. Target: powerpc64-undermydesk-freebsd Configured with: FreeBSD/powerpc64 system compiler Thread model: posix gcc version 4.2.1 20070831 patched [FreeBSD] "/usr/bin/ld" "--eh-frame-hdr" "-Qy" "-melf64ppc_fbsd" "--enable-new-dtags" "-dynamic-linker" "/libexec/ld-elf.so.1" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "-L/usr/lib" "/dev/null" "-lstdc++" "-lm" "-lgcc_s" "-lgcc" "-lc" "-lgcc_s" "-lgcc" "/usr/lib/crtsavres.o" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=cc1: error: unrecognized command line option "-std=c11" CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=cc1: error: unrecognized command line option "-std=gnu11" CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=cc1plus: error: unrecognized command line option "-std=c++0x" CC_OUTPUT_921dbbb2_f00456e5=cc1plus: error: unrecognized command line option "-std=c++11" CC_OUTPUT_921dbbb2_65ad290d=cc1plus: error: unrecognized command line option "-std=c++14" CC_OUTPUT_921dbbb2_f2776b26=cc1plus: error: unrecognized command line option "-std=c++17" CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=cc1plus: error: unrecognized command line option "-std=gnu++11" CC_OUTPUT_921dbbb2_160933ec=cc1plus: error: unrecognized command line option "-std=gnu++14" CC_OUTPUT_921dbbb2_fb62803b=cc1plus: error: unrecognized command line option "-std=gnu++17" _OBJC_CCVERSION_921dbbb2=cc (GCC) 4.2.1 20070831 patched [FreeBSD] Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc64 OPSYS=FreeBSD _OSRELEASE=12.0-RELEASE-p1 OSREL=12.0 OSVERSION=1200086 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=262144 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---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) 19544 open files (-n) 1024 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-- =======================<phase: check-sanity >============================ ===> License MIT accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> py27-z3-solver-4.7.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120powerpc64-quarterly-job-03] Installing pkg-1.10.5_5... [120powerpc64-quarterly-job-03] Extracting pkg-1.10.5_5: .......... done ===> py27-z3-solver-4.7.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py27-z3-solver-4.7.1 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-z3-solver-4.7.1 for building =========================================================================== =======================<phase: checksum >============================ ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-z3-solver-4.7.1 for building => SHA256 Checksum OK for Z3Prover-z3-z3-4.7.1_GH0.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ =========================================================================== =======================<phase: extract >============================ ===> License MIT accepted by the user ===> Fetching all distfiles required by py27-z3-solver-4.7.1 for building ===> Extracting for py27-z3-solver-4.7.1 => SHA256 Checksum OK for Z3Prover-z3-z3-4.7.1_GH0.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ =========================================================================== =======================<phase: patch >============================ ===> Patching for py27-z3-solver-4.7.1 ===> Applying FreeBSD patches for py27-z3-solver-4.7.1 =========================================================================== =======================<phase: build-depends >============================ ===> py27-z3-solver-4.7.1 depends on package: py27-setuptools>0 - not found ===> Installing existing package /packages/All/py27-setuptools-40.0.0.txz [120powerpc64-quarterly-job-03] Installing py27-setuptools-40.0.0... [120powerpc64-quarterly-job-03] `-- Installing python27-2.7.15... [120powerpc64-quarterly-job-03] | `-- Installing gettext-runtime-0.19.8.1_1... [120powerpc64-quarterly-job-03] | | `-- Installing indexinfo-0.3.1... [120powerpc64-quarterly-job-03] | | `-- Extracting indexinfo-0.3.1: .... done [120powerpc64-quarterly-job-03] | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done [120powerpc64-quarterly-job-03] | `-- Installing libffi-3.2.1_2... [120powerpc64-quarterly-job-03] | `-- Extracting libffi-3.2.1_2: .......... done [120powerpc64-quarterly-job-03] | `-- Installing readline-7.0.3_1... [120powerpc64-quarterly-job-03] | `-- Extracting readline-7.0.3_1: .......... done [120powerpc64-quarterly-job-03] `-- Extracting python27-2.7.15: .......... done [120powerpc64-quarterly-job-03] Extracting py27-setuptools-40.0.0: .......... done <snip> =========================================================================== ===> py27-z3-solver-4.7.1 depends on package: py27-setuptools>0 - found ===> Returning to build of py27-z3-solver-4.7.1 ===> py27-z3-solver-4.7.1 depends on file: /usr/local/bin/python2.7 - found =========================================================================== =======================<phase: lib-depends >============================ =========================================================================== =======================<phase: configure >============================ ===> Configuring for py27-z3-solver-4.7.1 running config =========================================================================== =======================<phase: build >============================ ===> Building for py27-z3-solver-4.7.1 running build Configuring Z3 New component: 'util' New component: 'lp' New component: 'polynomial' New component: 'sat' New component: 'nlsat' New component: 'hilbert' New component: 'simplex' New component: 'automata' New component: 'interval' New component: 'realclosure' New component: 'subpaving' New component: 'ast' New component: 'rewriter' New component: 'macros' New component: 'normal_forms' New component: 'model' New component: 'tactic' New component: 'substitution' New component: 'parser_util' New component: 'grobner' New component: 'euclid' New component: 'core_tactics' New component: 'sat_tactic' New component: 'arith_tactics' New component: 'nlsat_tactic' New component: 'subpaving_tactic' New component: 'aig_tactic' New component: 'proofs' New component: 'solver' New component: 'ackermannization' New component: 'interp' New component: 'cmd_context' New component: 'extra_cmds' New component: 'smt2parser' New component: 'fpa' New component: 'pattern' New component: 'bit_blaster' New component: 'smt_params' New component: 'proto_model' New component: 'smt' New component: 'bv_tactics' New component: 'fuzzing' New component: 'smt_tactic' New component: 'sls_tactic' New component: 'qe' New component: 'duality' New component: 'muz' New component: 'dataflow' New component: 'transforms' New component: 'rel' New component: 'pdr' New component: 'spacer' New component: 'clp' New component: 'tab' New component: 'bmc' New component: 'ddnf' New component: 'duality_intf' New component: 'fp' New component: 'nlsat_smt_tactic' New component: 'ufbv_tactic' New component: 'sat_solver' New component: 'smtlogic_tactics' New component: 'fpa_tactics' New component: 'portfolio' New component: 'opt' New component: 'api' New component: 'shell' New component: 'test' New component: 'api_dll' New component: 'dotnet' New component: 'java' New component: 'ml' New component: 'cpp' Python bindings directory was detected. New component: 'python' New component: 'python_install' New component: 'cpp_example' New component: 'z3_tptp' New component: 'c_example' New component: 'maxsat' New component: 'dotnet_example' New component: 'java_example' New component: 'ml_example' New component: 'py_example' Generating src/util/version.h from src/util/version.h.in Generated 'src/util/version.h' Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in Generated 'src/opt/opt_params.hpp' Generated 'src/ast/pp_params.hpp' Generated 'src/ast/normal_forms/nnf_params.hpp' Generated 'src/ast/rewriter/bool_rewriter_params.hpp' Generated 'src/ast/rewriter/poly_rewriter_params.hpp' Generated 'src/ast/rewriter/rewriter_params.hpp' Generated 'src/ast/rewriter/array_rewriter_params.hpp' Generated 'src/ast/rewriter/bv_rewriter_params.hpp' Generated 'src/ast/rewriter/arith_rewriter_params.hpp' Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' Generated 'src/sat/sat_simplifier_params.hpp' Generated 'src/sat/sat_scc_params.hpp' Generated 'src/sat/sat_params.hpp' Generated 'src/sat/sat_asymm_branch_params.hpp' Generated 'src/model/model_params.hpp' Generated 'src/model/model_evaluator_params.hpp' Generated 'src/interp/interp_params.hpp' Generated 'src/muz/base/fixedpoint_params.hpp' Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp' Generated 'src/ackermannization/ackermannization_params.hpp' Generated 'src/nlsat/nlsat_params.hpp' Generated 'src/solver/combined_solver_params.hpp' Generated 'src/util/lp/lp_params.hpp' Generated 'src/tactic/sls/sls_params.hpp' Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp' Generated 'src/math/realclosure/rcf_params.hpp' Generated 'src/math/polynomial/algebraic_params.hpp' Generated 'src/smt/params/smt_params_helper.hpp' Generated 'src/parsers/util/parser_params.hpp' Generated 'src/ast/pattern/database.h' Generated 'src/shell/install_tactic.cpp' Generated 'src/test/install_tactic.cpp' Generated 'src/api/dll/install_tactic.cpp' Generated 'src/shell/mem_initializer.cpp' Generated 'src/test/mem_initializer.cpp' Generated 'src/api/dll/mem_initializer.cpp' Generated 'src/shell/gparams_register_modules.cpp' Generated 'src/test/gparams_register_modules.cpp' Generated 'src/api/dll/gparams_register_modules.cpp' Generated 'src/api/python/z3/z3consts.py Generated 'src/api/api_log_macros.h' Generated 'src/api/api_log_macros.cpp' Generated 'src/api/api_commands.cpp' Generated 'src/api/python/z3/z3core.py' Listing src/api/python/z3 ... Compiling src/api/python/z3/__init__.py ... Compiling src/api/python/z3/z3.py ... Compiling src/api/python/z3/z3consts.py ... Compiling src/api/python/z3/z3core.py ... Compiling src/api/python/z3/z3num.py ... Compiling src/api/python/z3/z3poly.py ... Compiling src/api/python/z3/z3printer.py ... 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 '__init__.py' Copied 'z3num.py' Copied 'z3util.py' Copied 'z3consts.py' Copied 'z3printer.py' Copied 'z3.py' Copied 'z3core.py' Copied 'z3rcf.py' Copied 'z3types.py' Copied 'z3poly.py' Copied 'z3core.pyc' Copied 'z3types.pyc' Copied 'z3printer.pyc' Copied 'z3num.pyc' Copied 'z3util.pyc' Copied 'z3consts.pyc' Copied 'z3rcf.pyc' Copied '__init__.pyc' Copied 'z3poly.pyc' Copied 'z3.pyc' Testing ar... Testing c++... Testing g++... Testing clang++... Traceback (most recent call last): File "/wrkdirs/usr/ports/math/py-z3-solver/work-py27/z3-z3-4.7.1/src/api/python/../../../scripts/mk_make.py", line 21, in <module> mk_makefile() File "/wrkdirs/usr/ports/math/py-z3-solver/work-py27/z3-z3-4.7.1/scripts/mk_util.py", line 2645, in mk_makefile mk_config() File "/wrkdirs/usr/ports/math/py-z3-solver/work-py27/z3-z3-4.7.1/scripts/mk_util.py", line 2461, in mk_config CXX = find_cxx_compiler() File "/wrkdirs/usr/ports/math/py-z3-solver/work-py27/z3-z3-4.7.1/scripts/mk_util.py", line 528, in find_cxx_compiler raise MKException('C++ compiler was not found. Try to set the environment variable CXX with the C++ compiler available in your system.') mk_exception.MKException: 'C++ compiler was not found. Try to set the environment variable CXX with the C++ compiler available in your system.' error: Unable to configure Z3. *** Error code 1 Stop. make: stopped in /usr/ports/math/py-z3-solver
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812250413.wBP4DiXu089758>