Date: Sat, 24 Nov 2018 10:55:07 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - 120armv7-quarterly][math/cvc4] Failed for cvc4-1.6_1 in stage/runaway Message-ID: <201811241055.wAOAt73Q049748@beefy13.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: branches/2018Q4/math/cvc4/Makefile 476723 2018-08-09 06:58:30Z jbeich $ Log URL: http://beefy13.nyi.freebsd.org/data/120armv7-quarterly/485554/logs/cvc4-1.6_1.log Build URL: http://beefy13.nyi.freebsd.org/build.html?mastername=120armv7-quarterly&build=485554 Log: =>> Building math/cvc4 build started at Fri Nov 23 22:45:20 UTC 2018 port directory: /usr/ports/math/cvc4 package name: cvc4-1.6_1 building for: FreeBSD 120armv7-quarterly-job-24 12.0-RC1 FreeBSD 12.0-RC1 1200086 arm maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: branches/2018Q4/math/cvc4/Makefile 476723 2018-08-09 06:58:30Z jbeich $ Poudriere version: 3.2.8 Host OSVERSION: 1300002 Jail OSVERSION: 1200086 Job Id: 24 ---Begin Environment--- SHELL=/bin/csh UNAME_p=armv7 UNAME_m=arm ABI_FILE=/usr/lib/crt1.o OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RC1 1200086 UNAME_r=12.0-RC1 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/120armv7-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120armv7-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120armv7-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120armv7-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= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for cvc4-1.6_1: 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=freebsd12 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=12.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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _ALTCCVERSION_9d218390=none _CXXINTERNAL_9c45a5b1=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _OBJC_ALTCCVERSION_9d218390=none ARCH=armv7 OPSYS=FreeBSD _OSRELEASE=12.0-RC1 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--- ---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_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120armv7-quarterly-job-24] Installing pkg-1.10.5_5... [120armv7-quarterly-job-24] Extracting pkg-1.10.5_5: .......... done ===> cvc4-1.6_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc4-1.6_1 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by cvc4-1.6_1 for building <snip> gmake[8]: Nothing to be done for 'install-exec-am'. gmake[8]: Nothing to be done for 'install-data-am'. gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/prop/bvminisat' gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/prop/bvminisat' Making install in . gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src' (cd "../../../.."; if test -e .git/HEAD; then if ! grep -q '^ref: refs/heads/' .git/HEAD; then echo; fi; sed 's,^ref: refs/heads/,,' .git/HEAD; git show-ref refs/heads/`sed 's,^ref: refs/heads/,,' .git/HEAD`; echo "Modifications: `test -z \"\`git status -s -uno\`\" && echo false || echo true`"; fi) >"gitinfo.tmp" 2>/dev/null || true if diff -q gitinfo.tmp gitinfo &>/dev/null; then rm -f gitinfo.tmp; else mv gitinfo.tmp gitinfo; fi || true (cd "../../../.." && svn info && echo "Modifications: `test -z \"\`svn status -q\`\" && echo false || echo true`") >"svninfo.tmp" 2>/dev/null || true if diff -q svninfo.tmp svninfo &>/dev/null; then rm -f svninfo.tmp; else mv svninfo.tmp svninfo; fi gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src' (cd "../../../.."; if test -e .git/HEAD; then if ! grep -q '^ref: refs/heads/' .git/HEAD; then echo; fi; sed 's,^ref: refs/heads/,,' .git/HEAD; git show-ref refs/heads/`sed 's,^ref: refs/heads/,,' .git/HEAD`; echo "Modifications: `test -z \"\`git status -s -uno\`\" && echo false || echo true`"; fi) >"gitinfo.tmp" 2>/dev/null || true if diff -q gitinfo.tmp gitinfo &>/dev/null; then rm -f gitinfo.tmp; else mv gitinfo.tmp gitinfo; fi || true (cd "../../../.." && svn info && echo "Modifications: `test -z \"\`svn status -q\`\" && echo false || echo true`") >"svninfo.tmp" 2>/dev/null || true if diff -q svninfo.tmp svninfo &>/dev/null; then rm -f svninfo.tmp; else mv svninfo.tmp svninfo; fi /bin/mkdir -p '/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib' /usr/local/bin/bash ../libtool --mode=install /usr/bin/install -c -s libcvc4.la '/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib' libtool: install: /usr/bin/install -c .libs/libcvc4.so.5.0.0 /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib/libcvc4.so.5.0.0 libtool: install: strip --strip-unneeded /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib/libcvc4.so.5.0.0 libtool: install: (cd /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib && { ln -s -f libcvc4.so.5.0.0 libcvc4.so.5 || { rm -f libcvc4.so.5 && ln -s libcvc4.so.5.0.0 libcvc4.so.5; }; }) libtool: install: (cd /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib && { ln -s -f libcvc4.so.5.0.0 libcvc4.so || { rm -f libcvc4.so && ln -s libcvc4.so.5.0.0 libcvc4.so; }; }) libtool: install: /usr/bin/install -c .libs/libcvc4.lai /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib/libcvc4.la libtool: warning: remember to run 'libtool --finish /usr/local/lib' (echo include/cvc4.h; \ echo include/cvc4_public.h; \ echo include/cvc4parser_public.h; \ echo util/floatingpoint.h; \ echo util/integer.h; \ echo util/rational.h; \ find * -name '*.h' | \ xargs grep -l '^# *include *"cvc4.*_public\.h"'; \ (cd "../../../../src" && find * -name '*.h' | \ xargs grep -l '^# *include *"cvc4.*_public\.h"')) | \ while read f; do \ if expr "$f" : ".*_\(template\|private\|private_library\|test_utils\)\.h$" &>/dev/null; then \ continue; \ fi; \ d="$(echo "$f" | sed 's,^include/,,')"; \ /usr/local/bin/bash /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/config/install-sh -d "$(dirname "/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/$d")"; \ if [ -e "$f" ]; then \ path="$f"; \ else \ path="../../../../src/$f"; \ fi; \ fixpath="../header_install.fix"; \ sed 's,^\([ \t]*#[ \t]*include[ \t*]\)"\(.*\)"\([ \t]*\)$,\1<cvc4/\2>\3,' "$path" > "$fixpath" || exit 1; \ echo install -m 0644 "$fixpath" "/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/$d"; \ if install -m 0644 "$fixpath" "/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/$d"; then \ rm -f "$fixpath"; \ else \ rm -f "$fixpath"; \ exit 1; \ fi; \ done install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4_public.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4parser_public.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/floatingpoint.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/integer.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/rational.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/kind.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr_manager.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/floatingpoint.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/base/listener.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/base/modal_exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/base/tls.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/base/exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/base/configuration.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/bindings/compat/c/c_interface_defs.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/bindings/compat/c/c_interface.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/compat/cvc3_compat.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/context/cdhashmap_forward.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/context/cdlist_forward.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/context/cdinsert_hashmap_forward.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/context/cdtrail_hashmap_forward.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/context/cdhashset_forward.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr_template.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/array_store_all.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/variable_type_map.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/symbol_table.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/kind_template.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr_stream.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/datatype.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/chain.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr_manager_template.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/uninterpreted_constant.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/emptyset.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/ascription_type.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/expr_iomanip.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/type.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/array.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/pickler.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/expr/record.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4_private.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4parser_public.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4parser_private.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/cvc4_private_library.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/printer_modes.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/datatypes_modes.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/simplification_mode.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/arith_propagation_mode.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/quantifiers_modes.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/sygus_out_mode.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/arith_heuristic_pivot_rule.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/arith_unate_lemma_mode.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/language.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/set_language.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/argument_extender.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/option_exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/options.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/options/theoryof_mode.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/parser/parser_exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/parser/parser_builder.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/parser/input.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/parser/parser.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/printer/sygus_print_callback.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/proof/unsat_core.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt/logic_exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt/smt_engine.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt/command.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt_util/lemma_input_channel.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt_util/lemma_channels.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/smt_util/lemma_output_channel.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/theory/theory_test_utils.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/theory/logic_info.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/channel.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/integer_gmp_imp.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/abstract_value.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/gmp_util.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/unsafe_interrupt_exception.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/divisible.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/integer_cln_imp.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/tuple.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/cardinality.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/regexp.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/maybe.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/hash.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/rational_cln_imp.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/rational_gmp_imp.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/result.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/proof.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/bitvector.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/sexpr.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/bool.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/statistics.h install -m 0644 ../header_install.fix /wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/include/cvc4/util/resource_manager.h gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src' gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src' Making install in parser gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' Making install in smt1 gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' /usr/local/bin/gmake install-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' gmake[10]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' gmake[10]: Nothing to be done for 'install-exec-am'. gmake[10]: Nothing to be done for 'install-data-am'. gmake[10]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' Making install in smt2 gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' /usr/local/bin/gmake install-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' gmake[10]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' gmake[10]: Nothing to be done for 'install-exec-am'. gmake[10]: Nothing to be done for 'install-data-am'. gmake[10]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' Making install in cvc gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' /usr/local/bin/gmake install-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' gmake[10]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' gmake[10]: Nothing to be done for 'install-exec-am'. gmake[10]: Nothing to be done for 'install-data-am'. gmake[10]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' Making install in tptp gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' /usr/local/bin/gmake install-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake[10]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake[10]: Nothing to be done for 'install-exec-am'. gmake[10]: Nothing to be done for 'install-data-am'. gmake[10]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' /bin/mkdir -p '/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib' /usr/local/bin/bash ../../libtool --mode=install /usr/bin/install -c -s libcvc4parser.la '/wrkdirs/usr/ports/math/cvc4/work/stage/usr/local/lib' libtool: warning: relinking 'libcvc4parser.la' libtool: install: (cd /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser; /usr/local/bin/bash "/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/libtool" --tag CXX --mode=relink clang++60 -Wall -Wno-unknown-pragmas -fvisibility=hidden -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -lantlr3c -no-undefined -version-info 5:0:0 -L/usr/local/lib -o libcvc4parser.la -rpath /usr/local/lib antlr_input.lo antlr_input_imports.lo antlr_line_buffered_input.lo bounded_token_buffer.lo bounded_token_factory.lo input.lo line_buffer.lo memory_mapped_input_buffer.lo parser.lo parser_builder.lo ./smt1/libparsersmt1.la ./smt2/libparsersmt2.la ./tptp/libparsertptp.la ./cvc/libparsercvc.la ./../libcvc4.la ./../lib/libreplacements.la -lgmp -lgmp -L/usr/local/lib -inst-prefix-dir /wrkdirs/usr/ports/math/cvc4/work/stage) libtool: relink: clang++60 -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o .libs/antlr_input.o .libs/antlr_input_imports.o .libs/antlr_line_buffered_input.o .libs/bounded_token_buffer.o .libs/bounded_token_factory.o .libs/input.o .libs/line_buffer.o .libs/memory_mapped_input_buffer.o .libs/parser.o .libs/parser_builder.o -Wl,--whole-archive ./smt1/.libs/libparsersmt1.a ./smt2/.libs/libparsersmt2.a ./tptp/.libs/libparsertptp.a ./cvc/.libs/libparsercvc.a ./../lib/.libs/libreplacements.a -Wl,--no-whole-archive -Wl,-rpath -Wl,/usr/local/lib -L/usr/local/lib -lantlr3c ./../.libs/libcvc4.so -lcryptominisat5 -lgmp -L/usr/lib -lc++ -lm -lc -lgcc -lgcc_s /usr/lib/crtendS.o /usr/lib/crtn.o -O2 -O3 -pthread -Wl,-soname -Wl,libcvc4parser.so.5 -o .libs/libcvc4parser.so.5.0.0 clang-6.0: warning: argument unused during compilation: '-pthread' [-Wunused-command-line-argument] =>> 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?201811241055.wAOAt73Q049748>