Date: Mon, 17 Dec 2018 05:06:18 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - head-armv7-default][math/cvc4] Failed for cvc4-1.6_2 in configure/runaway Message-ID: <201812170506.wBH56Itg097316@beefy16.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: greg@unrelenting.technology Last committer: jbeich@FreeBSD.org Ident: $FreeBSD: head/math/cvc4/Makefile 487266 2018-12-12 00:15:49Z jbeich $ Log URL: http://beefy16.nyi.freebsd.org/data/head-armv7-default/p487477_s342105/logs/cvc4-1.6_2.log Build URL: http://beefy16.nyi.freebsd.org/build.html?mastername=head-armv7-default&build=p487477_s342105 Log: =>> Building math/cvc4 build started at Sun Dec 16 22:28:11 UTC 2018 port directory: /usr/ports/math/cvc4 package name: cvc4-1.6_2 building for: FreeBSD head-armv7-default-job-03 13.0-CURRENT FreeBSD 13.0-CURRENT 1300005 arm maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: head/math/cvc4/Makefile 487266 2018-12-12 00:15:49Z jbeich $ Poudriere version: 3.2.8 Host OSVERSION: 1300002 Jail OSVERSION: 1300005 Job Id: 03 !!! Jail is newer than host. (Jail: 1300005, Host: 1300002) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_p=armv7 UNAME_m=arm ABI_FILE=/usr/lib/crt1.o OSVERSION=1300005 UNAME_v=FreeBSD 13.0-CURRENT 1300005 UNAME_r=13.0-CURRENT 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 QEMU_EMULATING=1 USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8 MASTERMNT=/usr/local/poudriere/data/.m/head-armv7-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/head-armv7-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=head-armv7-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/head-armv7-default/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= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for cvc4-1.6_2: CRYPTOMINISAT=on: Use CryptoMiniSat as the SAT solver DEBUG=off: Build with debugging support JAVA=off: Java platform support READLINE=on: Command line editing via libreadline ====> Options available for the radio NUMLIB: you can only select none or one of them GMP=on: Use GMP numeric library CLN=off: Use CLN numeric library (disables portfolio mode) ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- greg@unrelenting.technology --End MAINTAINER-- --CONFIGURE_ARGS-- --disable-dependency-tracking --with-swig=/usr/local/bin/swig3.0 ANTLR=/usr/local/bin/antlr3 --without-cln --with-cryptominisat --with-cryptominisat-dir=/usr/local --with-build=production --with-gmp --with-portfolio --enable-language-bindings=c,c++ --with-readline --enable-gpl --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake PYTHON="/usr/local/bin/python3.6" PKG_CONFIG=pkgconf XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc4/work HOME=/wrkdirs/usr/ports/math/cvc4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc4/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/usr/local/bin/bash CONFIG_SHELL=/usr/local/bin/bash CMAKE_PREFIX_PATH="/usr/local" CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc4/work HOME=/wrkdirs/usr/ports/math/cvc4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc4/work/.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 PREFIX=/usr/local LOCALBASE=/usr/local CC="clang60" CFLAGS="-O2 -pipe -isystem /usr/local/include -fno-strict-aliasing " CPP="/nxb-bin/usr/bin/cpp" CPPFLAGS="-I/usr/local/include -isystem /usr/local/include" LDFLAGS=" -L/usr/local/lib " LIBS="-L/usr/local/lib" CXX="clang++60" CXXFLAGS="-O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " 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-- CLN="@comment " NO_CLN="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " DEBUG="@comment " NO_DEBUG="" GMP="" NO_GMP="@comment " JAVA="@comment " NO_JAVA="" READLINE="" NO_READLINE="@comment " JAVASHAREDIR="share/java" JAVAJARDIR="share/java/classes" PYTHON_INCLUDEDIR=include/python3.6m PYTHON_LIBDIR=lib/python3.6 PYTHON_PLATFORM=freebsd13 PYTHON_PYOEXTENSION=opt-1.pyc PYTHON_SITELIBDIR=lib/python3.6/site-packages PYTHON_SUFFIX=36 PYTHON_VER=3.6 PYTHON_VERSION=python3.6 PYTHON2="@comment " PYTHON3="" OSREL=13.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cvc4" EXAMPLESDIR="share/examples/cvc4" DATADIR="share/cvc4" WWWDIR="www/cvc4" ETCDIR="etc/cvc4" --End PLIST_SUB-- --SUB_LIST-- CLN="@comment " NO_CLN="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " DEBUG="@comment " NO_DEBUG="" GMP="" NO_GMP="@comment " JAVA="@comment " NO_JAVA="" READLINE="" NO_READLINE="@comment " JAVASHAREDIR="/usr/local/share/java" JAVAJARDIR="/usr/local/share/java/classes" JAVALIBDIR="/usr/local/share/java/classes" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cvc4 DOCSDIR=/usr/local/share/doc/cvc4 EXAMPLESDIR=/usr/local/share/examples/cvc4 WWWDIR=/usr/local/www/cvc4 ETCDIR=/usr/local/etc/cvc4 --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 PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=arm MACHINE_ARCH=armv7 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 # 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_9d218390=FreeBSD clang version 7.0.1 (branches/release_70 348686) (based on LLVM 7.0.1) Target: armv7-unknown-freebsd13.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _ALTCCVERSION_9d218390=none _CXXINTERNAL_9c45a5b1=FreeBSD clang version 7.0.1 (branches/release_70 348686) (based on LLVM 7.0.1) Target: armv7-unknown-freebsd13.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin "/nxb-bin/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_9d218390_58173849=yes CC_OUTPUT_9d218390_9bdba57c=yes CC_OUTPUT_9d218390_6a4fe7f5=yes CC_OUTPUT_9d218390_6bcac02b=yes CC_OUTPUT_9d218390_67d20829=yes CC_OUTPUT_9d218390_bfa62e83=yes CC_OUTPUT_9d218390_f0b4d593=yes CC_OUTPUT_9d218390_308abb44=yes CC_OUTPUT_9d218390_f00456e5=yes CC_OUTPUT_9d218390_65ad290d=yes CC_OUTPUT_9d218390_f2776b26=yes CC_OUTPUT_9d218390_b2657cc3=yes CC_OUTPUT_9d218390_380987f7=yes CC_OUTPUT_9d218390_160933ec=yes CC_OUTPUT_9d218390_fb62803b=yes _OBJC_CCVERSION_9d218390=FreeBSD clang version 7.0.1 (branches/release_70 348686) (based on LLVM 7.0.1) Target: armv7-unknown-freebsd13.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _OBJC_ALTCCVERSION_9d218390=none ARCH=armv7 OPSYS=FreeBSD _OSRELEASE=13.0-CURRENT OSREL=13.0 OSVERSION=1300005 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--- ---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 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--- --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) 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 GPLv3 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> cvc4-1.6_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz <snip> checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether clang++60 accepts -g... yes checking whether clang++60 supports C++11 features by default... yes checking for requested build profile... production checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports the include directive... yes (GNU style) checking how to create a pax tar archive... gnutar checking dependency style of clang++60... none checking how to print strings... printf checking for gcc... clang60 checking whether we are using the GNU C compiler... yes checking whether clang60 accepts -g... yes checking for clang60 option to accept ISO C89... none needed checking whether clang60 understands -c and -o together... yes checking dependency style of clang60... none checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by clang60... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm checking the name lister (/usr/bin/nm) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking how to convert armv7-portbld-freebsd13.0 file names to armv7-portbld-freebsd13.0 format... func_convert_file_noop checking how to convert armv7-portbld-freebsd13.0 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... no checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm output from clang60 object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... /nxb-bin/usr/bin/cpp checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if clang60 supports -fno-rtti -fno-exceptions... yes checking for clang60 option to produce PIC... -fPIC -DPIC checking if clang60 PIC flag -fPIC -DPIC works... yes checking if clang60 static flag -static works... yes checking if clang60 supports -c -o file.o... yes checking if clang60 supports -c -o file.o... (cached) yes checking whether the clang60 linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... freebsd13.0 ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... clang++60 -E checking for ld used by clang++60... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the clang++60 linker (/usr/bin/ld) supports shared libraries... yes checking for clang++60 option to produce PIC... -fPIC -DPIC checking if clang++60 PIC flag -fPIC -DPIC works... yes checking if clang++60 static flag -static works... yes checking if clang++60 supports -c -o file.o... yes checking if clang++60 supports -c -o file.o... (cached) yes checking whether the clang++60 linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... freebsd13.0 ld.so checking how to hardcode library paths into programs... immediate checking for gcc... (cached) clang60 checking whether we are using the GNU C compiler... (cached) yes checking whether clang60 accepts -g... (cached) yes checking for clang60 option to accept ISO C89... (cached) none needed checking whether clang60 understands -c and -o together... (cached) yes checking dependency style of clang60... (cached) none checking whether we are using the GNU C++ compiler... (cached) yes checking whether clang++60 accepts -g... (cached) yes checking whether C++ exceptions work... yes checking for __gmpz_init in -lgmp... yes checking gmpxx.h usability... yes checking gmpxx.h presence... yes checking for gmpxx.h... yes checking for appropriate build string... production checking what dir to configure... builds/armv7-portbld-freebsd13.0/production ./config/mkbuilddir armv7-portbld-freebsd13.0 production configure: Setting up builds/armv7-portbld-freebsd13.0/production... configure: Creating builds/current... configure: Linking builds/src... configure: Linking builds/test... cd builds/armv7-portbld-freebsd13.0/production /usr/local/bin/bash ../../../configure --disable-dependency-tracking --with-swig=/usr/local/bin/swig3.0 ANTLR=/usr/local/bin/antlr3 --without-cln --with-cryptominisat --with-cryptominisat-dir=/usr/local --with-build=production --with-gmp --with-portfolio --enable-language-bindings=c,c++ --with-readline CVC4_BSD_LICENSED_CODE_ONLY=0 --prefix=/usr/local --localstatedir=/var --mandir=/usr/local/man --disable-silent-rules --infodir=/usr/local/share/info/ --build=armv7-portbld-freebsd13.0 : loading site script /usr/ports/Templates/config.site checking whether gmake supports nested variables... yes checking whether to enable maintainer-specific portions of Makefiles... yes checking build system type... armv7-portbld-freebsd13.0 checking host system type... armv7-portbld-freebsd13.0 checking target system type... armv7-portbld-freebsd13.0 checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether clang++60 accepts -g... yes checking whether clang++60 supports C++11 features by default... yes checking for requested build profile... production checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports the include directive... yes (GNU style) checking how to create a pax tar archive... gnutar checking dependency style of clang++60... none checking how to print strings... printf checking for gcc... clang60 checking whether we are using the GNU C compiler... yes checking whether clang60 accepts -g... yes checking for clang60 option to accept ISO C89... none needed checking whether clang60 understands -c and -o together... yes checking dependency style of clang60... none checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by clang60... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm checking the name lister (/usr/bin/nm) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking how to convert armv7-portbld-freebsd13.0 file names to armv7-portbld-freebsd13.0 format... func_convert_file_noop checking how to convert armv7-portbld-freebsd13.0 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... no checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm output from clang60 object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... /nxb-bin/usr/bin/cpp checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if clang60 supports -fno-rtti -fno-exceptions... yes checking for clang60 option to produce PIC... -fPIC -DPIC checking if clang60 PIC flag -fPIC -DPIC works... yes checking if clang60 static flag -static works... yes checking if clang60 supports -c -o file.o... yes checking if clang60 supports -c -o file.o... (cached) yes checking whether the clang60 linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... freebsd13.0 ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... clang++60 -E checking for ld used by clang++60... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the clang++60 linker (/usr/bin/ld) supports shared libraries... yes checking for clang++60 option to produce PIC... -fPIC -DPIC checking if clang++60 PIC flag -fPIC -DPIC works... yes checking if clang++60 static flag -static works... =>> Killing runaway build after 21600 seconds with no output
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812170506.wBH56Itg097316>