From https://github.com/archlinux/svntogit-community * branch packages/yices -> FETCH_HEAD * [new branch] packages/yices -> community/packages/yices Cloning into 'yices'... done. :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 131k 100 131k 0 0 375k 0 --:--:-- --:--:-- --:--:-- 376k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 1 8542k 1 115k 0 0 318k 0 0:00:26 --:--:-- 0:00:26 318k 100 8542k 100 8542k 0 0 20.1M 0 --:--:-- --:--:-- --:--:-- 20.1M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 143k 100 143k 0 0 414k 0 --:--:-- --:--:-- --:--:-- 415k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ SOURCE_DATE_EPOCH=1690305410 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1690305410' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-yices-archlinuxrb-build-ya8eiasd PWD=/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: yices 2.6.4-1 (Tue Jul 25 17:17:12 2023) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (2) cudd-3.0.0-1 libpoly-0.1.11-1 Total Download Size: 0.65 MiB Total Installed Size: 3.12 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 291k 100 291k 0 0 8272k 0 --:--:-- --:--:-- --:--:-- 8332k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 378k 100 378k 0 0 20.9M 0 --:--:-- --:--:-- --:--:-- 21.7M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing cudd... installing libpoly... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (1) gperf-3.1-4 Total Download Size: 0.10 MiB Total Installed Size: 0.22 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 98k 100 98k 0 0 14.7M 0 --:--:-- --:--:-- --:--:-- 15.9M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing gperf... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Updating the info directory file... ==> Retrieving sources... -> Downloading Yices-2.6.4.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5392k 0 5392k 0 0 4136k 0 --:--:-- 0:00:01 --:--:-- 6099k 100 9948k 0 9948k 0 0 4350k 0 --:--:-- 0:00:02 --:--:-- 5331k ==> Validating source files with sha512sums... Yices-2.6.4.tar.gz ... Passed ==> Extracting sources... -> Extracting Yices-2.6.4.tar.gz with bsdtar ==> Starting build()... configure.ac:79: warning: The macro `AC_PROG_CC_C99' is obsolete. configure.ac:79: You should run autoupdate. ./lib/autoconf/c.m4:1659: AC_PROG_CC_C99 is expanded from... configure.ac:79: the top level configure.ac:909: warning: AC_C_BIGENDIAN should be used with AC_CONFIG_HEADERS checking build system type... x86_64-pc-linux-gnu checking whether make sets $(MAKE)... yes checking for a sed that does not truncate output... /usr/sbin/sed checking whether ln -s works... yes checking for a race-free mkdir -p... /usr/sbin/mkdir -p checking for a BSD-compatible install... /usr/bin/install -c checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking for ranlib... ranlib checking for grep that handles long lines and -e... /usr/sbin/grep checking for egrep... /usr/sbin/grep -E checking for ld... ld checking for ar... ar checking for strip... strip checking for gperf... gperf checking gperf version... 3.1 checking whether gcc accepts option -fno-stack-protector... yes checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking whether byte ordering is bigendian... no configure: Enabling support for MCSAT configure: Trying to find a usable libgmp.a configure: Searching in /usr/x86_64-pc-linux-gnu/lib64 /usr/lib /usr/local/lib /usr/x86_64-pc-linux-gnu/lib /usr/local/lib /usr/lib /lib checking for libgmp.a in /usr/x86_64-pc-linux-gnu/lib64... no checking for libgmp.a in /usr/lib... no checking for libgmp.a in /usr/local/lib... no checking for libgmp.a in /usr/x86_64-pc-linux-gnu/lib... no checking for libgmp.a in /usr/local/lib... no checking for libgmp.a in /usr/lib... no checking for libgmp.a in /lib... no configure: WARNING: *** No usable libgmp.a library was found *** checking for main in -lm... yes configure: Searching for a usable libpoly.a configure: Searching in /usr/x86_64-pc-linux-gnu/lib64 /usr/lib /usr/local/lib /usr/x86_64-pc-linux-gnu/lib /usr/local/lib /usr/lib /lib checking for libpoly.a in /usr/x86_64-pc-linux-gnu/lib64... no checking for libpoly.a in /usr/lib... no checking for libpoly.a in /usr/local/lib... no checking for libpoly.a in /usr/x86_64-pc-linux-gnu/lib... no checking for libpoly.a in /usr/local/lib... no checking for libpoly.a in /usr/lib... no checking for libpoly.a in /lib... no configure: WARNING: *** No usable libpoly.a library was found *** checking for __gmpz_cmp in -lgmp... yes checking for lp_polynomial_new in -lpoly... yes checking for Cudd_Init in -lcudd... yes configure: creating ./config.status config.status: creating make.include configure: Moving make.include to configs/make.include.x86_64-pc-linux-gnu Mode: release Platform: x86_64-pc-linux-gnu make[1]: Entering directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4' /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mt /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/io /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/terms /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/utils /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/funs /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/bv /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/egraph /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/simplex /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/solvers/quant /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/parser_utils /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/model /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/scratch /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/api /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/frontend /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/frontend/common /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/frontend/smt1 /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/frontend/yices /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/frontend/smt2 /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/context /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/exists_forall /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/eq /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/uf /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/bool /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/ite /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/nra /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/bv /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/obj/mcsat/utils /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/lib /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/bin ./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_release_version.c 2.6.4 release x86_64-pc-linux-gnu /usr/sbin/mkdir -p build/x86_64-pc-linux-gnu-release/dist === Preparing binary distribution === make[2]: Entering directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4/src' Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/context_config.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/yval.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/reader.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/io/writer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/models.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/projection.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/types.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_parameters.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/context_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/dump_context.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumptions_and_core.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumption_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/bug_report.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/named_term_stacks.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/parameters.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/tables.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_parser.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_term_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/parenthesized_expr.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_commands.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_expressions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_model_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_parser.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_symbol_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_term_stack.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_type_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/arith_solver_codes.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/labeled_assertions.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_help.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_reval.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/large_bvsets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/rb_bvsets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/model/small_bvsets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/scratch/booleq_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/scratch/bool_vartable.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/scratch/update_graph.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/clause_pool.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/sat_solver.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_fw_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_fw_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/dsolver_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/int_constraint_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_printer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_prop_table.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/terms/arith_buffers.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/command_line.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/memsize.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_sets.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/string_hash_map.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/timeout.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/utils/union_find.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat_new.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2_mt.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smtcomp.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/api/yices_release_version.d gperf -C -L ANSI-C -W yices_kw --output-file=frontend/yices/yices_hash_keywords.h \ --lookup-function-name=in_yices_kw frontend/yices/yices_keywords.txt gperf -C -L ANSI-C -W smt_kw --output-file=frontend/smt1/smt_hash_keywords.h \ --lookup-function-name=in_smt_kw frontend/smt1/smt_keywords.txt gperf -C -L ANSI-C -W smt2_tk -H hash_tk -E --output-file=frontend/smt2/smt2_hash_tokens.h \ --lookup-function-name=in_smt2_tk frontend/smt2/smt2_tokens.txt gperf -C -L ANSI-C -W smt2_kw -H hash_kw -E --output-file=frontend/smt2/smt2_hash_keywords.h \ --lookup-function-name=in_smt2_kw frontend/smt2/smt2_keywords.txt gperf -C -L ANSI-C -W smt2_sym -H hash_sym -E --output-file=frontend/smt2/smt2_hash_symbols.h \ --lookup-function-name=in_smt2_sym frontend/smt2/smt2_symbols.txt Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.d Building dependency file ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.d gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/context_config.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/context_config.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/search_parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/smt_logic_codes.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_api.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error_report.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yval.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yval.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/assumption_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/common_conjuncts.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/conditional_definitions.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_simplifier.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_statistics.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/divmod_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/eq_abstraction.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/eq_learner.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/internalization_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/ite_flattener.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/pseudo_subst.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/shared_terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/symmetry_breaking.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/quant_context_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/quant_context.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_client.c -o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_analyze.c -o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_values.c -o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/ef_skolemize.c -o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c exists_forall/efsolver.c -o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/attribute_values.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/concrete_value_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/model_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/pretty_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/reader.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/reader.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/simple_printf.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/term_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/tracer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/type_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/yices_pp.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c io/writer.c -o ../build/x86_64-pc-linux-gnu-release/obj/io/writer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/abstract_values.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/arith_projection.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/concrete_values.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fresh_value_maker.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fun_maps.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/fun_trees.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/generalization.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/literal_collector.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/map_to_model.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/model_eval.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/model_queries.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/model_support.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/models.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/models.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/presburger.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/projection.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/projection.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/term_to_val.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/val_to_term.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mt/yices_locks.c -o ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/term_stack2.c -o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c parser_utils/term_stack_error.c -o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bit_blaster.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv64_intervals.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_atomtable.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvconst_hmap.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvexp_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_intervals.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvpoly_compiler.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvpoly_dag.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvsolver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bv_vartable.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/dimacs_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/merge_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/remap_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/delegate.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_hash_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/new_gates.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/new_gate_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/new_gate_hash_map2.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/new_sat_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/smt_core.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/truth_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/wide_truth_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/composites.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/diseq_stacks.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_assertion_queues.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_explanations.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/theory_explanations.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/dl_vartable.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/idl_floyd_warshall.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/rdl_floyd_warshall.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_level.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/stratification.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/arith_atomtable.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/arith_vartable.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/diophantine_systems.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/gomory_cuts.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/integrality_constraints.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/matrices.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/offset_equalities.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/quant_parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ef_parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ef_problem.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/quant_pattern.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/quant_cnstr.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/cnstr_learner.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/term_learner.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ematch_instr.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ematch_instr_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ematch_instance.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ematch_compile.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/ematch_execute.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/quant_ematching.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/quant/quant_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/balanced_arith_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bit_expr.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bit_term_conversion.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv64_interval_abstraction.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv64_constants.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv64_polynomials.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith64_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith64_buffer_terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvarith_buffer_terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv_constants.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvfactor_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvlogic_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bvpoly_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv_polynomials.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/bv_slices.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/conditionals.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/elim_subst.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/extended_rationals.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/free_var_collector.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/full_subst.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/int_rational_hash_maps.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/ite_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/mpq_aux.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/mpq_stores.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/poly_buffer.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/poly_buffer_terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/polynomials.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/power_products.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/pprod_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rational_hash_maps.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rationals.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/rba_buffer_terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/renaming_context.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/subst_cache.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/subst_context.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_explorer.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/terms.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_substitution.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/term_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/types.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/types.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/variable_renaming.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/arena.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/backtrack_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/backtrack_int_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/cache.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/csets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/cputime.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/dep_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/gcd.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/generic_heap.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/hash_functions.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/index_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_hsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_sort2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_array_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_bags.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_bv_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_harray_store.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_classes.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_map2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_hash_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_heap2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_heap.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_partitions.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_powers.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_queues.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/int_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/mark_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/memalloc.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/object_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/object_stores.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_map2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pointer_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_array_sort2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_array_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_hash_classes.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_heap.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_partitions.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_queues.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_sets2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_int_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_strings.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/resize_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/simple_cache.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/simple_int_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/sparse_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/stable_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/symbol_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tag_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tuple_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_array_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_array_sort2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_rbtrees.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/use_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/vector_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_learner.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/tracing.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/variable_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/variable_queue.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/value.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/model.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/trail.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/conflict.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/gc.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/eq/equality_graph.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/eq/merge_queue.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/int_mset.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/int_lset.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/value_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/value_vector.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/scope_holder.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/statistics.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/substitution.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/uf/uf_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/clause_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/cnf.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/bcp_watch_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/bool_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin_internal.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin_explain.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/libpoly_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/poly_constraint.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/feasible_set_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/ite/ite_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_bdd_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_evaluator.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_explainer.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_feasible_set_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bdd_computation.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_norm.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_intervals.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/eq_ext_con.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/full_bv_sat.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/full_bv_trivial.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/watch_list_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/preprocessor.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/options.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_parameters.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/dump_context.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/dump_context.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/internalization_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/assumptions_and_core.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumptions_and_core.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/assumption_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumption_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/bug_report.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/bug_report.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/named_term_stacks.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/named_term_stacks.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/parameters.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/tables.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_parser.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_term_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_term_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/parenthesized_expr.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/parenthesized_expr.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_commands.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_commands.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_expressions.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_expressions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_model_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_model_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_parser.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_symbol_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_symbol_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_term_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_term_stack.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_type_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_type_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/arith_solver_codes.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/arith_solver_codes.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/labeled_assertions.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/labeled_assertions.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_help.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_help.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_reval.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_reval.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/large_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/large_bvsets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/rb_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/rb_bvsets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/small_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/small_bvsets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/booleq_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/booleq_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/bool_vartable.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/bool_vartable.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/update_graph.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/update_graph.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvsolver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/clause_pool.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/clause_pool.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/sat_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/sat_solver.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/smt_core_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/idl_fw_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_fw_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/rdl_fw_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_fw_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_solver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/dsolver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/dsolver_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/int_constraint_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/int_constraint_printer.o In function 'bool_vartable_simplify_and_add_clause', inlined from 'bool_vartable_simplify_and_add_unit_clause' at scratch/bool_vartable.c:647:3: scratch/bool_vartable.c:633:9: warning: array subscript 1 is outside array bounds of 'literal_t[1]' {aka 'int[1]'} [-Warray-bounds=] 633 | aux = a[i]; | ~~~~^~~~~~ scratch/bool_vartable.c: In function 'bool_vartable_simplify_and_add_unit_clause': scratch/bool_vartable.c:646:83: note: at offset 4 into object 'l1' of size 4 646 | void bool_vartable_simplify_and_add_unit_clause(bool_vartable_t *table, literal_t l1) { | ~~~~~~~~~~^~ gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_printer.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_prop_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_prop_table.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/arith_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/arith_buffers.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/command_line.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/command_line.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/memsize.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/memsize.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_sets.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_hash_map.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/timeout.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/timeout.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/union_find.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/union_find.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_release_version.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_sat.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_sat_new.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat_new.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt2.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt2_mt.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2_mt.o gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smtcomp.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smtcomp.o gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -shared -o ../build/x86_64-pc-linux-gnu-release/lib/libyices.so.2.6.4 \ -Wl,-soname,libyices.so.2.6 -Wl,--no-undefined \ ../build/x86_64-pc-linux-gnu-release/obj/api/context_config.o ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.o ../build/x86_64-pc-linux-gnu-release/obj/api/yval.o ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.o ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.o ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.o ../build/x86_64-pc-linux-gnu-release/obj/context/context.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.o ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.o ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.o ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/reader.o ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.o ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.o ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.o ../build/x86_64-pc-linux-gnu-release/obj/io/writer.o ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.o ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.o ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.o ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.o ../build/x86_64-pc-linux-gnu-release/obj/model/models.o ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.o ../build/x86_64-pc-linux-gnu-release/obj/model/projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.o ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.o ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.o ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.o ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.o ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.o ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.o ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.o ../build/x86_64-pc-linux-gnu-release/obj/terms/types.o ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.o ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.o ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.o ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o -lcudd -lpoly -lgmp -lm -lc strip -x ../build/x86_64-pc-linux-gnu-release/lib/libyices.so.2.6.4 ar cr ../build/x86_64-pc-linux-gnu-release/lib/libyices.a ../build/x86_64-pc-linux-gnu-release/obj/api/context_config.o ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.o ../build/x86_64-pc-linux-gnu-release/obj/api/yval.o ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.o ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.o ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.o ../build/x86_64-pc-linux-gnu-release/obj/context/context.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.o ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.o ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.o ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/reader.o ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.o ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.o ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.o ../build/x86_64-pc-linux-gnu-release/obj/io/writer.o ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.o ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.o ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.o ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.o ../build/x86_64-pc-linux-gnu-release/obj/model/models.o ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.o ../build/x86_64-pc-linux-gnu-release/obj/model/projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.o ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.o ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.o ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.o ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.o ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.o ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.o ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.o ../build/x86_64-pc-linux-gnu-release/obj/terms/types.o ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.o ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.o ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.o ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_printer.o ../build/x86_64-pc-linux-gnu-release/obj/context/dump_context.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumptions_and_core.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumption_table.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/bug_report.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/named_term_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/parameters.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/tables.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_parser.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_term_stack.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/parenthesized_expr.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_commands.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_expressions.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_parser.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_symbol_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_term_stack.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/arith_solver_codes.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/labeled_assertions.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_help.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_reval.o ../build/x86_64-pc-linux-gnu-release/obj/model/large_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/model/rb_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/model/small_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/booleq_table.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/bool_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/update_graph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/clause_pool.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_fw_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_fw_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/dsolver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/int_constraint_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_prop_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/command_line.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memsize.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/timeout.o ../build/x86_64-pc-linux-gnu-release/obj/utils/union_find.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o ranlib ../build/x86_64-pc-linux-gnu-release/lib/libyices.a gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_sat ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_sat_new ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat_new.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2 ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2_mt ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2_mt.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \ -o ../build/x86_64-pc-linux-gnu-release/bin/yices_smtcomp ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smtcomp.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm rm -r -f ../build/x86_64-pc-linux-gnu-release/dist/* mkdir ../build/x86_64-pc-linux-gnu-release/dist/include cp include/*.h ../build/x86_64-pc-linux-gnu-release/dist/include mkdir ../build/x86_64-pc-linux-gnu-release/dist/bin cp ../build/x86_64-pc-linux-gnu-release/bin/yices ../build/x86_64-pc-linux-gnu-release/dist/bin/yices cp ../build/x86_64-pc-linux-gnu-release/bin/yices_smtcomp ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt cp ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2 ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt2 cp ../build/x86_64-pc-linux-gnu-release/bin/yices_sat ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-sat cp ../build/x86_64-pc-linux-gnu-release/bin/*.dll ../build/x86_64-pc-linux-gnu-release/dist/bin || true cp: cannot stat '../build/x86_64-pc-linux-gnu-release/bin/*.dll': No such file or directory mkdir ../build/x86_64-pc-linux-gnu-release/dist/lib cp ../build/x86_64-pc-linux-gnu-release/lib/* ../build/x86_64-pc-linux-gnu-release/dist/lib strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt2 strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-sat make[2]: Leaving directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4/src' make[1]: Leaving directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4' ==> Entering fakeroot environment... ==> Starting package()... Mode: release Platform: x86_64-pc-linux-gnu make[1]: Entering directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4' /usr/sbin/mkdir -p /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/bin /usr/sbin/mkdir -p /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/lib /usr/sbin/mkdir -p /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/include /usr/bin/install -c -m 664 build/x86_64-pc-linux-gnu-release/dist/include/* /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/include /usr/bin/install -c build/x86_64-pc-linux-gnu-release/dist/bin/* /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/bin /usr/bin/install -c build/x86_64-pc-linux-gnu-release/dist/lib/* /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/lib /sbin/ldconfig -n /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/lib && (cd /tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/pkg/yices//usr/lib && ln -s -f libyices.so.2.6.4 libyices.so) make[1]: Leaving directory '/tmp/archlinux-ci/yices-archlinuxrb-build-ya8eiasd/yices/trunk/src/yices2-Yices-2.6.4' ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "yices"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: yices 2.6.4-1 (Tue Jul 25 17:18:04 2023)