From owner-freebsd-pkg-fallout@freebsd.org Thu Nov 10 04:24:43 2016 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id DFB88C37D81 for ; Thu, 10 Nov 2016 04:24:43 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id CE25BFFA for ; Thu, 10 Nov 2016 04:24:43 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id CD82DC37D80; Thu, 10 Nov 2016 04:24:43 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id CD17EC37D7F for ; Thu, 10 Nov 2016 04:24:43 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy16.nyi.freebsd.org (beefy16.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:e3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id A0119FF9 for ; Thu, 10 Nov 2016 04:24:43 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy16.nyi.freebsd.org (localhost [127.0.0.1]) by beefy16.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id uAA4Og2M087808 for ; Thu, 10 Nov 2016 04:24:42 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy16.nyi.freebsd.org (8.15.2/8.15.2/Submit) id uAA4OgZm087807; Thu, 10 Nov 2016 04:24:42 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 10 Nov 2016 04:24:42 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201611100424.uAA4OgZm087807@beefy16.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 110mips64-quarterly][math/z3] Failed for z3-4.4.0 in build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 10 Nov 2016 04:24:44 -0000 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: 6yearold@gmail.com Last committer: swills@FreeBSD.org Ident: $FreeBSD: branches/2016Q4/math/z3/Makefile 413746 2016-04-21 16:43:14Z swills $ Log URL: http://beefy16.nyi.freebsd.org/data/110mips64-quarterly/425787/logs/z3-4.4.0.log Build URL: http://beefy16.nyi.freebsd.org/build.html?mastername=110mips64-quarterly&build=425787 Log: ====>> Building math/z3 build started at Thu Nov 10 04:23:12 UTC 2016 port directory: /usr/ports/math/z3 building for: FreeBSD 110mips64-quarterly-job-08 11.0-RELEASE-p3 FreeBSD 11.0-RELEASE-p3 r308202 mips maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: branches/2016Q4/math/z3/Makefile 413746 2016-04-21 16:43:14Z swills $ Poudriere version: 3.1.14 Host OSVERSION: 1200010 Jail OSVERSION: 1100122 ---Begin Environment--- SHELL=/bin/csh UNAME_p=mips64 UNAME_m=mips ABI_FILE=/usr/lib/crt1.o UNAME_v=FreeBSD 11.0-RELEASE-p3 r308202 UNAME_r=11.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=mips64 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/110mips64-quarterly/ref QEMU_EMULATING=1 UID=0 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ POUDRIERE_BUILD_TYPE=bulk PKGNAME=z3-4.4.0 OSREL=11.0 _OSRELEASE=11.0-RELEASE-p3 PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=28 PWD=/usr/local/poudriere/data/.m/110mips64-quarterly/ref/.p/pool MASTERNAME=110mips64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.14 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh CONFIGURE_MAX_CMD_LEN=262144 LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes _JAVA_OS_LIST_REGEXP=native\|linux OSVERSION=1100122 ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for z3-4.4.0: DEBUG=off: Build with debugging support STATIC=on: Build static z3 library ===> Use 'make config' to modify these settings ---End OPTIONS List--- --CONFIGURE_ARGS-- --staticlib --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python2.7" XDG_DATA_HOME=/wrkdirs/usr/ports/math/z3/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/z3/work HOME=/wrkdirs/usr/ports/math/z3/work TMPDIR="/tmp" 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 HOME=/wrkdirs/usr/ports/math/z3/work TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="/nxb-bin/usr/bin/cc" CFLAGS="-O2 -pipe -G0 -fno-strict-aliasing" CPP="/nxb-bin/usr/bin/cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="/nxb-bin/usr/bin/c++" CXXFLAGS="-O2 -pipe -G0 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" 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="" STATIC="" NO_STATIC="@comment " PYTHON_INCLUDEDIR=include/python2.7 PYTHON_LIBDIR=lib/python2.7 PYTHON_PLATFORM=freebsd11 PYTHON_SITELIBDIR=lib/python2.7/site-packages PYTHON_VER=2.7 PYTHON_VERSION=python2.7 OSREL=11.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" 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="" STATIC="" NO_STATIC="@comment " 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--- .sinclude "/etc/make.nxb.conf" USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MACHINE=mips MACHINE_ARCH=mips64 ARCH=${MACHINE_ARCH} #### /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 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- ---Begin make.nxb.conf--- CC=/nxb-bin/usr/bin/cc CPP=/nxb-bin/usr/bin/cpp CXX=/nxb-bin/usr/bin/c++ AS=/nxb-bin/usr/bin/as NM=/nxb-bin/usr/bin/nm LD=/nxb-bin/usr/bin/ld OBJCOPY=/nxb-bin/usr/bin/objcopy SIZE=/nxb-bin/usr/bin/size STRIPBIN=/nxb-bin/usr/bin/strip SED=/nxb-bin/usr/bin/sed READELF=/nxb-bin/usr/bin/readelf RANLIB=/nxb-bin/usr/bin/ranlib YACC=/nxb-bin/usr/bin/yacc MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex ---End make.nxb.conf--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> z3-4.4.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.8.txz [110mips64-quarterly-job-08] Installing pkg-1.8.8... [110mips64-quarterly-job-08] Extracting pkg-1.8.8: .......... done ===> z3-4.4.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of z3-4.4.0 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.4.0 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.4.0 for building => SHA256 Checksum OK for Z3Prover-z3-z3-4.4.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by z3-4.4.0 for building ===> Extracting for z3-4.4.0 => SHA256 Checksum OK for Z3Prover-z3-z3-4.4.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for z3-4.4.0 ===> Applying FreeBSD patches for z3-4.4.0 =========================================================================== =================================================== ===> z3-4.4.0 depends on file: /usr/local/bin/python2.7 - not found ===> Installing existing package /packages/All/python27-2.7.12.txz [110mips64-quarterly-job-08] Installing python27-2.7.12... [110mips64-quarterly-job-08] `-- Installing libffi-3.2.1... [110mips64-quarterly-job-08] | `-- Installing indexinfo-0.2.5... [110mips64-quarterly-job-08] | `-- Extracting indexinfo-0.2.5: .... done [110mips64-quarterly-job-08] `-- Extracting libffi-3.2.1: .......... done [110mips64-quarterly-job-08] `-- Installing gettext-runtime-0.19.8.1... [110mips64-quarterly-job-08] `-- Extracting gettext-runtime-0.19.8.1: .......... done [110mips64-quarterly-job-08] `-- Installing readline-6.3.8... [110mips64-quarterly-job-08] `-- Extracting readline-6.3.8: .......... done tkinter x11-toolkits/py-tkinter =========================================================================== ===> z3-4.4.0 depends on file: /usr/local/bin/python2.7 - found ===> Returning to build of z3-4.4.0 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for z3-4.4.0 opt = --staticlib, arg = New component: 'util' New component: 'polynomial' New component: 'sat' New component: 'nlsat' New component: 'hilbert' New component: 'interval' New component: 'realclosure' New component: 'subpaving' New component: 'ast' New component: 'rewriter' 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: 'solver' New component: 'interp' New component: 'cmd_context' New component: 'extra_cmds' New component: 'smt2parser' New component: 'proof_checker' New component: 'simplifier' New component: 'fpa' New component: 'macros' New component: 'pattern' New component: 'bit_blaster' New component: 'smt_params' New component: 'proto_model' New component: 'smt' New component: 'user_plugin' New component: 'bv_tactics' New component: 'fuzzing' New component: 'smt_tactic' New component: 'fpa_tactics' New component: 'sls_tactic' New component: 'qe' New component: 'duality' New component: 'muz' New component: 'transforms' New component: 'rel' New component: 'pdr' New component: 'clp' New component: 'tab' New component: 'bmc' New component: 'duality_intf' New component: 'fp' New component: 'smtlogic_tactics' New component: 'ufbv_tactic' New component: 'portfolio' New component: 'smtparser' 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: 'cpp_example' New component: 'iz3' 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' Generated 'src/util/version.h' Updated 'src/api/dotnet/Properties/AssemblyInfo' Generated 'src/ast/pp_params.hpp' Generated 'src/ast/rewriter/array_rewriter_params.hpp' Generated 'src/ast/rewriter/bv_rewriter_params.hpp' Generated 'src/ast/rewriter/poly_rewriter_params.hpp' Generated 'src/ast/rewriter/bool_rewriter_params.hpp' Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' Generated 'src/ast/rewriter/arith_rewriter_params.hpp' Generated 'src/ast/rewriter/rewriter_params.hpp' Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp' Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp' Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp' Generated 'src/ast/normal_forms/nnf_params.hpp' Generated 'src/sat/sat_params.hpp' Generated 'src/sat/sat_scc_params.hpp' Generated 'src/sat/sat_asymm_branch_params.hpp' Generated 'src/sat/sat_simplifier_params.hpp' Generated 'src/muz/base/fixedpoint_params.hpp' Generated 'src/nlsat/nlsat_params.hpp' Generated 'src/interp/interp_params.hpp' Generated 'src/smt/params/smt_params_helper.hpp' Generated 'src/tactic/sls/sls_params.hpp' Generated 'src/parsers/util/parser_params.hpp' Generated 'src/solver/combined_solver_params.hpp' Generated 'src/model/model_params.hpp' Generated 'src/model/model_evaluator_params.hpp' Generated 'src/math/polynomial/algebraic_params.hpp' Generated 'src/math/realclosure/rcf_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/z3consts.py' Generated 'src/api/dotnet/Enumerations.cs' Generated 'src/api/api_log_macros.h' Generated 'src/api/api_log_macros.cpp' Generated 'src/api/api_commands.cpp' Generated 'src/api/python/z3core.py' Generated 'src/api/dotnet/Native.cs' Listing src/api/python ... Compiling src/api/python/z3.py ... Compiling src/api/python/z3consts.py ... Compiling src/api/python/z3core.py ... Compiling src/api/python/z3num.py ... Compiling src/api/python/z3poly.py ... Compiling src/api/python/z3printer.py ... Compiling src/api/python/z3rcf.py ... Compiling src/api/python/z3test.py ... Compiling src/api/python/z3types.py ... Compiling src/api/python/z3util.py ... Copied 'z3printer.py' Copied 'z3test.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' Generated 'z3util.pyc' Generated 'z3printer.pyc' Generated 'z3poly.pyc' Generated 'z3.pyc' Generated 'z3test.pyc' Generated 'z3core.pyc' Generated 'z3rcf.pyc' Generated 'z3consts.pyc' Generated 'z3num.pyc' Generated 'z3types.pyc' Testing ar... Testing /nxb-bin/usr/bin/c++... Testing /nxb-bin/usr/bin/cc... Testing OpenMP... Host platform: FreeBSD C++ Compiler: /nxb-bin/usr/bin/c++ C Compiler : /nxb-bin/usr/bin/cc Arithmetic: internal OpenMP: True Prefix: /usr/local 64-bit: True Python version: 2.7 Writing build/Makefile Copied Z3Py example 'example.py' to 'build' Makefile was successfully generated. python packages dir: /usr/local/lib/python2.7/site-packages compilation mode: Release Type 'cd build; make' to build Z3 =========================================================================== =================================================== ===> Building for z3-4.4.0 /bin/mkdir -p /wrkdirs/usr/ports/math/z3/work/stage//usr/local/lib/python2.7/site-packages src/shell/main.cpp cc1plus: error: unrecognized command line option "-mfpmath=sse" cc1plus: error: unrecognized command line option "-msse" cc1plus: error: unrecognized command line option "-msse2" *** Error code 1 Stop. make[1]: stopped in /wrkdirs/usr/ports/math/z3/work/z3-z3-4.4.0/build *** Error code 1 Stop. make: stopped in /usr/ports/math/z3