Date: Sat, 22 Jun 2019 00:01:54 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - 120armv7-quarterly][math/cvc4] Failed for cvc4-1.6_2 in build/runaway Message-ID: <201906220001.x5M01sEU083791@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/2019Q2/math/cvc4/Makefile 487266 2018-12-12 00:15:49Z jbeich $ Log URL: http://beefy13.nyi.freebsd.org/data/120armv7-quarterly/504599/logs/cvc4-1.6_2.log Build URL: http://beefy13.nyi.freebsd.org/build.html?mastername=120armv7-quarterly&build=504599 Log: =>> Building math/cvc4 build started at Fri Jun 21 13:39:19 UTC 2019 port directory: /usr/ports/math/cvc4 package name: cvc4-1.6_2 building for: FreeBSD 120armv7-quarterly-job-15 12.0-RELEASE-p6 FreeBSD 12.0-RELEASE-p6 1200086 arm maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: branches/2019Q2/math/cvc4/Makefile 487266 2018-12-12 00:15:49Z jbeich $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300018 Jail OSVERSION: 1200086 Job Id: 15 ---Begin Environment--- SHELL=/bin/csh UNAME_p=armv7 UNAME_m=arm ABI_FILE=/usr/lib/crt1.o OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p6 1200086 UNAME_r=12.0-RELEASE-p6 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-5-gc81843e5 MASTERMNT=/usr/local/poudriere/data/.m/120armv7-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen 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_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=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-RELEASE-p6 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_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120armv7-quarterly-job-15] Installing pkg-1.10.5_5... [120armv7-quarterly-job-15] Extracting pkg-1.10.5_5: .......... done ===> cvc4-1.6_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc4-1.6_2 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by cvc4-1.6_2 for building <snip> ^ ./../../../src/context/context.h:571:15: note: deallocator has a implicit non-throwing exception specification static void operator delete(void* pMem) { ^ In file included from ../../../../src/theory/builtin/kinds:272: In file included from ../../../../src/theory/builtin/type_enumerator.h:25: In file included from ../../../../src/theory/builtin/theory_builtin_rewriter.h:24: In file included from ../../../../src/theory/theory.h:29: ./../../../src/context/cdhashset.h:54:5: warning: 'operator delete' has a non-throwing exception specification but can still throw [-Wexceptions] AlwaysAssert(false, "It is not allowed to delete a ContextObj this way!"); ^ ./../../../src/base/cvc4_assert.h:266:7: note: expanded from macro 'AlwaysAssert' throw ::CVC4::AssertionException(#cond, __PRETTY_FUNCTION__, __FILE__, \ ^ ./../../../src/context/cdhashset.h:31:7: note: in instantiation of member function 'CVC4::context::CDHashSet<CVC4::NodeTemplate<true>, CVC4::NodeHashFunction>::operator delete' requested here class CDHashSet : protected CDInsertHashMap<V, bool, HashFcn> { ^ ./../../../src/context/cdhashset.h:53:15: note: deallocator has a implicit non-throwing exception specification static void operator delete(void* pMem) { ^ 2 warnings generated. /usr/local/bin/bash ../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -Wno-parentheses -fvisibility=hidden -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -no-undefined -version-info 5:0:0 -L/usr/local/lib -L/usr/local/lib -o libcvc4.la -rpath /usr/local/lib git_versioninfo.lo svn_versioninfo.lo context/context.lo context/context_mm.lo decision/decision_engine.lo decision/justification_heuristic.lo preprocessing/passes/bv_abstraction.lo preprocessing/passes/bv_ackermann.lo preprocessing/passes/bv_gauss.lo preprocessing/passes/bv_intro_pow2.lo preprocessing/passes/int_to_bv.lo preprocessing/passes/pseudo_boolean_processor.lo preprocessing/passes/bool_to_bv.lo preprocessing/passes/bv_to_bool.lo preprocessing/passes/real_to_int.lo preprocessing/passes/static_learning.lo preprocessing/passes/symmetry_breaker.lo preprocessing/passes/symmetry_detect.lo preprocessing/preprocessing_p ass.lo preprocessing/preprocessing_pass_context.lo preprocessing/preprocessing_pass_registry.lo printer/dagification_visitor.lo printer/printer.lo printer/sygus_print_callback.lo printer/ast/ast_printer.lo printer/cvc/cvc_printer.lo printer/smt2/smt2_printer.lo printer/tptp/tptp_printer.lo proof/arith_proof.lo proof/array_proof.lo proof/bitvector_proof.lo proof/cnf_proof.lo proof/lemma_proof.lo proof/proof_manager.lo proof/proof_output_channel.lo proof/proof_utils.lo proof/simplify_boolean_node.lo proof/skolemization_manager.lo proof/theory_proof.lo proof/uf_proof.lo proof/unsat_core.lo prop/cadical.lo prop/cnf_stream.lo prop/cryptominisat.lo prop/prop_engine.lo prop/sat_solver_factory.lo prop/theory_proxy.lo smt/command.lo smt/command_list.lo smt/dump.lo smt/logic_request.lo smt/managed_ostreams.lo smt/model.lo smt/smt_engine.lo smt/smt_engine_check_proof.lo smt/smt_engine_scope.lo smt/smt_statistics_registry.lo smt/term_formula_removal.lo theory/assertion.lo theory/atom_requests.l o theory/ite_utilities.lo theory/logic_info.! lo theory/quantifiers_engine.lo theory/rep_set.lo theory/rewriter.lo theory/shared_terms_database.lo theory/sort_inference.lo theory/substitutions.lo theory/term_registration_visitor.lo theory/theory.lo theory/theory_engine.lo theory/theory_model.lo theory/theory_model_builder.lo theory/type_set.lo theory/unconstrained_simplifier.lo theory/valuation.lo theory/arith/approx_simplex.lo theory/arith/arith_ite_utils.lo theory/arith/arith_msum.lo theory/arith/arith_rewriter.lo theory/arith/arith_static_learner.lo theory/arith/arithvar.lo theory/arith/attempt_solution_simplex.lo theory/arith/callbacks.lo theory/arith/congruence_manager.lo theory/arith/constraint.lo theory/arith/cut_log.lo theory/arith/delta_rational.lo theory/arith/dio_solver.lo theory/arith/dual_simplex.lo theory/arith/error_set.lo theory/arith/fc_simplex.lo theory/arith/infer_bounds.lo theory/arith/linear_equality.lo theory/arith/matrix.lo theory/arith/nonlinear_extension.lo theory/arith/normal_form.lo theory/arith/parti al_model.lo theory/arith/simplex.lo theory/arith/simplex_update.lo theory/arith/soi_simplex.lo theory/arith/tableau.lo theory/arith/tableau_sizes.lo theory/arith/theory_arith.lo theory/arith/theory_arith_private.lo theory/arrays/array_info.lo theory/arrays/array_proof_reconstruction.lo theory/arrays/static_fact_manager.lo theory/arrays/theory_arrays.lo theory/arrays/theory_arrays_rewriter.lo theory/arrays/union_find.lo theory/booleans/circuit_propagator.lo theory/booleans/theory_bool.lo theory/booleans/theory_bool_rewriter.lo theory/builtin/theory_builtin.lo theory/builtin/theory_builtin_rewriter.lo theory/builtin/type_enumerator.lo theory/bv/abstraction.lo theory/bv/bitblast/aig_bitblaster.lo theory/bv/bitblast/eager_bitblaster.lo theory/bv/bitblast/lazy_bitblaster.lo theory/bv/bv_eager_solver.lo theory/bv/bv_inequality_graph.lo theory/bv/bv_quick_check.lo theory/bv/bv_subtheory_algebraic.lo theory/bv/bv_subtheory_bitblast.lo theory/bv/bv_subtheory_core.lo theory/bv/bv_subtheory_in equality.lo theory/bv/slicer.lo theory/bv/th! eory_bv.l! o theory/bv/theory_bv_rewriter.lo theory/bv/theory_bv_utils.lo theory/datatypes/datatypes_rewriter.lo theory/datatypes/datatypes_sygus.lo theory/datatypes/theory_datatypes.lo theory/datatypes/type_enumerator.lo theory/fp/theory_fp.lo theory/fp/theory_fp_rewriter.lo theory/fp/fp_converter.lo theory/idl/idl_assertion.lo theory/idl/idl_assertion_db.lo theory/idl/idl_model.lo theory/idl/theory_idl.lo theory/quantifiers/alpha_equivalence.lo theory/quantifiers/anti_skolem.lo theory/quantifiers/bv_inverter.lo theory/quantifiers/candidate_rewrite_database.lo theory/quantifiers/cegqi/ceg_instantiator.lo theory/quantifiers/cegqi/ceg_t_instantiator.lo theory/quantifiers/cegqi/inst_strategy_cbqi.lo theory/quantifiers/conjecture_generator.lo theory/quantifiers/dynamic_rewrite.lo theory/quantifiers/ematching/candidate_generator.lo theory/quantifiers/ematching/ho_trigger.lo theory/quantifiers/ematching/inst_match_generator.lo theory/quantifiers/ematching/inst_strategy_e_matching.lo theory/quantifi ers/ematching/instantiation_engine.lo theory/quantifiers/ematching/trigger.lo theory/quantifiers/equality_query.lo theory/quantifiers/equality_infer.lo theory/quantifiers/extended_rewrite.lo theory/quantifiers/first_order_model.lo theory/quantifiers/fmf/ambqi_builder.lo theory/quantifiers/fmf/bounded_integers.lo theory/quantifiers/fmf/full_model_check.lo theory/quantifiers/fmf/model_builder.lo theory/quantifiers/fmf/model_engine.lo theory/quantifiers/fun_def_process.lo theory/quantifiers/global_negate.lo theory/quantifiers/instantiate.lo theory/quantifiers/inst_match.lo theory/quantifiers/inst_match_trie.lo theory/quantifiers/inst_propagator.lo theory/quantifiers/inst_strategy_enumerative.lo theory/quantifiers/lazy_trie.lo theory/quantifiers/local_theory_ext.lo theory/quantifiers/macros.lo theory/quantifiers/quant_conflict_find.lo theory/quantifiers/quant_epr.lo theory/quantifiers/quant_relevance.lo theory/quantifiers/quant_split.lo theory/quantifiers/quant_util.lo theory/quantifier s/quantifiers_attributes.lo theory/quantifie! rs/quanti! fiers_rewriter.lo theory/quantifiers/relevant_domain.lo theory/quantifiers/rewrite_engine.lo theory/quantifiers/single_inv_partition.lo theory/quantifiers/skolemize.lo theory/quantifiers/sygus/cegis.lo theory/quantifiers/sygus/cegis_unif.lo theory/quantifiers/sygus/ce_guided_conjecture.lo theory/quantifiers/sygus/ce_guided_instantiation.lo theory/quantifiers/sygus/ce_guided_single_inv.lo theory/quantifiers/sygus/sygus_pbe.lo theory/quantifiers/sygus/ce_guided_single_inv_sol.lo theory/quantifiers/sygus/sygus_eval_unfold.lo theory/quantifiers/sygus/sygus_explain.lo theory/quantifiers/sygus/sygus_invariance.lo theory/quantifiers/sygus/sygus_grammar_cons.lo theory/quantifiers/sygus/sygus_grammar_norm.lo theory/quantifiers/sygus/sygus_grammar_red.lo theory/quantifiers/sygus/sygus_module.lo theory/quantifiers/sygus/sygus_process_conj.lo theory/quantifiers/sygus/sygus_repair_const.lo theory/quantifiers/sygus/sygus_unif.lo theory/quantifiers/sygus/sygus_unif_io.lo theory/quantifiers/sygus/s ygus_unif_rl.lo theory/quantifiers/sygus/sygus_unif_strat.lo theory/quantifiers/sygus/term_database_sygus.lo theory/quantifiers/sygus_inference.lo theory/quantifiers/sygus_sampler.lo theory/quantifiers/term_database.lo theory/quantifiers/term_enumeration.lo theory/quantifiers/term_util.lo theory/quantifiers/theory_quantifiers.lo theory/sep/theory_sep.lo theory/sep/theory_sep_rewriter.lo theory/sets/theory_sets.lo theory/sets/theory_sets_private.lo theory/sets/theory_sets_rels.lo theory/sets/theory_sets_rewriter.lo theory/strings/regexp_operation.lo theory/strings/theory_strings.lo theory/strings/theory_strings_preprocess.lo theory/strings/theory_strings_rewriter.lo theory/uf/equality_engine.lo theory/uf/symmetry_breaker.lo theory/uf/theory_uf.lo theory/uf/theory_uf_model.lo theory/uf/theory_uf_strong_solver.lo theory/type_enumerator.lo ./base/libbase.la ./options/liboptions.la ./util/libutil.la ./expr/libexpr.la ./smt_util/libsmtutil.la ./prop/minisat/libminisat.la ./prop/bvminisat/ libbvminisat.la ../proofs/signatures/libsign! atures.la! ./lib/libreplacements.la -lcryptominisat5 -pthread -lgmp -lgmp -L/usr/local/lib libtool: link: clang++60 -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o .libs/git_versioninfo.o .libs/svn_versioninfo.o context/.libs/context.o context/.libs/context_mm.o decision/.libs/decision_engine.o decision/.libs/justification_heuristic.o preprocessing/passes/.libs/bv_abstraction.o preprocessing/passes/.libs/bv_ackermann.o preprocessing/passes/.libs/bv_gauss.o preprocessing/passes/.libs/bv_intro_pow2.o preprocessing/passes/.libs/int_to_bv.o preprocessing/passes/.libs/pseudo_boolean_processor.o preprocessing/passes/.libs/bool_to_bv.o preprocessing/passes/.libs/bv_to_bool.o preprocessing/passes/.libs/real_to_int.o preprocessing/passes/.libs/static_learning.o preprocessing/passes/.libs/symmetry_breaker.o preprocessing/passes/.libs/symmetry_detect.o preprocessing/.libs/preprocessing_pass.o preprocessing/.libs/preprocessing_pass_context.o preprocessing/.libs/preprocessing_pass_registry.o printer/.libs/dagification_visitor.o printer/.libs/printer.o printer/.libs /sygus_print_callback.o printer/ast/.libs/ast_printer.o printer/cvc/.libs/cvc_printer.o printer/smt2/.libs/smt2_printer.o printer/tptp/.libs/tptp_printer.o proof/.libs/arith_proof.o proof/.libs/array_proof.o proof/.libs/bitvector_proof.o proof/.libs/cnf_proof.o proof/.libs/lemma_proof.o proof/.libs/proof_manager.o proof/.libs/proof_output_channel.o proof/.libs/proof_utils.o proof/.libs/simplify_boolean_node.o proof/.libs/skolemization_manager.o proof/.libs/theory_proof.o proof/.libs/uf_proof.o proof/.libs/unsat_core.o prop/.libs/cadical.o prop/.libs/cnf_stream.o prop/.libs/cryptominisat.o prop/.libs/prop_engine.o prop/.libs/sat_solver_factory.o prop/.libs/theory_proxy.o smt/.libs/command.o smt/.libs/command_list.o smt/.libs/dump.o smt/.libs/logic_request.o smt/.libs/managed_ostreams.o smt/.libs/model.o smt/.libs/smt_engine.o smt/.libs/smt_engine_check_proof.o smt/.libs/smt_engine_scope.o smt/.libs/smt_statistics_registry.o smt/.libs/term_formula_removal.o theory/.libs/assertion.o th eory/.libs/atom_requests.o theory/.libs/ite_! utilities.o theory/.libs/logic_info.o theory/.libs/quantifiers_engine.o theory/.libs/rep_set.o theory/.libs/rewriter.o theory/.libs/shared_terms_database.o theory/.libs/sort_inference.o theory/.libs/substitutions.o theory/.libs/term_registration_visitor.o theory/.libs/theory.o theory/.libs/theory_engine.o theory/.libs/theory_model.o theory/.libs/theory_model_builder.o theory/.libs/type_set.o theory/.libs/unconstrained_simplifier.o theory/.libs/valuation.o theory/arith/.libs/approx_simplex.o theory/arith/.libs/arith_ite_utils.o theory/arith/.libs/arith_msum.o theory/arith/.libs/arith_rewriter.o theory/arith/.libs/arith_static_learner.o theory/arith/.libs/arithvar.o theory/arith/.libs/attempt_solution_simplex.o theory/arith/.libs/callbacks.o theory/arith/.libs/congruence_manager.o theory/arith/.libs/constraint.o theory/arith/.libs/cut_log.o theory/arith/.libs/delta_rational.o theory/arith/.libs/dio_solver.o theory/arith/.libs/dual_simplex.o theory/arith/.libs/error_set.o theory/arith/ .libs/fc_simplex.o theory/arith/.libs/infer_bounds.o theory/arith/.libs/linear_equality.o theory/arith/.libs/matrix.o theory/arith/.libs/nonlinear_extension.o theory/arith/.libs/normal_form.o theory/arith/.libs/partial_model.o theory/arith/.libs/simplex.o theory/arith/.libs/simplex_update.o theory/arith/.libs/soi_simplex.o theory/arith/.libs/tableau.o theory/arith/.libs/tableau_sizes.o theory/arith/.libs/theory_arith.o theory/arith/.libs/theory_arith_private.o theory/arrays/.libs/array_info.o theory/arrays/.libs/array_proof_reconstruction.o theory/arrays/.libs/static_fact_manager.o theory/arrays/.libs/theory_arrays.o theory/arrays/.libs/theory_arrays_rewriter.o theory/arrays/.libs/union_find.o theory/booleans/.libs/circuit_propagator.o theory/booleans/.libs/theory_bool.o theory/booleans/.libs/theory_bool_rewriter.o theory/builtin/.libs/theory_builtin.o theory/builtin/.libs/theory_builtin_rewriter.o theory/builtin/.libs/type_enumerator.o theory/bv/.libs/abstraction.o theory/bv/bitbla st/.libs/aig_bitblaster.o theory/bv/bitblast! /.libs/ea! ger_bitblaster.o theory/bv/bitblast/.libs/lazy_bitblaster.o theory/bv/.libs/bv_eager_solver.o theory/bv/.libs/bv_inequality_graph.o theory/bv/.libs/bv_quick_check.o theory/bv/.libs/bv_subtheory_algebraic.o theory/bv/.libs/bv_subtheory_bitblast.o theory/bv/.libs/bv_subtheory_core.o theory/bv/.libs/bv_subtheory_inequality.o theory/bv/.libs/slicer.o theory/bv/.libs/theory_bv.o theory/bv/.libs/theory_bv_rewriter.o theory/bv/.libs/theory_bv_utils.o theory/datatypes/.libs/datatypes_rewriter.o theory/datatypes/.libs/datatypes_sygus.o theory/datatypes/.libs/theory_datatypes.o theory/datatypes/.libs/type_enumerator.o theory/fp/.libs/theory_fp.o theory/fp/.libs/theory_fp_rewriter.o theory/fp/.libs/fp_converter.o theory/idl/.libs/idl_assertion.o theory/idl/.libs/idl_assertion_db.o theory/idl/.libs/idl_model.o theory/idl/.libs/theory_idl.o theory/quantifiers/.libs/alpha_equivalence.o theory/quantifiers/.libs/anti_skolem.o theory/quantifiers/.libs/bv_inverter.o theory/quantifiers/.libs/candidate _rewrite_database.o theory/quantifiers/cegqi/.libs/ceg_instantiator.o theory/quantifiers/cegqi/.libs/ceg_t_instantiator.o theory/quantifiers/cegqi/.libs/inst_strategy_cbqi.o theory/quantifiers/.libs/conjecture_generator.o theory/quantifiers/.libs/dynamic_rewrite.o theory/quantifiers/ematching/.libs/candidate_generator.o theory/quantifiers/ematching/.libs/ho_trigger.o theory/quantifiers/ematching/.libs/inst_match_generator.o theory/quantifiers/ematching/.libs/inst_strategy_e_matching.o theory/quantifiers/ematching/.libs/instantiation_engine.o theory/quantifiers/ematching/.libs/trigger.o theory/quantifiers/.libs/equality_query.o theory/quantifiers/.libs/equality_infer.o theory/quantifiers/.libs/extended_rewrite.o theory/quantifiers/.libs/first_order_model.o theory/quantifiers/fmf/.libs/ambqi_builder.o theory/quantifiers/fmf/.libs/bounded_integers.o theory/quantifiers/fmf/.libs/full_model_check.o theory/quantifiers/fmf/.libs/model_builder.o theory/quantifiers/fmf/.libs/model_engine.o t heory/quantifiers/.libs/fun_def_process.o th! eory/quan! tifiers/..libs/global_negate.o theory/quantifiers/.libs/instantiate.o theory/quantifiers/.libs/inst_match.o theory/quantifiers/.libs/inst_match_trie.o theory/quantifiers/.libs/inst_propagator.o theory/quantifiers/.libs/inst_strategy_enumerative.o theory/quantifiers/.libs/lazy_trie.o theory/quantifiers/.libs/local_theory_ext.o theory/quantifiers/.libs/macros.o theory/quantifiers/.libs/quant_conflict_find.o theory/quantifiers/.libs/quant_epr.o theory/quantifiers/.libs/quant_relevance.o theory/quantifiers/.libs/quant_split.o theory/quantifiers/.libs/quant_util.o theory/quantifiers/.libs/quantifiers_attributes.o theory/quantifiers/.libs/quantifiers_rewriter.o theory/quantifiers/.libs/relevant_domain.o theory/quantifiers/.libs/rewrite_engine.o theory/quantifiers/.libs/single_inv_partition.o theory/quantifiers/.libs/skolemize.o theory/quantifiers/sygus/.libs/cegis.o theory/quantifiers/sygus/.libs/cegis_unif.o theory/quantifiers/sygus/.libs/ce_guided_conjecture.o theory/quantifiers/sygus/. libs/ce_guided_instantiation.o theory/quantifiers/sygus/.libs/ce_guided_single_inv.o theory/quantifiers/sygus/.libs/sygus_pbe.o theory/quantifiers/sygus/.libs/ce_guided_single_inv_sol.o theory/quantifiers/sygus/.libs/sygus_eval_unfold.o theory/quantifiers/sygus/.libs/sygus_explain.o theory/quantifiers/sygus/.libs/sygus_invariance.o theory/quantifiers/sygus/.libs/sygus_grammar_cons.o theory/quantifiers/sygus/.libs/sygus_grammar_norm.o theory/quantifiers/sygus/.libs/sygus_grammar_red.o theory/quantifiers/sygus/.libs/sygus_module.o theory/quantifiers/sygus/.libs/sygus_process_conj.o theory/quantifiers/sygus/.libs/sygus_repair_const.o theory/quantifiers/sygus/.libs/sygus_unif.o theory/quantifiers/sygus/.libs/sygus_unif_io.o theory/quantifiers/sygus/.libs/sygus_unif_rl.o theory/quantifiers/sygus/.libs/sygus_unif_strat.o theory/quantifiers/sygus/.libs/term_database_sygus.o theory/quantifiers/.libs/sygus_inference.o theory/quantifiers/.libs/sygus_sampler.o theory/quantifiers/.libs/term_dat abase.o theory/quantifiers/.libs/term_enumer! ation.o th! eory/quantifiers/.libs/term_util.o theory/quantifiers/.libs/theory_quantifiers.o theory/sep/.libs/theory_sep.o theory/sep/.libs/theory_sep_rewriter.o theory/sets/.libs/theory_sets.o theory/sets/.libs/theory_sets_private.o theory/sets/.libs/theory_sets_rels.o theory/sets/.libs/theory_sets_rewriter.o theory/strings/.libs/regexp_operation.o theory/strings/.libs/theory_strings.o theory/strings/.libs/theory_strings_preprocess.o theory/strings/.libs/theory_strings_rewriter.o theory/uf/.libs/equality_engine.o theory/uf/.libs/symmetry_breaker.o theory/uf/.libs/theory_uf.o theory/uf/.libs/theory_uf_model.o theory/uf/.libs/theory_uf_strong_solver.o theory/.libs/type_enumerator.o -Wl,--whole-archive ./base/.libs/libbase.a ./options/.libs/liboptions.a ./util/.libs/libutil.a ./expr/.libs/libexpr.a ./smt_util/.libs/libsmtutil.a ./prop/minisat/.libs/libminisat.a ./prop/bvminisat/.libs/libbvminisat.a ../proofs/signatures/.libs/libsignatures.a ./lib/.libs/libreplacements.a -Wl,--no-whole-archive - L/usr/local/lib -lcryptominisat5 -lgmp -L/usr/lib -lc++ -lm -lc -lgcc -lgcc_s /usr/lib/crtendS.o /usr/lib/crtn.o -O2 -O3 -pthread -pthread -Wl,-soname -Wl,libcvc4.so.5 -o .libs/libcvc4.so.5.0.0 clang-6.0: warning: argument unused during compilation: '-pthread' [-Wunused-command-line-argument] clang-6.0: warning: argument unused during compilation: '-pthread' [-Wunused-command-line-argument] libtool: link: (cd ".libs" && rm -f "libcvc4.so.5" && ln -s "libcvc4.so.5.0.0" "libcvc4.so.5") libtool: link: (cd ".libs" && rm -f "libcvc4.so" && ln -s "libcvc4.so.5.0.0" "libcvc4.so") libtool: link: ( cd ".libs" && rm -f "libcvc4.la" && ln -s "../libcvc4.la" "libcvc4.la" ) gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src' Making all in parser gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' Making all in smt1 gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' gmake all-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt1' /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o smt1.lo ../../../../../../src/parser/smt1/smt1.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt1/smt1.cpp -fPIC -DPIC -o .libs/smt1.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o smt1_input.lo ../../../../../../src/parser/smt1/smt1_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt1/smt1_input.cpp -fPIC -DPIC -o .libs/smt1_input.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o Smt1Lexer.lo ../../../../../../src/parser/smt1/Smt1Lexer.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt1/Smt1Lexer.c -fPIC -DPIC -o .libs/Smt1Lexer.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o Smt1Parser.lo ../../../../../../src/parser/smt1/Smt1Parser.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt1 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt1/../../include -I../../../../../../src/parser/smt1/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt1/Smt1Parser.c -fPIC -DPIC -o .libs/Smt1Parser.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o libparsersmt1.la smt1.lo smt1_input.lo ./Smt1Lexer.lo ./Smt1Parser.lo -lgmp -lgmp -L/usr/local/lib libtool: link: ar cru .libs/libparsersmt1.a .libs/smt1.o .libs/smt1_input.o ./.libs/Smt1Lexer.o ./.libs/Smt1Parser.o libtool: link: ranlib .libs/libparsersmt1.a libtool: link: ( cd ".libs" && rm -f "libparsersmt1.la" && ln -s "../libparsersmt1.la" "libparsersmt1.la" ) 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 all in smt2 gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' gmake all-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/smt2' /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o smt2.lo ../../../../../../src/parser/smt2/smt2.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt2/smt2.cpp -fPIC -DPIC -o .libs/smt2.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o smt2_input.lo ../../../../../../src/parser/smt2/smt2_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt2/smt2_input.cpp -fPIC -DPIC -o .libs/smt2_input.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o sygus_input.lo ../../../../../../src/parser/smt2/sygus_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt2/sygus_input.cpp -fPIC -DPIC -o .libs/sygus_input.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o Smt2Lexer.lo ../../../../../../src/parser/smt2/Smt2Lexer.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt2/Smt2Lexer.c -fPIC -DPIC -o .libs/Smt2Lexer.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o Smt2Parser.lo ../../../../../../src/parser/smt2/Smt2Parser.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/smt2 -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/smt2/../../include -I../../../../../../src/parser/smt2/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/smt2/Smt2Parser.c -fPIC -DPIC -o .libs/Smt2Parser.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o libparsersmt2.la smt2.lo smt2_input.lo sygus_input.lo ./Smt2Lexer.lo ./Smt2Parser.lo -lgmp -lgmp -L/usr/local/lib libtool: link: ar cru .libs/libparsersmt2.a .libs/smt2.o .libs/smt2_input.o .libs/sygus_input.o ./.libs/Smt2Lexer.o ./.libs/Smt2Parser.o libtool: link: ranlib .libs/libparsersmt2.a libtool: link: ( cd ".libs" && rm -f "libparsersmt2.la" && ln -s "../libparsersmt2.la" "libparsersmt2.la" ) 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 all in cvc gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' gmake all-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/cvc' /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o cvc_input.lo ../../../../../../src/parser/cvc/cvc_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/cvc/cvc_input.cpp -fPIC -DPIC -o .libs/cvc_input.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o CvcLexer.lo ../../../../../../src/parser/cvc/CvcLexer.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/cvc/CvcLexer.c -fPIC -DPIC -o .libs/CvcLexer.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o CvcParser.lo ../../../../../../src/parser/cvc/CvcParser.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/cvc -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/cvc/../../include -I../../../../../../src/parser/cvc/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/cvc/CvcParser.c -fPIC -DPIC -o .libs/CvcParser.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -Wno-uninitialized -Wno-conversion-null -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o libparsercvc.la cvc_input.lo ./CvcLexer.lo ./CvcParser.lo -lgmp -lgmp -L/usr/local/lib libtool: link: ar cru .libs/libparsercvc.a .libs/cvc_input.o ./.libs/CvcLexer.o ./.libs/CvcParser.o libtool: link: ranlib .libs/libparsercvc.a libtool: link: ( cd ".libs" && rm -f "libparsercvc.la" && ln -s "../libparsercvc.la" "libparsercvc.la" ) 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 all in tptp gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' gmake all-am gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/tptp' /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o tptp.lo ../../../../../../src/parser/tptp/tptp.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/tptp/tptp.cpp -fPIC -DPIC -o .libs/tptp.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o tptp_input.lo ../../../../../../src/parser/tptp/tptp_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/tptp/tptp_input.cpp -fPIC -DPIC -o .libs/tptp_input.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o TptpLexer.lo ../../../../../../src/parser/tptp/TptpLexer.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/tptp/TptpLexer.c -fPIC -DPIC -o .libs/TptpLexer.o /usr/local/bin/bash ../../../libtool --tag=CC --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o TptpParser.lo ../../../../../../src/parser/tptp/TptpParser.c libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../src/parser/tptp -I../../.. -D__BUILDING_CVC4PARSERLIB -I./../.. -I../../../../../../src/parser/tptp/../../include -I../../../../../../src/parser/tptp/../.. -I/usr/local/include -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../src/parser/tptp/TptpParser.c -fPIC -DPIC -o .libs/TptpParser.o /usr/local/bin/bash ../../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -fvisibility=hidden -Wno-parentheses -Wno-tautological-compare -Wno-unused-function -Wno-unused-variable -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o libparsertptp.la tptp.lo tptp_input.lo ./TptpLexer.lo ./TptpParser.lo -lgmp -lgmp -L/usr/local/lib libtool: link: ar cru .libs/libparsertptp.a .libs/tptp.o .libs/tptp_input.o ./.libs/TptpLexer.o ./.libs/TptpParser.o libtool: link: ranlib .libs/libparsertptp.a libtool: link: ( cd ".libs" && rm -f "libparsertptp.la" && ln -s "../libparsertptp.la" "libparsertptp.la" ) 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' /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o antlr_input.lo ../../../../../src/parser/antlr_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/antlr_input.cpp -fPIC -DPIC -o .libs/antlr_input.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o antlr_input_imports.lo ../../../../../src/parser/antlr_input_imports.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/antlr_input_imports.cpp -fPIC -DPIC -o .libs/antlr_input_imports.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o antlr_line_buffered_input.lo ../../../../../src/parser/antlr_line_buffered_input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/antlr_line_buffered_input.cpp -fPIC -DPIC -o .libs/antlr_line_buffered_input.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o bounded_token_buffer.lo ../../../../../src/parser/bounded_token_buffer.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/bounded_token_buffer.cpp -fPIC -DPIC -o .libs/bounded_token_buffer.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o bounded_token_factory.lo ../../../../../src/parser/bounded_token_factory.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/bounded_token_factory.cpp -fPIC -DPIC -o .libs/bounded_token_factory.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o input.lo ../../../../../src/parser/input.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/input.cpp -fPIC -DPIC -o .libs/input.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o line_buffer.lo ../../../../../src/parser/line_buffer.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/line_buffer.cpp -fPIC -DPIC -o .libs/line_buffer.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o memory_mapped_input_buffer.lo ../../../../../src/parser/memory_mapped_input_buffer.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/memory_mapped_input_buffer.cpp -fPIC -DPIC -o .libs/memory_mapped_input_buffer.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o parser.lo ../../../../../src/parser/parser.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/parser.cpp -fPIC -DPIC -o .libs/parser.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c -o parser_builder.lo ../../../../../src/parser/parser_builder.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/parser -I../.. -D__BUILDING_CVC4PARSERLIB -I./.. -I/usr/local/include -I../../../../../src/parser/../include -I../../../../../src/parser/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -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 -c ../../../../../src/parser/parser_builder.cpp -fPIC -DPIC -o .libs/parser_builder.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=link 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 libtool: link: 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,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs -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] libtool: link: (cd ".libs" && rm -f "libcvc4parser.so.5" && ln -s "libcvc4parser.so.5.0.0" "libcvc4parser.so.5") libtool: link: (cd ".libs" && rm -f "libcvc4parser.so" && ln -s "libcvc4parser.so.5.0.0" "libcvc4parser.so") libtool: link: ( cd ".libs" && rm -f "libcvc4parser.la" && ln -s "../libcvc4parser.la" "libcvc4parser.la" ) gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser' Making all in compat gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/compat' /usr/local/bin/bash ../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/compat -I../.. -D__BUILDING_CVC4COMPATLIB -I./.. -I/usr/local/include -I../../../../../src/compat/../include -I../../../../../src/compat/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -fno-strict-aliasing -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o libcvc4compat_la-cvc3_compat.lo `test -f 'cvc3_compat.cpp' || echo '../../../../../src/compat/'`cvc3_compat.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/compat -I../.. -D__BUILDING_CVC4COMPATLIB -I./.. -I/usr/local/include -I../../../../../src/compat/../include -I../../../../../src/compat/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -fno-strict-aliasing -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../src/compat/cvc3_compat.cpp -fPIC -DPIC -o .libs/libcvc4compat_la-cvc3_compat.o /usr/local/bin/bash ../../libtool --tag=CXX --mode=link clang++60 -fno-strict-aliasing -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -no-undefined -version-info 5:0:0 -L/usr/local/lib -o libcvc4compat.la -rpath /usr/local/lib libcvc4compat_la-cvc3_compat.lo ./../libcvc4.la ./../parser/libcvc4parser.la ./../lib/libreplacements.la -lgmp -lgmp -L/usr/local/lib libtool: link: clang++60 -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o .libs/libcvc4compat_la-cvc3_compat.o -Wl,--whole-archive ./../lib/.libs/libreplacements.a -Wl,--no-whole-archive -Wl,-rpath -Wl,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs -Wl,-rpath -Wl,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/.libs -Wl,-rpath -Wl,/usr/local/lib -L/usr/local/lib ./../.libs/libcvc4.so ./../parser/.libs/libcvc4parser.so -lantlr3c /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.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,libcvc4compat.so.5 -o .libs/libcvc4compat.so.5.0.0 clang-6.0: warning: argument unused during compilation: '-pthread' [-Wunused-command-line-argument] libtool: link: (cd ".libs" && rm -f "libcvc4compat.so.5" && ln -s "libcvc4compat.so.5.0.0" "libcvc4compat.so.5") libtool: link: (cd ".libs" && rm -f "libcvc4compat.so" && ln -s "libcvc4compat.so.5.0.0" "libcvc4compat.so") libtool: link: ( cd ".libs" && rm -f "libcvc4compat.la" && ln -s "../libcvc4compat.la" "libcvc4compat.la" ) gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/compat' Making all in bindings gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings' Making all in compat gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat' Making all in c gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/c' /usr/local/bin/bash ../../../../libtool --tag=CXX --mode=compile clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../../src/bindings/compat/c -I../../../.. -D__BUILDING_CVC4BINDINGSLIB -I./../../.. -I../../../../../../../src/bindings/compat/c/../../../include -I../../../../../../../src/bindings/compat/c/../../.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-return-type -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o c_interface.lo ../../../../../../../src/bindings/compat/c/c_interface.cpp libtool: compile: clang++60 -DHAVE_CONFIG_H -I. -I../../../../../../../src/bindings/compat/c -I../../../.. -D__BUILDING_CVC4BINDINGSLIB -I./../../.. -I../../../../../../../src/bindings/compat/c/../../../include -I../../../../../../../src/bindings/compat/c/../../.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-return-type -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c ../../../../../../../src/bindings/compat/c/c_interface.cpp -fPIC -DPIC -o .libs/c_interface.o /usr/local/bin/bash ../../../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-return-type -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -version-info 5:0:0 -L/usr/local/lib -o libcvc4bindings_c_compat.la -rpath /usr/local/lib c_interface.lo ./../../../compat/libcvc4compat.la ./../../../libcvc4.la -lgmp -lgmp -L/usr/local/lib libtool: link: clang++60 -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o .libs/c_interface.o -Wl,-rpath -Wl,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/compat/.libs -Wl,-rpath -Wl,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/.libs -Wl,-rpath -Wl,/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs -Wl,-rpath -Wl,/usr/local/lib -L/usr/local/lib ./../../../compat/.libs/libcvc4compat.so /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/parser/.libs/libcvc4parser.so -lantlr3c /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs/libcvc4.so ./../../../.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,libcvc4bindings_c_compat.so.5 -o .libs/libcv c4bindings_c_compat.so.5.0.0 clang-6.0: warning: argument unused during compilation: '-pthread' [-Wunused-command-line-argument] libtool: link: (cd ".libs" && rm -f "libcvc4bindings_c_compat.so.5" && ln -s "libcvc4bindings_c_compat.so.5.0.0" "libcvc4bindings_c_compat.so.5") libtool: link: (cd ".libs" && rm -f "libcvc4bindings_c_compat.so" && ln -s "libcvc4bindings_c_compat.so.5.0.0" "libcvc4bindings_c_compat.so") libtool: link: ( cd ".libs" && rm -f "libcvc4bindings_c_compat.la" && ln -s "../libcvc4bindings_c_compat.la" "libcvc4bindings_c_compat.la" ) gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/c' Making all in java gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/java' gmake all-am gmake[10]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/java' gmake[10]: Nothing to be done for 'all-am'. gmake[10]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/java' gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat/java' gmake[9]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat' gmake[9]: Nothing to be done for 'all-am'. gmake[9]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat' gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings/compat' gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings' gmake[8]: Nothing to be done for 'all-am'. gmake[8]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings' gmake[7]: Leaving directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/bindings' Making all in main gmake[7]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/main' grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" ../../../../../src/main/../parser/cvc/Cvc.g | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >cvc_tokens.h grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" ../../../../../src/main/../parser/smt1/Smt1.g | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >smt1_tokens.h grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" ../../../../../src/main/../parser/smt2/Smt2.g | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >smt2_tokens.h grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" ../../../../../src/main/../parser/tptp/Tptp.g | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >tptp_tokens.h gmake all-am gmake[8]: Entering directory '/wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/main' clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o main.o ../../../../../src/main/main.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o command_executor.o ../../../../../src/main/command_executor.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o driver_unified.o ../../../../../src/main/driver_unified.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o interactive_shell.o ../../../../../src/main/interactive_shell.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o util.o ../../../../../src/main/util.cpp rm -f libmain.a ar cru libmain.a interactive_shell.o util.o ranlib libmain.a /usr/local/bin/bash ../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o cvc4 main.o command_executor.o driver_unified.o libmain.a ./../parser/libcvc4parser.la ./../libcvc4.la -lreadline ./../lib/libreplacements.la -lgmp -lgmp -L/usr/local/lib libtool: link: clang++60 -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -o .libs/cvc4 main.o command_executor.o driver_unified.o -L/usr/local/lib libmain.a ./../parser/.libs/libcvc4parser.so /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs/libcvc4.so ./../.libs/libcvc4.so -lreadline ./../lib/.libs/libreplacements.a -lantlr3c -lcryptominisat5 -lgmp -pthread -Wl,-rpath -Wl,/usr/local/lib clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-main.o `test -f 'main.cpp' || echo '../../../../../src/main/'`main.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-portfolio.o `test -f 'portfolio.cpp' || echo '../../../../../src/main/'`portfolio.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-portfolio_util.o `test -f 'portfolio_util.cpp' || echo '../../../../../src/main/'`portfolio_util.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-command_executor.o `test -f 'command_executor.cpp' || echo '../../../../../src/main/'`command_executor.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-command_executor_portfolio.o `test -f 'command_executor_portfolio.cpp' || echo '../../../../../src/main/'`command_executor_portfolio.cpp clang++60 -DHAVE_CONFIG_H -I. -I../../../../../src/main -I../.. -D__BUILDING_CVC4DRIVER -I./.. -I/usr/local/include -I../../../../../src/main/../include -I../../../../../src/main/.. -pthread -DPORTFOLIO_BUILD -I/usr/local/include -isystem /usr/local/include -pthread -DCVC4_PROOF -DCVC4_STATISTICS_ON -DNDEBUG -DCVC4_DUMPING -DCVC4_USE_CRYPTOMINISAT -I/usr/local/include -DCVC4_PORTFOLIO -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -c -o pcvc4-driver_unified.o `test -f 'driver_unified.cpp' || echo '../../../../../src/main/'`driver_unified.cpp /usr/local/bin/bash ../../libtool --tag=CXX --mode=link clang++60 -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -L/usr/local/lib -o pcvc4 pcvc4-main.o pcvc4-portfolio.o pcvc4-portfolio_util.o pcvc4-command_executor.o pcvc4-command_executor_portfolio.o pcvc4-driver_unified.o libmain.a ./../parser/libcvc4parser.la ./../libcvc4.la -lreadline ./../lib/libreplacements.la -lboost_thread -lboost_system -pthread -L/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib -lgmp -lgmp -L/usr/local/lib libtool: link: clang++60 -Wall -Wno-unknown-pragmas -O2 -pipe -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wnon-virtual-dtor -Wno-deprecated -o .libs/pcvc4 pcvc4-main.o pcvc4-portfolio.o pcvc4-portfolio_util.o pcvc4-command_executor.o pcvc4-command_executor_portfolio.o pcvc4-driver_unified.o -pthread -Wl,-rpath -Wl,/usr/local/lib -L/usr/local/lib libmain.a ./../parser/.libs/libcvc4parser.so /wrkdirs/usr/ports/math/cvc4/work/cvc4-1.6/builds/armv7-portbld-freebsd12.0/production/src/.libs/libcvc4.so ./../.libs/libcvc4.so -lreadline ./../lib/.libs/libreplacements.a -lboost_thread -lboost_system -lantlr3c -lcryptominisat5 -lgmp -pthread -Wl,-rpath -Wl,/usr/local/lib =>> 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?201906220001.x5M01sEU083791>