From owner-freebsd-pkg-fallout@freebsd.org Sat Jul 14 22:46:34 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 B5A6110414DE for ; Sat, 14 Jul 2018 22:46:34 +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 34CA38C672 for ; Sat, 14 Jul 2018 22:46:34 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id E2A6710414DD; Sat, 14 Jul 2018 22:46:33 +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 BE71510414DC for ; Sat, 14 Jul 2018 22:46:33 +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.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 628098C671 for ; Sat, 14 Jul 2018 22:46:33 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (thunderx1.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:fb]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 3DD06253DB for ; Sat, 14 Jul 2018 22:46:33 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (localhost [127.0.0.1]) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id w6EMkXc6012524 for ; Sat, 14 Jul 2018 22:46:33 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id w6EMkXXE012523; Sat, 14 Jul 2018 22:46:33 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 14 Jul 2018 22:46:33 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201807142246.w6EMkXXE012523@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 111arm64-quarterly][math/cvc4] Failed for cvc4-1.5 in configure X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 14 Jul 2018 22:46:35 -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: pi@FreeBSD.org Ident: $FreeBSD: branches/2018Q3/math/cvc4/Makefile 472970 2018-06-21 11:06:10Z pi $ Log URL: http://thunderx1.nyi.freebsd.org/data/111arm64-quarterly/474466/logs/cvc4-1.5.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=111arm64-quarterly&build=474466 Log: =>> Building math/cvc4 build started at Sat Jul 14 22:45:32 UTC 2018 port directory: /usr/ports/math/cvc4 package name: cvc4-1.5 building for: FreeBSD 111arm64-quarterly-job-02 11.1-RELEASE FreeBSD 11.1-RELEASE arm64 maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: branches/2018Q3/math/cvc4/Makefile 472970 2018-06-21 11:06:10Z pi $ Poudriere version: 3.2.7-1-g7087c444 Host OSVERSION: 1200072 Jail OSVERSION: 1101001 Job Id: 02 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1101001 UNAME_v=FreeBSD 11.1-RELEASE UNAME_r=11.1-RELEASE 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 USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.7-1-g7087c444 MASTERMNT=/usr/local/poudriere/data/.m/111arm64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/111arm64-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=111arm64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/111arm64-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.5: 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=off: Use GMP numeric library CLN=on: 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 --with-build=production --enable-language-bindings=c,c++ --with-readline --without-gmp --with-cln --enable-gpl --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PKG_CONFIG=pkgconf MAKE=gmake 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="cc" CFLAGS="-O2 -pipe -isystem /usr/local/include -fno-strict-aliasing" CPP="cpp" CPPFLAGS="-I/usr/local/include -isystem /usr/local/include" LDFLAGS=" -L/usr/local/lib" LIBS="-L/usr/local/lib" CXX="c++" 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-- PORTDOCS="" PORTEXAMPLES="" DEBUG="@comment " NO_DEBUG="" JAVA="@comment " NO_JAVA="" READLINE="" NO_READLINE="@comment " GMP="@comment " NO_GMP="" CLN="" NO_CLN="@comment " JAVASHAREDIR="share/java" JAVAJARDIR="share/java/classes" OSREL=11.1 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-- DEBUG="@comment " NO_DEBUG="" JAVA="@comment " NO_JAVA="" READLINE="" NO_READLINE="@comment " GMP="@comment " NO_GMP="" CLN="" NO_CLN="@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--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /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_921dbbb2=FreeBSD clang version 4.0.0 (tags/RELEASE_400/final 297347) (based on LLVM 4.0.0) Target: aarch64-unknown-freebsd11.1 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 4.0.0 (tags/RELEASE_400/final 297347) (based on LLVM 4.0.0) Target: aarch64-unknown-freebsd11.1 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--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_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=error: invalid value 'c++17' in '-std=c++17' CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=error: invalid value 'gnu++17' in '-std=gnu++17' _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 4.0.0 (tags/RELEASE_400/final 297347) (based on LLVM 4.0.0) Target: aarch64-unknown-freebsd11.1 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=aarch64 OPSYS=FreeBSD _OSRELEASE=11.1-RELEASE OSREL=11.1 OSVERSION=1101001 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--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 1048576 stack size (kbytes, -s) 1048576 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.5 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_1.txz [111arm64-quarterly-job-02] Installing pkg-1.10.5_1... [111arm64-quarterly-job-02] Extracting pkg-1.10.5_1: .......... done ===> cvc4-1.5 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc4-1.5 =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user => cvc4-1.5.tar.gz doesn't seem to exist in /portdistfiles/. => Attempting to fetch https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.5.tar.gz cvc4-1.5.tar.gz 0 B 0 Bps ===> Fetching all distfiles required by cvc4-1.5 for building =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by cvc4-1.5 for building => SHA256 Checksum OK for cvc4-1.5.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by cvc4-1.5 for building ===> Extracting for cvc4-1.5 => SHA256 Checksum OK for cvc4-1.5.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for cvc4-1.5 ===> Applying FreeBSD patches for cvc4-1.5 /usr/bin/sed -i.bak -e 's|expr |gexpr |g' /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.5/src/options/mkoptions =========================================================================== =================================================== ===> cvc4-1.5 depends on executable: gexpr - not found ===> Installing existing package /packages/All/coreutils-8.28.txz [111arm64-quarterly-job-02] Installing pkgconf-1.4.2,1... [111arm64-quarterly-job-02] Extracting pkgconf-1.4.2,1: .......... done ===> cvc4-1.5 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of cvc4-1.5 ===> cvc4-1.5 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_2.txz [111arm64-quarterly-job-02] Installing gmake-4.2.1_2... [111arm64-quarterly-job-02] Extracting gmake-4.2.1_2: .......... done ===> cvc4-1.5 depends on executable: gmake - found ===> Returning to build of cvc4-1.5 =========================================================================== =================================================== ===> cvc4-1.5 depends on shared library: libantlr3c.so - not found ===> Installing existing package /packages/All/libantlr3c-3.4_1.txz [111arm64-quarterly-job-02] Installing libantlr3c-3.4_1... [111arm64-quarterly-job-02] Extracting libantlr3c-3.4_1: .......... done ===> cvc4-1.5 depends on shared library: libantlr3c.so - found (/usr/local/lib/libantlr3c.so) ===> Returning to build of cvc4-1.5 ===> cvc4-1.5 depends on shared library: libboost_system.so - not found ===> Installing existing package /packages/All/boost-libs-1.67.0_2.txz [111arm64-quarterly-job-02] Installing boost-libs-1.67.0_2... [111arm64-quarterly-job-02] `-- Installing icu-62.1_1,1... [111arm64-quarterly-job-02] `-- Extracting icu-62.1_1,1: .......... done [111arm64-quarterly-job-02] Extracting boost-libs-1.67.0_2: .......... done Message from boost-libs-1.67.0_2: You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> cvc4-1.5 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of cvc4-1.5 ===> cvc4-1.5 depends on shared library: libcln.so - not found ===> Installing existing package /packages/All/cln-1.3.4.txz [111arm64-quarterly-job-02] Installing cln-1.3.4... [111arm64-quarterly-job-02] `-- Installing gmp-6.1.2... [111arm64-quarterly-job-02] `-- Extracting gmp-6.1.2: .......... done [111arm64-quarterly-job-02] Extracting cln-1.3.4: .......... done ===> cvc4-1.5 depends on shared library: libcln.so - found (/usr/local/lib/libcln.so) ===> Returning to build of cvc4-1.5 ===> cvc4-1.5 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> cvc4-1.5 depends on shared library: libreadline.so.7 - not found ===> Installing existing package /packages/All/readline-7.0.3_1.txz [111arm64-quarterly-job-02] Installing readline-7.0.3_1... [111arm64-quarterly-job-02] Extracting readline-7.0.3_1: .......... done ===> cvc4-1.5 depends on shared library: libreadline.so.7 - found (/usr/local/lib/libreadline.so.7) ===> Returning to build of cvc4-1.5 =========================================================================== =================================================== ===> Configuring for cvc4-1.5 : 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... aarch64-portbld-freebsd11.1 checking host system type... aarch64-portbld-freebsd11.1 checking target system type... aarch64-portbld-freebsd11.1 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 how to create a pax tar archive... gnutar checking how to print strings... printf checking for style of include used by gmake... GNU checking for gcc... cc 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 cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... 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 cc... /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 aarch64-portbld-freebsd11.1 file names to aarch64-portbld-freebsd11.1 format... func_convert_file_noop checking how to convert aarch64-portbld-freebsd11.1 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... no 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 cc 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... 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 cc supports -fno-rtti -fno-exceptions... yes checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/bin/ld) supports shared libraries... /usr/bin/ld: error: no input files /usr/bin/ld: error: target emulation unknown: -m or at least one .o file required yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... freebsd11.1 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 for gcc... (cached) cc checking whether we are using the GNU C compiler... (cached) yes checking whether cc accepts -g... (cached) yes checking for cc option to accept ISO C89... (cached) none needed checking whether cc understands -c and -o together... (cached) yes checking dependency style of cc... (cached) none checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking dependency style of c++... none checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... yes checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... freebsd11.1 ld.so checking how to hardcode library paths into programs... immediate checking whether C++ exceptions work... yes checking for __gmpz_init in -lgmp... yes checking pkg-config is at least version 0.9.0... yes checking for CLN... yes checking for appropriate build string... production-cln checking what dir to configure... builds/aarch64-portbld-freebsd11.1/production-cln ./config/mkbuilddir aarch64-portbld-freebsd11.1 production-cln configure: Setting up builds/aarch64-portbld-freebsd11.1/production-cln... configure: Creating builds/current... configure: Linking builds/src... configure: Linking builds/test... cd builds/aarch64-portbld-freebsd11.1/production-cln /usr/local/bin/bash ../../../configure --disable-dependency-tracking --with-swig=/usr/local/bin/swig3.0 ANTLR=/usr/local/bin/antlr3 --with-build=production --enable-language-bindings=c,c++ --with-readline --without-gmp --with-cln CVC4_BSD_LICENSED_CODE_ONLY=0 --prefix=/usr/local --localstatedir=/var --mandir=/usr/local/man --disable-silent-rules --infodir=/usr/local/info/ --build=aarch64-portbld-freebsd11.1 : 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... aarch64-portbld-freebsd11.1 checking host system type... aarch64-portbld-freebsd11.1 checking target system type... aarch64-portbld-freebsd11.1 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 how to create a pax tar archive... gnutar checking how to print strings... printf checking for style of include used by gmake... GNU checking for gcc... cc 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... configure: error: in `/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.5/builds/aarch64-portbld-freebsd11.1/production-cln': configure: error: cannot run C compiled programs. If you meant to cross compile, use `--host'. See `config.log' for more details ===> Script "configure" failed unexpectedly. Please report the problem to greg@unrelenting.technology [maintainer] and attach the "/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.5/config.log" including the output of the failure of your make command. Also, it might be a good idea to provide an overview of all packages installed on your system (e.g. a /usr/local/sbin/pkg-static info -g -Ea). *** Error code 1 Stop. make: stopped in /usr/ports/math/cvc4