From owner-freebsd-pkg-fallout@freebsd.org Sat Apr 30 20:09:30 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 ED5ACB226CB for ; Sat, 30 Apr 2016 20:09:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id DCA6B14A3 for ; Sat, 30 Apr 2016 20:09:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id D8519B226CA; Sat, 30 Apr 2016 20:09:30 +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 D7EBAB226C9 for ; Sat, 30 Apr 2016 20:09:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy8.nyi.freebsd.org (beefy8.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:eb]) (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 B4D6D14A2 for ; Sat, 30 Apr 2016 20:09:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy8.nyi.freebsd.org (localhost [127.0.0.1]) by beefy8.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id u3UK9TuM075016 for ; Sat, 30 Apr 2016 20:09:29 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy8.nyi.freebsd.org (8.15.2/8.15.2/Submit) id u3UK9Tij075015; Sat, 30 Apr 2016 20:09:29 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 30 Apr 2016 20:09:29 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201604302009.u3UK9Tij075015@beefy8.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 30 Apr 2016 20:09:31 -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: mat@FreeBSD.org Ident: $FreeBSD: head/math/z3/Makefile 412348 2016-04-01 14:16:16Z mat $ Log URL: http://beefy8.nyi.freebsd.org/data/head-mips64-default/p413605_s298221/logs/z3-4.4.0.log Build URL: http://beefy8.nyi.freebsd.org/build.html?mastername=head-mips64-default&build=p413605_s298221 Log: ====>> Building math/z3 build started at Sat Apr 30 20:00:14 UTC 2016 port directory: /usr/ports/math/z3 building for: FreeBSD head-mips64-default-job-04 11.0-CURRENT FreeBSD 11.0-CURRENT r298221 mips maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/z3/Makefile 412348 2016-04-01 14:16:16Z mat $ Poudriere version: 3.1.12 Host OSVERSION: 1100102 Jail OSVERSION: 1100105 !!! Jail is newer than host. (Jail: 1100105, Host: 1100102) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_p=mips64 UNAME_m=mips ABI_FILE=/usr/lib/crt1.o UNAME_v=FreeBSD 11.0-CURRENT r298221 UNAME_r=11.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=mips64 LINUX_OSRELEASE=2.6.32 SAVED_TERM=screen QEMU_EMULATING=1 MASTERMNT=/usr/local/poudriere/data/.m/head-mips64-default/ref 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-CURRENT PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=24 PWD=/usr/local/poudriere/data/.m/head-mips64-default/ref/.p/pool MASTERNAME=head-mips64-default SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.12 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=1100105 ---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 WITHOUT_DEBUG_FILES=yes WITHOUT_KERNEL_SYMBOLS=yes 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--- 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 NM=/nxb-bin/usr/bin/nm MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex 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 NM=/nxb-bin/usr/bin/nm MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex 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 NM=/nxb-bin/usr/bin/nm MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex 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 NM=/nxb-bin/usr/bin/nm MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex CC=/nxb-bin/usr/bin/cc CPP=/nxb-bin/usr/bin/cpp 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