+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.5/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.5/work.log
===> Building for yices2-2.6.5
Mode:     release
Platform: x86_64-pc-solaris2.11
gmake[1]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
mkdir -p build/x86_64-pc-solaris2.11-release
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mt
Mode:     release
mkdir -p build/x86_64-pc-solaris2.11-release/obj/io
mkdir -p build/x86_64-pc-solaris2.11-release/obj/terms
mkdir -p build/x86_64-pc-solaris2.11-release/obj/utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers
Platform: x86_64-pc-solaris2.11
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/funs
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/bv
gmake[1]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/bv
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/egraph
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/egraph
Mode:     release
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl
Platform: x86_64-pc-solaris2.11
gmake[1]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/simplex
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/simplex
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/quant
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/quant
mkdir -p build/x86_64-pc-solaris2.11-release/obj/solvers/quant
mkdir -p build/x86_64-pc-solaris2.11-release/obj/parser_utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/parser_utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/parser_utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/model
mkdir -p build/x86_64-pc-solaris2.11-release/obj/model
mkdir -p build/x86_64-pc-solaris2.11-release/obj/api
mkdir -p build/x86_64-pc-solaris2.11-release/obj/api
mkdir -p build/x86_64-pc-solaris2.11-release/obj/api
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/common
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/common
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/common
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt1
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt1
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt1
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/yices
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/yices
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/yices
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt2
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt2
mkdir -p build/x86_64-pc-solaris2.11-release/obj/frontend/smt2
mkdir -p build/x86_64-pc-solaris2.11-release/obj/context
mkdir -p build/x86_64-pc-solaris2.11-release/obj/context
mkdir -p build/x86_64-pc-solaris2.11-release/obj/context
mkdir -p build/x86_64-pc-solaris2.11-release/obj/exists_forall
mkdir -p build/x86_64-pc-solaris2.11-release/obj/exists_forall
mkdir -p build/x86_64-pc-solaris2.11-release/obj/exists_forall
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/eq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/eq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/eq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/weq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/weq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/weq
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/uf
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/uf
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/uf
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bool
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bool
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bool
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/ite
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/ite
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/ite
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/nra
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/nra
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/nra
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bv
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bv
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bv/explain
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bv/explain
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/bv/explain
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/utils
mkdir -p build/x86_64-pc-solaris2.11-release/obj/mcsat/utils
mkdir -p build/x86_64-pc-solaris2.11-release/lib
mkdir -p build/x86_64-pc-solaris2.11-release/lib
mkdir -p build/x86_64-pc-solaris2.11-release/bin
mkdir -p build/x86_64-pc-solaris2.11-release/bin
mkdir -p build/x86_64-pc-solaris2.11-release/bin
./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_release_version.c 2.6.5 release x86_64-pc-solaris2.11
./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_release_version.c 2.6.5 release x86_64-pc-solaris2.11
./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_release_version.c 2.6.5 release x86_64-pc-solaris2.11
diff: illegal option -- N
usage: diff [-biqtw] [-c | -e | -f | -h | -n | -u] file1 file2
       diff [-biqtw] [-C number | -U number] file1 file2
       diff [-biqtw] [-D string] file1 file2
       diff [-biqtw] [-c | -e | -f | -h | -n | -u] [-l] [-r] [-s] [-S name] directory1 directory2
diff: illegal option -- N
usage: diff [-biqtw] [-c | -e | -f | -h | -n | -u] file1 file2
       diff [-biqtw] [-C number | -U number] file1 file2
       diff [-biqtw] [-D string] file1 file2
       diff [-biqtw] [-c | -e | -f | -h | -n | -u] [-l] [-r] [-s] [-S name] directory1 directory2
diff: illegal option -- N
usage: diff [-biqtw] [-c | -e | -f | -h | -n | -u] file1 file2
       diff [-biqtw] [-C number | -U number] file1 file2
       diff [-biqtw] [-D string] file1 file2
       diff [-biqtw] [-c | -e | -f | -h | -n | -u] [-l] [-r] [-s] [-S name] directory1 directory2
=== Building objects ===
=== Building binaries ===
=== Building libraries ===
gmake[2]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
gmake[2]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.d
gmake[2]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/assumption_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/assumption_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/common_conjuncts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/assumption_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/conditional_definitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/common_conjuncts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/common_conjuncts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_simplifier.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/conditional_definitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_statistics.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/conditional_definitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_simplifier.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_simplifier.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/divmod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_statistics.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/ite_flattener.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_statistics.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/divmod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/pseudo_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/divmod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/shared_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/ite_flattener.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/symmetry_breaking.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/pseudo_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/eq_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/shared_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_client.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/symmetry_breaking.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_analyze.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/ite_flattener.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/pseudo_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/shared_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_skolemize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_client.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_analyze.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/symmetry_breaking.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/efsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/attribute_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_skolemize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/efsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/quant_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/concrete_value_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_client.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/attribute_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/pretty_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_analyze.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/reader.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/simple_printf.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/term_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/concrete_value_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_skolemize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/tracer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/efsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/attribute_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/type_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/yices_pp.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/pretty_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/writer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/reader.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/simple_printf.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/abstract_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/arith_projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/term_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/concrete_value_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/tracer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/concrete_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fresh_value_maker.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/type_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/pretty_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/yices_pp.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_trees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/reader.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/generalization.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/literal_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/writer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/simple_printf.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/map_to_model.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/term_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_eval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/abstract_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/arith_projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/tracer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_queries.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_support.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/concrete_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/type_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/yices_pp.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fresh_value_maker.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/models.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/io/writer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/presburger.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/abstract_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_trees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/generalization.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/arith_projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/term_to_val.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/val_to_term.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/literal_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/concrete_values.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mt/yices_locks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/map_to_model.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fresh_value_maker.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_eval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_queries.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/fun_trees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/generalization.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_support.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/literal_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/models.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bit_blaster.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/map_to_model.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_eval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/presburger.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv64_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_queries.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvconst_hmap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/model_support.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvexp_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/term_to_val.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/models.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/presburger.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/val_to_term.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_compiler.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_dag.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mt/yices_locks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/projection.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/term_to_val.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/val_to_term.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mt/yices_locks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/dimacs_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bit_blaster.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv64_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/merge_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/remap_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvconst_hmap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/delegate.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvexp_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack_error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_hash_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_compiler.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gates.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bit_blaster.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_dag.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv64_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/dimacs_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/wide_truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvconst_hmap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/merge_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvexp_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/composites.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/remap_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_intervals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/diseq_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_compiler.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/delegate.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_hash_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_assertion_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_dag.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gates.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/dimacs_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/theory_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/dl_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/merge_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/wide_truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/composites.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/diseq_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_assertion_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/remap_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_level.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/delegate.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/stratification.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_hash_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/diophantine_systems.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/gomory_cuts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gates.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/integrality_constraints.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/theory_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/matrices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/dl_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_gate_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/offset_equalities.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_level.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/wide_truth_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/composites.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_problem.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/stratification.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/diseq_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_pattern.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_cnstr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_assertion_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/diophantine_systems.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/cnstr_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/term_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/gomory_cuts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/integrality_constraints.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/matrices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/offset_equalities.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/theory_explanations.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/dl_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instance.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_compile.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_execute.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_problem.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_ematching.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_pattern.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_level.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_cnstr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/balanced_arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/stratification.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/cnstr_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/term_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_atomtable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_interval_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_term_conversion.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_vartable.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/diophantine_systems.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/gomory_cuts.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instance.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_compile.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/integrality_constraints.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/matrices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_execute.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/offset_equalities.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_ematching.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/balanced_arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvfactor_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ef_problem.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvlogic_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_term_conversion.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_interval_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvpoly_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_pattern.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_slices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/conditionals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_cnstr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/elim_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/extended_rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/cnstr_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/term_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/free_var_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/full_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/int_rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/ite_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvfactor_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_instance.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvlogic_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_aux.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_compile.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvpoly_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/ematch_execute.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_slices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/conditionals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_ematching.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/elim_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/power_products.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/extended_rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/quant/quant_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/pprod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/free_var_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/full_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/balanced_arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_term_conversion.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rba_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/renaming_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/int_rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_interval_abstraction.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/ite_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_explorer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_aux.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/power_products.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/pprod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_substitution.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_constants.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rba_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/renaming_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvfactor_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/types.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvlogic_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/variable_renaming.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bvpoly_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/arena.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_explorer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_slices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/csets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/conditionals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cputime.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_substitution.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/elim_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/dep_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/extended_rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/free_var_collector.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/gcd.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/types.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/variable_renaming.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/full_subst.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/generic_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/hash_functions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/arena.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/index_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/int_rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/indexed_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/ite_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_hsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/csets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cputime.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_aux.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bags.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/dep_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bv_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_harray_store.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/gcd.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/generic_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/polynomials.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/hash_functions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/power_products.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/index_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/pprod_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/indexed_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_hsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rational_hash_maps.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rationals.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/rba_buffer_terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bags.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bv_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_powers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/renaming_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_harray_store.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_explorer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/mark_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_manager.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memalloc.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/terms.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_substitution.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pointer_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_powers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/term_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/types.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/variable_renaming.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/mark_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memalloc.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/arena.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/csets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/cputime.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pointer_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/dep_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/error.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_int_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/gcd.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_strings.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/generic_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/resize_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/hash_functions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/index_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/sparse_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/indexed_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_hsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/stable_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_int_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/symbol_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_strings.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bags.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bv_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tag_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/resize_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_harray_store.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tuple_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/sparse_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_rbtrees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/stable_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/use_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/vector_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/no_mcsat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/symbol_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tag_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tuple_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/options.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_rbtrees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/use_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_powers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/dump_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/vector_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/no_mcsat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/int_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/options.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumptions_and_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/mark_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumption_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memalloc.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/dump_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/bug_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/named_term_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stores.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumptions_and_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumption_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pointer_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/bug_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/named_term_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/parenthesized_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_classes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_commands.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_expressions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_heap.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_partitions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/parenthesized_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_queues.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_commands.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_expressions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_symbol_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_int_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_strings.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_type_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_symbol_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/resize_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_cache.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/arith_solver_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/labeled_assertions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_int_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/sparse_arrays.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_help.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_type_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_reval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/stable_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/arith_solver_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/large_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/labeled_assertions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_help.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/rb_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_utils.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/small_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_reval.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/symbol_tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/large_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tag_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/clause_pool.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/tuple_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/rb_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/small_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_rbtrees.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/use_vectors.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/clause_pool.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/vector_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_learner.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_fw_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/no_mcsat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/mcsat/options.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_fw_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/context_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_fw_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/dump_context.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/dsolver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/int_constraint_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_fw_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumptions_and_core.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/dsolver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_prop_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumption_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/bug_report.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/int_constraint_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/named_term_stacks.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/command_line.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/parameters.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memsize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_prop_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/tables.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/command_line.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/timeout.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/union_find.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memsize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat_new.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/timeout.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/parenthesized_expr.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/union_find.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_commands.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat_new.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smtcomp.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_expressions.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_model_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_release_version.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_parser.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smtcomp.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
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_release_version.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_symbol_printer.d
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
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_term_stack.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_type_printer.d
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
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/arith_solver_codes.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/labeled_assertions.d
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
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_help.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_reval.d
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-solaris2.11-release/obj/model/large_bvsets.d
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
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/rb_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/model/small_bvsets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver_printer.d
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-solaris2.11-release/obj/solvers/cdcl/clause_pool.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/sat_solver.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_fw_printer.d
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices.c -o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices.o
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_fw_printer.d
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/context_config.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.o
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/context_config.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.o
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/dsolver_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/int_constraint_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_printer.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_prop_table.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/terms/arith_buffers.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/command_line.d
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/search_parameters.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.o
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/memsize.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_sets.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/string_hash_map.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/timeout.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/utils/union_find.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices.d
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/search_parameters.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.o
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat_new.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt2.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smtcomp.d
Building dependency file ../build/x86_64-pc-solaris2.11-release/obj/api/yices_release_version.d
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/smt_logic_codes.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.o
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/smt_logic_codes.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.o
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_api.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_api.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_api.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o
In file included from ./terms/pprod_table.h:30,
                 from ./terms/balanced_arith_buffers.h:39,
                 from ./terms/terms.h:186,
                 from ./context/assumption_stack.h:48,
                 from ./context/context_types.h:31,
                 from ./api/context_config.h:50,
                 from api/yices_api.c:61:
./utils/indexed_table.h:26:17: error: conflicting types for 'index_t'; have 'int32_t' {aka 'int'}
   26 | typedef int32_t index_t;
      |                 ^~~~~~~
In file included from /usr/include/unistd.h:41,
                 from api/yices_api.c:59:
/usr/include/sys/types.h:129:25: note: previous declaration of 'index_t' with type 'index_t' {aka 'short int'}
  129 | typedef short           index_t;
      |                         ^~~~~~~
In file included from ./terms/pprod_table.h:30,
                 from ./terms/balanced_arith_buffers.h:39,
                 from ./terms/terms.h:186,
                 from ./context/assumption_stack.h:48,
                 from ./context/context_types.h:31,
                 from ./api/context_config.h:50,
                 from api/yices_api.c:61:
./utils/indexed_table.h:26:17: error: conflicting types for 'index_t'; have 'int32_t' {aka 'int'}
   26 | typedef int32_t index_t;
      |                 ^~~~~~~
In file included from /usr/include/unistd.h:41,
                 from api/yices_api.c:59:
/usr/include/sys/types.h:129:25: note: previous declaration of 'index_t' with type 'index_t' {aka 'short int'}
  129 | typedef short           index_t;
      |                         ^~~~~~~
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.o
In file included from ./terms/pprod_table.h:30,
                 from ./terms/balanced_arith_buffers.h:39,
                 from ./terms/terms.h:186,
                 from ./context/assumption_stack.h:48,
                 from ./context/context_types.h:31,
                 from ./api/context_config.h:50,
                 from api/yices_api.c:61:
./utils/indexed_table.h:26:17: error: conflicting types for 'index_t'; have 'int32_t' {aka 'int'}
   26 | typedef int32_t index_t;
      |                 ^~~~~~~
In file included from /usr/include/unistd.h:41,
                 from api/yices_api.c:59:
/usr/include/sys/types.h:129:25: note: previous declaration of 'index_t' with type 'index_t' {aka 'short int'}
  129 | typedef short           index_t;
      |                         ^~~~~~~
gmake[2]: *** [Makefile:1011: ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.o
gmake[2]: *** [Makefile:1011: ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
gcc -I. -Iinclude -I/opt/pkg/include -DSOLARIS -DNDEBUG -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_error.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.o
gmake[2]: *** [Makefile:1011: ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
gmake[2]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
gmake[1]: *** [Makefile.build:250: bin] Error 2
gmake[1]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
gmake: *** [Makefile:295: bin] Error 2
gmake: *** Waiting for unfinished jobs....
gmake[2]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
gmake[1]: *** [Makefile.build:234: obj] Error 2
gmake[1]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
gmake: *** [Makefile:295: obj] Error 2
gmake[2]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5/src'
gmake[1]: *** [Makefile.build:242: lib] Error 2
gmake[1]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5'
gmake: *** [Makefile:295: lib] Error 2
*** Error code 2

Stop.
bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/yices2
*** Error code 1

Stop.
bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/yices2