+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.1/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.1/work.log
===> Installing for yices2-2.6.1
=> Generating pre-install file lists
cd /home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1 && make dist
make[2]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
Mode:     release
Platform: x86_64-pc-solaris2.11
make[3]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_release_version.c 2.6.1 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
mkdir -p build/x86_64-pc-solaris2.11-release/dist
=== Preparing binary distribution ===
make[4]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1/src'
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/yices_release_version.c -o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_version.o
ar cr ../build/x86_64-pc-solaris2.11-release/lib/libyices.a ../build/x86_64-pc-solaris2.11-release/obj/api/context_config.o ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.o ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.o ../build/x86_64-pc-solaris2.11-release/obj/api/yval.o ../build/x86_64-pc-solaris2.11-release/obj/context/assumption_stack.o ../build/x86_64-pc-solaris2.11-release/obj/context/common_conjuncts.o ../build/x86_64-pc-solaris2.11-release/obj/context/conditional_definitions.o ../build/x86_64-pc-solaris2.11-release/obj/context/context.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_simplifier.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_solver.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_statistics.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_utils.o ../build/x86_64-pc-solaris2.11-release/obj/context/divmod_table.o ../build/x86_64-pc-solaris2.11-release/obj/context/eq_abstraction.o ../build/x86_64-pc-solaris2.11-release/obj/context/eq_learner.o ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_table.o ../build/x86_64-pc-solaris2.11-release/obj/context/ite_flattener.o ../build/x86_64-pc-solaris2.11-release/obj/context/pseudo_subst.o ../build/x86_64-pc-solaris2.11-release/obj/context/shared_terms.o ../build/x86_64-pc-solaris2.11-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_parameters.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_problem.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-solaris2.11-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/model_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/pretty_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/reader.o ../build/x86_64-pc-solaris2.11-release/obj/io/term_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/tracer.o ../build/x86_64-pc-solaris2.11-release/obj/io/type_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/yices_pp.o ../build/x86_64-pc-solaris2.11-release/obj/io/writer.o ../build/x86_64-pc-solaris2.11-release/obj/model/abstract_values.o ../build/x86_64-pc-solaris2.11-release/obj/model/arith_projection.o ../build/x86_64-pc-solaris2.11-release/obj/model/concrete_values.o ../build/x86_64-pc-solaris2.11-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-solaris2.11-release/obj/model/fun_maps.o ../build/x86_64-pc-solaris2.11-release/obj/model/fun_trees.o ../build/x86_64-pc-solaris2.11-release/obj/model/generalization.o ../build/x86_64-pc-solaris2.11-release/obj/model/literal_collector.o ../build/x86_64-pc-solaris2.11-release/obj/model/map_to_model.o ../build/x86_64-pc-solaris2.11-release/obj/model/model_eval.o ../build/x86_64-pc-solaris2.11-release/obj/model/model_queries.o ../build/x86_64-pc-solaris2.11-release/obj/model/models.o ../build/x86_64-pc-solaris2.11-release/obj/model/presburger.o ../build/x86_64-pc-solaris2.11-release/obj/model/projection.o ../build/x86_64-pc-solaris2.11-release/obj/model/term_to_val.o ../build/x86_64-pc-solaris2.11-release/obj/model/val_to_term.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/lexer.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/parser.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-solaris2.11-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_expr.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_constants.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_constants.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_slices.o ../build/x86_64-pc-solaris2.11-release/obj/terms/conditionals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/elim_subst.o ../build/x86_64-pc-solaris2.11-release/obj/terms/extended_rationals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/free_var_collector.o ../build/x86_64-pc-solaris2.11-release/obj/terms/full_subst.o ../build/x86_64-pc-solaris2.11-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-solaris2.11-release/obj/terms/ite_stack.o ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_aux.o ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer.o ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/power_products.o ../build/x86_64-pc-solaris2.11-release/obj/terms/pprod_table.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rationals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/renaming_context.o ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_cache.o ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_context.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_explorer.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_manager.o ../build/x86_64-pc-solaris2.11-release/obj/terms/terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_sets.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_substitution.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_utils.o ../build/x86_64-pc-solaris2.11-release/obj/terms/types.o ../build/x86_64-pc-solaris2.11-release/obj/terms/variable_renaming.o ../build/x86_64-pc-solaris2.11-release/obj/utils/arena.o ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/cache.o ../build/x86_64-pc-solaris2.11-release/obj/utils/csets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/dep_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/gcd.o ../build/x86_64-pc-solaris2.11-release/obj/utils/generic_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/hash_functions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/index_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bags.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_partitions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_powers.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_queues.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_stack.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/mark_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/memalloc.o ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stores.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_queues.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_stack.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_strings.o ../build/x86_64-pc-solaris2.11-release/obj/utils/resize_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_cache.o ../build/x86_64-pc-solaris2.11-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/stable_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/string_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/utils/string_utils.o ../build/x86_64-pc-solaris2.11-release/obj/utils/symbol_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-solaris2.11-release/obj/utils/use_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/mcsat/no_mcsat.o ../build/x86_64-pc-solaris2.11-release/obj/mcsat/options.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_parameters.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_printer.o ../build/x86_64-pc-solaris2.11-release/obj/context/dump_context.o ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_printer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumptions_and_core.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/assumption_table.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/bug_report.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/named_term_stacks.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/parameters.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/common/tables.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_lexer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_parser.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt1/smt_term_stack.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/parenthesized_expr.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_commands.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_expressions.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_lexer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_model_printer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_parser.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_printer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/smt2_term_stack.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/arith_solver_codes.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/labeled_assertions.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_help.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_reval.o ../build/x86_64-pc-solaris2.11-release/obj/model/large_bvsets.o ../build/x86_64-pc-solaris2.11-release/obj/model/rb_bvsets.o ../build/x86_64-pc-solaris2.11-release/obj/model/small_bvsets.o ../build/x86_64-pc-solaris2.11-release/obj/scratch/booleq_table.o ../build/x86_64-pc-solaris2.11-release/obj/scratch/bool_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/scratch/update_graph.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/clause_pool.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/new_sat_solver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/sat_solver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_fw_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_fw_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/dsolver_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/int_constraint_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_printer.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex_prop_table.o ../build/x86_64-pc-solaris2.11-release/obj/terms/arith_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/utils/command_line.o ../build/x86_64-pc-solaris2.11-release/obj/utils/cputime.o ../build/x86_64-pc-solaris2.11-release/obj/utils/memsize.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/string_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/tag_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/timeout.o ../build/x86_64-pc-solaris2.11-release/obj/utils/union_find.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_version.o
ranlib ../build/x86_64-pc-solaris2.11-release/lib/libyices.a
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_main ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_main.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a -lgmp 
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_sat ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a  
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_sat_new ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_sat_new.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a  
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_smt ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a -lgmp 
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_smt2 ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smt2.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a -lgmp 
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib  \
   -o ../build/x86_64-pc-solaris2.11-release/bin/yices_smtcomp ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices_smtcomp.o ../build/x86_64-pc-solaris2.11-release/lib/libyices.a -lgmp 
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -L/opt/pkg/lib -Wl,-R/opt/pkg/lib -shared -o ../build/x86_64-pc-solaris2.11-release/lib/libyices.so.2.6.1 \
-Wl,-soname,libyices.so.2.6 -Wl,--no-undefined \
../build/x86_64-pc-solaris2.11-release/obj/api/context_config.o ../build/x86_64-pc-solaris2.11-release/obj/api/search_parameters.o ../build/x86_64-pc-solaris2.11-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_api.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_error.o ../build/x86_64-pc-solaris2.11-release/obj/api/yval.o ../build/x86_64-pc-solaris2.11-release/obj/context/assumption_stack.o ../build/x86_64-pc-solaris2.11-release/obj/context/common_conjuncts.o ../build/x86_64-pc-solaris2.11-release/obj/context/conditional_definitions.o ../build/x86_64-pc-solaris2.11-release/obj/context/context.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_simplifier.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_solver.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_statistics.o ../build/x86_64-pc-solaris2.11-release/obj/context/context_utils.o ../build/x86_64-pc-solaris2.11-release/obj/context/divmod_table.o ../build/x86_64-pc-solaris2.11-release/obj/context/eq_abstraction.o ../build/x86_64-pc-solaris2.11-release/obj/context/eq_learner.o ../build/x86_64-pc-solaris2.11-release/obj/context/internalization_table.o ../build/x86_64-pc-solaris2.11-release/obj/context/ite_flattener.o ../build/x86_64-pc-solaris2.11-release/obj/context/pseudo_subst.o ../build/x86_64-pc-solaris2.11-release/obj/context/shared_terms.o ../build/x86_64-pc-solaris2.11-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_parameters.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/ef_problem.o ../build/x86_64-pc-solaris2.11-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-solaris2.11-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-solaris2.11-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/model_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/pretty_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/reader.o ../build/x86_64-pc-solaris2.11-release/obj/io/term_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/tracer.o ../build/x86_64-pc-solaris2.11-release/obj/io/type_printer.o ../build/x86_64-pc-solaris2.11-release/obj/io/yices_pp.o ../build/x86_64-pc-solaris2.11-release/obj/io/writer.o ../build/x86_64-pc-solaris2.11-release/obj/model/abstract_values.o ../build/x86_64-pc-solaris2.11-release/obj/model/arith_projection.o ../build/x86_64-pc-solaris2.11-release/obj/model/concrete_values.o ../build/x86_64-pc-solaris2.11-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-solaris2.11-release/obj/model/fun_maps.o ../build/x86_64-pc-solaris2.11-release/obj/model/fun_trees.o ../build/x86_64-pc-solaris2.11-release/obj/model/generalization.o ../build/x86_64-pc-solaris2.11-release/obj/model/literal_collector.o ../build/x86_64-pc-solaris2.11-release/obj/model/map_to_model.o ../build/x86_64-pc-solaris2.11-release/obj/model/model_eval.o ../build/x86_64-pc-solaris2.11-release/obj/model/model_queries.o ../build/x86_64-pc-solaris2.11-release/obj/model/models.o ../build/x86_64-pc-solaris2.11-release/obj/model/presburger.o ../build/x86_64-pc-solaris2.11-release/obj/model/projection.o ../build/x86_64-pc-solaris2.11-release/obj/model/term_to_val.o ../build/x86_64-pc-solaris2.11-release/obj/model/val_to_term.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/lexer.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/parser.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-solaris2.11-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-solaris2.11-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-solaris2.11-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_expr.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_constants.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_constants.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/bv_slices.o ../build/x86_64-pc-solaris2.11-release/obj/terms/conditionals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/elim_subst.o ../build/x86_64-pc-solaris2.11-release/obj/terms/extended_rationals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/free_var_collector.o ../build/x86_64-pc-solaris2.11-release/obj/terms/full_subst.o ../build/x86_64-pc-solaris2.11-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-solaris2.11-release/obj/terms/ite_stack.o ../build/x86_64-pc-solaris2.11-release/obj/terms/mpq_aux.o ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer.o ../build/x86_64-pc-solaris2.11-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/polynomials.o ../build/x86_64-pc-solaris2.11-release/obj/terms/power_products.o ../build/x86_64-pc-solaris2.11-release/obj/terms/pprod_table.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rationals.o ../build/x86_64-pc-solaris2.11-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/renaming_context.o ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_cache.o ../build/x86_64-pc-solaris2.11-release/obj/terms/subst_context.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_explorer.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_manager.o ../build/x86_64-pc-solaris2.11-release/obj/terms/terms.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_sets.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_substitution.o ../build/x86_64-pc-solaris2.11-release/obj/terms/term_utils.o ../build/x86_64-pc-solaris2.11-release/obj/terms/types.o ../build/x86_64-pc-solaris2.11-release/obj/terms/variable_renaming.o ../build/x86_64-pc-solaris2.11-release/obj/utils/arena.o ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/cache.o ../build/x86_64-pc-solaris2.11-release/obj/utils/csets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/dep_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/gcd.o ../build/x86_64-pc-solaris2.11-release/obj/utils/generic_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/hash_functions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/index_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bags.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_partitions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_powers.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_queues.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_stack.o ../build/x86_64-pc-solaris2.11-release/obj/utils/int_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/mark_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/memalloc.o ../build/x86_64-pc-solaris2.11-release/obj/utils/object_stores.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_heap.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_queues.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_stack.o ../build/x86_64-pc-solaris2.11-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/refcount_strings.o ../build/x86_64-pc-solaris2.11-release/obj/utils/resize_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/simple_cache.o ../build/x86_64-pc-solaris2.11-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-solaris2.11-release/obj/utils/stable_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/string_buffers.o ../build/x86_64-pc-solaris2.11-release/obj/utils/string_utils.o ../build/x86_64-pc-solaris2.11-release/obj/utils/symbol_tables.o ../build/x86_64-pc-solaris2.11-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-solaris2.11-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-solaris2.11-release/obj/utils/use_vectors.o ../build/x86_64-pc-solaris2.11-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-solaris2.11-release/obj/mcsat/no_mcsat.o ../build/x86_64-pc-solaris2.11-release/obj/mcsat/options.o ../build/x86_64-pc-solaris2.11-release/obj/api/yices_version.o -lgmp  -lc
strip -x ../build/x86_64-pc-solaris2.11-release/lib/libyices.so.2.6.1
rm -r -f ../build/x86_64-pc-solaris2.11-release/dist/*
mkdir ../build/x86_64-pc-solaris2.11-release/dist/include
cp include/*.h ../build/x86_64-pc-solaris2.11-release/dist/include
mkdir ../build/x86_64-pc-solaris2.11-release/dist/bin
cp ../build/x86_64-pc-solaris2.11-release/bin/yices_main ../build/x86_64-pc-solaris2.11-release/dist/bin/yices
cp ../build/x86_64-pc-solaris2.11-release/bin/yices_smtcomp ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-smt
cp ../build/x86_64-pc-solaris2.11-release/bin/yices_smt2 ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-smt2
cp ../build/x86_64-pc-solaris2.11-release/bin/yices_sat ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-sat
cp ../build/x86_64-pc-solaris2.11-release/bin/*.dll ../build/x86_64-pc-solaris2.11-release/dist/bin || true
cp: cannot access ../build/x86_64-pc-solaris2.11-release/bin/*.dll
mkdir ../build/x86_64-pc-solaris2.11-release/dist/lib
cp ../build/x86_64-pc-solaris2.11-release/lib/* ../build/x86_64-pc-solaris2.11-release/dist/lib
strip  ../build/x86_64-pc-solaris2.11-release/dist/bin/yices
strip  ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-smt
strip  ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-smt2
strip  ../build/x86_64-pc-solaris2.11-release/dist/bin/yices-sat
rm -f ../build/x86_64-pc-solaris2.11-release/dist/lib/libyices.a
make[4]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1/src'
make[3]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
make[2]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
Mode:     release
Platform: x86_64-pc-solaris2.11
gmake[1]: Entering directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
gmake[1]: *** No rule to make target 'install-sunos', needed by 'install'.  Stop.
gmake[1]: Leaving directory '/home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1'
gmake: *** [Makefile:278: install] Error 2
*** Error code 2

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

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