Created
November 9, 2015 16:12
-
-
Save Drup/792aa5cc5e271e3f04e1 to your computer and use it in GitHub Desktop.
failure Z3 config python2
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| + python2 "scripts/mk_make.py" "--ml" "--prefix" "/home/gabriel/.opam/termite" (CWD=/home/gabriel/.opam/termite/build/Z3.dev) | |
| - opt = --ml, arg = | |
| - opt = --prefix, arg = /home/gabriel/.opam/termite | |
| - New component: 'util' | |
| - New component: 'polynomial' | |
| - New component: 'sat' | |
| - New component: 'nlsat' | |
| - New component: 'hilbert' | |
| - New component: 'simplex' | |
| - New component: 'interval' | |
| - New component: 'realclosure' | |
| - New component: 'subpaving' | |
| - New component: 'ast' | |
| - New component: 'rewriter' | |
| - New component: 'normal_forms' | |
| - New component: 'model' | |
| - New component: 'tactic' | |
| - New component: 'substitution' | |
| - New component: 'parser_util' | |
| - New component: 'grobner' | |
| - New component: 'euclid' | |
| - New component: 'core_tactics' | |
| - New component: 'sat_tactic' | |
| - New component: 'arith_tactics' | |
| - New component: 'nlsat_tactic' | |
| - New component: 'subpaving_tactic' | |
| - New component: 'aig_tactic' | |
| - New component: 'solver' | |
| - New component: 'interp' | |
| - New component: 'cmd_context' | |
| - New component: 'extra_cmds' | |
| - New component: 'smt2parser' | |
| - New component: 'proof_checker' | |
| - New component: 'simplifier' | |
| - New component: 'fpa' | |
| - New component: 'macros' | |
| - New component: 'pattern' | |
| - New component: 'bit_blaster' | |
| - New component: 'smt_params' | |
| - New component: 'proto_model' | |
| - New component: 'smt' | |
| - New component: 'user_plugin' | |
| - New component: 'bv_tactics' | |
| - New component: 'fuzzing' | |
| - New component: 'smt_tactic' | |
| - New component: 'sls_tactic' | |
| - New component: 'qe' | |
| - New component: 'duality' | |
| - New component: 'muz' | |
| - New component: 'dataflow' | |
| - New component: 'transforms' | |
| - New component: 'rel' | |
| - New component: 'pdr' | |
| - New component: 'clp' | |
| - New component: 'tab' | |
| - New component: 'bmc' | |
| - New component: 'ddnf' | |
| - New component: 'duality_intf' | |
| - New component: 'fp' | |
| - New component: 'nlsat_smt_tactic' | |
| - New component: 'smtlogic_tactics' | |
| - New component: 'fpa_tactics' | |
| - New component: 'ufbv_tactic' | |
| - New component: 'sat_solver' | |
| - New component: 'portfolio' | |
| - New component: 'smtparser' | |
| - New component: 'opt' | |
| - New component: 'api' | |
| - New component: 'shell' | |
| - New component: 'test' | |
| - New component: 'api_dll' | |
| - New component: 'dotnet' | |
| - New component: 'java' | |
| - New component: 'ml' | |
| - New component: 'cpp' | |
| - Python bindings directory was detected. | |
| - New component: 'cpp_example' | |
| - New component: 'iz3' | |
| - New component: 'z3_tptp' | |
| - New component: 'c_example' | |
| - New component: 'maxsat' | |
| - New component: 'dotnet_example' | |
| - New component: 'java_example' | |
| - New component: 'ml_example' | |
| - New component: 'py_example' | |
| - Generated 'src/util/version.h' | |
| - Updated 'src/api/dotnet/Properties/AssemblyInfo' | |
| - Generated 'src/interp/interp_params.hpp' | |
| - Generated 'src/nlsat/nlsat_params.hpp' | |
| - Generated 'src/muz/base/fixedpoint_params.hpp' | |
| - Generated 'src/tactic/sls/sls_params.hpp' | |
| - Generated 'src/sat/sat_params.hpp' | |
| - Generated 'src/sat/sat_asymm_branch_params.hpp' | |
| - Generated 'src/sat/sat_scc_params.hpp' | |
| - Generated 'src/sat/sat_simplifier_params.hpp' | |
| - Generated 'src/smt/params/smt_params_helper.hpp' | |
| - Generated 'src/model/model_params.hpp' | |
| - Generated 'src/model/model_evaluator_params.hpp' | |
| - Generated 'src/math/realclosure/rcf_params.hpp' | |
| - Generated 'src/math/polynomial/algebraic_params.hpp' | |
| - Generated 'src/solver/combined_solver_params.hpp' | |
| - Generated 'src/parsers/util/parser_params.hpp' | |
| - Generated 'src/ast/pp_params.hpp' | |
| - Generated 'src/ast/normal_forms/nnf_params.hpp' | |
| - Generated 'src/ast/rewriter/poly_rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/array_rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/arith_rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/bool_rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' | |
| - Generated 'src/ast/rewriter/bv_rewriter_params.hpp' | |
| - Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' | |
| - Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' | |
| - Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp' | |
| - Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp' | |
| - Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp' | |
| - Generated 'src/opt/opt_params.hpp' | |
| - Generated 'src/ast/pattern/database.h' | |
| - Generated 'src/shell/install_tactic.cpp' | |
| - Generated 'src/test/install_tactic.cpp' | |
| - Generated 'src/api/dll/install_tactic.cpp' | |
| - Generated 'src/shell/mem_initializer.cpp' | |
| - Generated 'src/test/mem_initializer.cpp' | |
| - Generated 'src/api/dll/mem_initializer.cpp' | |
| - Generated 'src/shell/gparams_register_modules.cpp' | |
| - G | |
| - enerated 'src/test/gparams_register_modules.cpp' | |
| - Generated 'src/api/dll/gparams_register_modules.cpp' | |
| - Generated 'src/api/python/z3consts.py' | |
| - Generated 'src/api/dotnet/Enumerations.cs' | |
| - Generated "src/api/ml/z3native.ml" | |
| - Generated 'src/api/api_log_macros.h' | |
| - Generated 'src/api/api_log_macros.cpp' | |
| - Generated 'src/api/api_commands.cpp' | |
| - Generated 'src/api/python/z3core.py' | |
| - Generated 'src/api/dotnet/Native.cs' | |
| - Listing src/api/python ... | |
| - Compiling src/api/python/z3.py ... | |
| - Compiling src/api/python/z3consts.py ... | |
| - Compiling src/api/python/z3core.py ... | |
| - Compiling src/api/python/z3num.py ... | |
| - Compiling src/api/python/z3poly.py ... | |
| - Compiling src/api/python/z3printer.py ... | |
| - Compiling src/api/python/z3rcf.py ... | |
| - Compiling src/api/python/z3test.py ... | |
| - Compiling src/api/python/z3types.py ... | |
| - Compiling src/api/python/z3util.py ... | |
| - Copied 'z3printer.py' | |
| - Copied 'z3consts.py' | |
| - Copied 'z3.py' | |
| - Copied 'z3types.py' | |
| - Copied 'z3test.py' | |
| - Copied 'z3num.py' | |
| - Copied 'z3rcf.py' | |
| - Copied 'z3poly.py' | |
| - Copied 'z3core.py' | |
| - Copied 'z3util.py' | |
| - Generated 'z3test.pyc' | |
| - Generated 'z3types.pyc' | |
| - Generated 'z3poly.pyc' | |
| - Generated 'z3util.pyc' | |
| - Generated 'z3rcf.pyc' | |
| - Generated 'z3consts.pyc' | |
| - Generated 'z3.pyc' | |
| - Generated 'z3core.pyc' | |
| - Generated 'z3printer.pyc' | |
| - Generated 'z3num.pyc' | |
| - Testing ocamlc... | |
| - Testing ocamlopt... | |
| - Finding OCAML_LIB... | |
| - OCAML_LIB=/usr/lib/ocaml | |
| - Testing ocamlfind... | |
| - Generated "src/api/ml/z3enums.ml" | |
| - Generated "src/api/ml/z3enums.mli" | |
| - Testing ar... | |
| - Testing g++... | |
| - Testing gcc... | |
| - Testing floating point support... | |
| - Testing OpenMP... | |
| - Traceback (most recent call last): | |
| - File "scripts/mk_make.py", line 20, in <module> | |
| - mk_makefile() | |
| - File "/home/gabriel/.opam/termite/build/Z3.dev/scripts/mk_util.py", line 2045, in mk_makefile | |
| - mk_config() | |
| - File "/home/gabriel/.opam/termite/build/Z3.dev/scripts/mk_util.py", line 1911, in mk_config | |
| - if is_CXX_clangpp(): | |
| - File "/home/gabriel/.opam/termite/build/Z3.dev/scripts/mk_util.py", line 779, in is_CXX_clangpp | |
| - return is_clang_in_gpp_form(CXX) | |
| - File "/home/gabriel/.opam/termite/build/Z3.dev/scripts/mk_util.py", line 775, in is_clang_in_gpp_form | |
| - return str(version_string).find('clang') != -1 | |
| - UnicodeEncodeError: 'ascii' codec can't encode character u'\xa9' in position 26: ordinal not in range(128) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment