mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
when using Python2. The output from ``check_output()`` has ``unicode`` type under Python 2 but type ``str`` under Python 3. This type ended up being used inside the ``MakeRuleCmd`` class which asserts that it receives paths of type ``str``. To fix the problem under Python 2 the asserts have been made weaker by also allowing the paths to be of type ``unicode``. |
||
---|---|---|
.. | ||
mk_copyright.py | ||
mk_exception.py | ||
mk_make.py | ||
mk_project.py | ||
mk_unix_dist.py | ||
mk_util.py | ||
mk_win_dist.py | ||
README | ||
trackall.sh | ||
update_api.py | ||
update_header_guards.py |
Instructions for updating external Z3 API ----------------------------------------- The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API. The .h files provided to `mk_bindings(API_files)` contain these definitions. See src\api\z3_api.h for many examples. The bindings for .Net and Python are generated when mk_make.py is invoked.