Superenv executed: clang++ -D_MP_INTERNAL tstsse.cpp -mfpmath=sse -msse -msse2 -isystem/usr/local/include -isystem/usr/include/libxml2 -isystem/System/Library/Frameworks/amework/Versions/Current/Headers -L/usr/local/lib -L/System/Library/Frameworks/amework/Versions/Current/Libraries -Wl,-headerpad_max_install_namesĬlang++ called with: -D_MP_INTERNAL tstomp.cpp -fopenmp Superenv executed: clang tst.c -isystem/usr/local/include -isystem/usr/include/libxml2 -isystem/System/Library/Frameworks/amework/Versions/Current/Headers -L/usr/local/lib -L/System/Library/Frameworks/amework/Versions/Current/Libraries -Wl,-headerpad_max_install_namesĬlang++ called with: -D_MP_INTERNAL tstsse.cpp -mfpmath=sse -msse -msse2 Superenv executed: clang++ tst.cpp -isystem/usr/local/include -isystem/usr/include/libxml2 -isystem/System/Library/Frameworks/amework/Versions/Current/Headers -L/usr/local/lib -L/System/Library/Frameworks/amework/Versions/Current/Libraries -Wl,-headerpad_max_install_names Superenv added: -isystem/usr/local/include -isystem/usr/include/libxml2 -isystem/System/Library/Frameworks/amework/Versions/Current/Headers -L/usr/local/lib -L/System/Library/Frameworks/amework/Versions/Current/Libraries -Wl,-headerpad_max_install_names Python pkg dir: /Library/Python/2.7/site-packagesĬopied Z3Py example 'example.py' to 'build'Ĭopied Z3Py example 'visitor.py' to 'build'
Generated 'src/api/dll/gparams_register_modules.cpp'Ĭompiling src/api/python/z3printer.py. Generated 'src/test/gparams_register_modules.cpp' Generated 'src/shell/gparams_register_modules.cpp' Generated 'src/api/dll/mem_initializer.cpp' 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/simplifier/arith_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 Opt = -prefix, arg = /usr/local/Cellar/z3/HEAD usr/local/lib/libsfml-window.2.3.2.dylib usr/local/lib/libsfml-system.2.3.2.dylib usr/local/lib/libsfml-network.2.3.2.dylib usr/local/lib/libsfml-graphics.2.3.2.dylib If you didn't put them there on purpose they could cause problems whenīuilding Homebrew formulae, and may need to be deleted.
Warning: Unbrewed dylibs were found in /usr/local/lib. The default OS X filesystem is case-insensitive. Warning: The filesystem on / appears to be case-sensitive. You should probably `sudo chown -R $(whoami)` them: If a brew tries to add locale information to one of theseĭirectories, then the install will fail during the link step.
Z3 solver python install mac os software#
This can happen if you "sudo make install" software that isn't managedīy Homebrew. Warning: Some directories in /usr/local/share/man aren't writable. Working fine: please don't worry and just ignore them. Please note that these warnings are just used to help the Homebrew maintainers
0 kommentar(er)
