Generated 'src/shell/mem_initializer.cpp' Generated 'src/api/dll/install_tactic.cpp' Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp' Generated 'src/tactic/sls/sls_params.hpp' Generated 'src/solver/combined_solver_params.hpp' Generated 'src/smt/params/smt_params_helper.hpp' Generated 'src/sat/sat_simplifier_params.hpp' Generated 'src/sat/sat_asymm_branch_params.hpp' Generated 'src/parsers/util/parser_params.hpp' Generated 'src/muz/base/fixedpoint_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/ast/simplifier/bv_simplifier_params_helper.hpp' Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'

Generated 'src/ast/rewriter/rewriter_params.hpp' Generated 'src/ast/rewriter/poly_rewriter_params.hpp' Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' Generated 'src/ast/rewriter/bv_rewriter_params.hpp' Generated 'src/ast/rewriter/bool_rewriter_params.hpp' Generated 'src/ast/rewriter/array_rewriter_params.hpp' Generated 'src/ast/rewriter/arith_rewriter_params.hpp' Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' Generated 'src/ast/normal_forms/nnf_params.hpp' Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp' Generated 'src/ackermannization/ackermannization_params.hpp' Generating src/api/dotnet/Properties/AssemblyInfo.cs from src/api/dotnet/Properties/AssemblyInfo.cs.in Generating src/util/version.h from src/util/version.h.in errorĬomplete output from command /Users/tzaoh/Envs/angr/bin/python2.7 -u -c 'import setuptools, tokenize _file_='/private/var/folders/xc/s12gx5n55lnghthgdz1gg2mr0000gn/T/pip-build-MzxS0o/z3-solver/setup.py' f=getattr(tokenize, 'open', open)(_file_) code=f.read().replace(' ', ' ') f.close() exec(compile(code, _file_, 'exec'))' install -record /var/folders/xc/s12gx5n55lnghthgdz1gg2mr0000gn/T/pip-m5jWX1-record/install-record.txt -single-version-externally-managed -compile -install-headers /Users/tzaoh/Envs/angr/bin/./include/site/python2.7/z3-solver:Ĭonfigured with: -prefix=/Library/Developer/CommandLineTools/usr -with-gxx-include-dir=/usr/include/c++/4.2.1 Installing collected packages: z3-solver, angr-only-z3-custom Skipping bdist_wheel for z3-solver, due to binaries being disabled for it. Skipping bdist_wheel for angr-only-z3-custom, due to binaries being disabled for it. Using cached Ĭollecting z3-solver (from angr-only-z3-custom)

$ pip install -I -no-binary :all: angr-only-z3-custom

Java for mac os sierra 10.12.4