From owner-freebsd-pkg-fallout@freebsd.org Wed Dec 12 04:27:23 2018 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id C9908132B41E for ; Wed, 12 Dec 2018 04:27:22 +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 616CA70F52 for ; Wed, 12 Dec 2018 04:27:22 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 25E37132B41D; Wed, 12 Dec 2018 04:27:22 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id E67C5132B41C for ; Wed, 12 Dec 2018 04:27:21 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 9871F70F50 for ; Wed, 12 Dec 2018 04:27:21 +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.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 875172A62 for ; Wed, 12 Dec 2018 04:27:21 +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 wBC4RLQn066480 for ; Wed, 12 Dec 2018 04:27:21 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy16.nyi.freebsd.org (8.15.2/8.15.2/Submit) id wBC4RLsC066479; Wed, 12 Dec 2018 04:27:21 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Wed, 12 Dec 2018 04:27:21 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201812120427.wBC4RLsC066479@beefy16.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - head-armv7-default][math/cvc4] Failed for cvc4-1.6_1 in configure/runaway X-Rspamd-Queue-Id: 9871F70F50 X-Spamd-Bar: / Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-0.86 / 15.00]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_SHORT(-0.86)[-0.859,0] X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 12 Dec 2018 04:27:23 -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: greg@unrelenting.technology Last committer: jbeich@FreeBSD.org Ident: $FreeBSD: head/math/cvc4/Makefile 476723 2018-08-09 06:58:30Z jbeich $ Log URL: http://beefy16.nyi.freebsd.org/data/head-armv7-default/p486908_s341712/logs/cvc4-1.6_1.log Build URL: http://beefy16.nyi.freebsd.org/build.html?mastername=head-armv7-default&build=p486908_s341712 Log: =>> Building math/cvc4 build started at Tue Dec 11 21:49:42 UTC 2018 port directory: /usr/ports/math/cvc4 package name: cvc4-1.6_1 building for: FreeBSD head-armv7-default-job-20 13.0-CURRENT FreeBSD 13.0-CURRENT 1300004 arm maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: head/math/cvc4/Makefile 476723 2018-08-09 06:58:30Z jbeich $ Poudriere version: 3.2.8 Host OSVERSION: 1300002 Jail OSVERSION: 1300004 Job Id: 20 !!! Jail is newer than host. (Jail: 1300004, 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=1300004 UNAME_v=FreeBSD 13.0-CURRENT 1300004 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_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=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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd13.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-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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.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=1300004 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-- =================================================== ===> License GPLv3 accepted by the user =========================================================================== =================================================== ===> cvc4-1.6_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz 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... 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... this one (in builds/) checking whether to build a static binary... no checking whether to support proofs in libcvc4... yes checking whether to optimize libcvc4... yes checking whether to include debugging symbols in libcvc4... no checking whether to enable Valgrind instrumentation... no checking whether to use the debug context memory manager... no checking whether to include statistics are turned on in libcvc4... yes checking whether the replay feature should be turned on in libcvc4... no checking whether to include assertions in build... no checking whether to do a traceable build of CVC4... no checking whether to do a dump-capable build of CVC4... yes checking whether to do a muzzled build of CVC4... no checking whether to do a gcov-enabled build of CVC4... no checking whether to do a profiling-enabled build of CVC4... no checking whether user requested glpk support... no, user didn't request glpk checking whether user requested abc support... no, user didn't request abc checking whether user requested CaDiCaL support... no, user didn't request CaDiCaL checking whether user requested cryptominisat support... yes, cryptominisat requested by user checking whether cryptominisat5 was already installed via contrib/get-cryptominisat... no checking how to link cryptominisat... -lcryptominisat5 -pthread checking whether user requested LFSC support... no, user didn't request LFSC checking whether user requested symfpu support... no, user didn't request symfpu checking whether std::hash is already specialized... yes checking for the relationship between long and int64_t... no relationship detected checking antlr3 script (/usr/local/bin/antlr3)... OK configure: WARNING: unknown version of antlr: 3.5.2 checking whether clang++60 supports -Werror... yes checking whether clang60 supports -Werror... yes checking whether clang++60 supports -Wno-deprecated... yes checking whether clang60 supports -Wno-deprecated... yes checking whether clang++60 supports -Wno-conversion-null... yes checking whether clang++60 supports -Wno-tautological-compare... yes checking whether clang++60 supports -Wno-parentheses... yes checking whether clang++60 supports -Wno-uninitialized... yes checking whether clang++60 supports -Wno-unused-variable... yes checking whether clang++60 supports -Wsuggest-override... no checking whether clang++60 supports -Wnon-virtual-dtor... yes checking whether clang++60 supports -fno-strict-aliasing... yes checking for doxygen... no configure: WARNING: doxygen not found - will not generate any doxygen documentation checking for perl... /usr/local/bin/perl checking for cxxtestgen.pl... no checking for cxxtestgen.py... no checking for cxxtestgen... no ./../../configure: line 25437: unit: command not found usage: basename string [suffix] basename [-a] [-s suffix] string [...] checking for /usr/local/bin/python3.6... /usr/local/bin/python3.6 checking for library containing clock_gettime... none required checking for strtok_r... yes checking for ffs... (cached) yes checking for sigaltstack... (cached) yes checking for ANTLR3 C runtime library... found in /usr/local checking for presence of older antlr3AsciiFileStreamNew()... failed checking for presence of newer antlr3FileStreamNew()... found it (must be antlr3 3.4 or similar) configure: WARNING: your antlr parser generator is version 3.5.2, which doesn't match the library! checking for /usr/local/bin/swig3.0... /usr/local/bin/swig3.0 checking compatibility with version of swig... incompatible version configure: WARNING: swig version 2.0.0 or later is required to build native API bindings checking for requested user language bindings... c c++ checking for availability of c binding... C support will be built checking for availability of c++ binding... C++ is built by default checking for getopt.h... (cached) yes checking for unistd.h... (cached) yes checking ext/stdio_filebuf.h usability... no checking ext/stdio_filebuf.h presence... no checking for ext/stdio_filebuf.h... no checking whether optreset is declared... yes checking whether strerror_r is declared... (cached) yes checking for strerror_r... (cached) yes checking whether strerror_r returns char *... no checking for Boost headers version >= 0.0.0... yes checking for Boost's header version... 1_68 checking for the flags needed to use pthreads... -pthread checking for the toolset name used by Boost for clang++60... gcc42 -gcc checking boost/system/error_code.hpp usability... yes checking boost/system/error_code.hpp presence... yes checking for boost/system/error_code.hpp... yes checking for the Boost system library... yes checking boost/thread.hpp usability... yes checking boost/thread.hpp presence... yes checking for boost/thread.hpp... yes checking for the Boost thread library... =>> Killing runaway build after 21600 seconds with no output