3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 02:15:19 +00:00
z3/scripts
Dan Liew 49a2ed01c8 Improve error message emitting during configure when the Python
bindings are enabled and the set python package directory does
not live under the install prefix. This is the other part required
to fix issue #404.
2016-01-08 21:21:54 +00:00
..
mk_copyright.py tabs 2016-01-04 21:04:07 +00:00
mk_exception.py checkpoint 2012-10-23 12:12:59 -07:00
mk_make.py Added facilities for generating a libz3.vcxproj next to z3.vcxproj for simplified DLL build in VS. 2016-01-04 21:53:24 +00:00
mk_project.py add symbolic automaton 2015-12-23 19:46:10 -08:00
mk_unix_dist.py build fixes 2015-12-15 15:03:53 +00:00
mk_util.py Improve error message emitting during configure when the Python 2016-01-08 21:21:54 +00:00
mk_win_dist.py Updated build options for .NET API 2015-12-15 14:20:31 +00:00
README updated docs 2012-10-25 18:46:37 -07:00
trackall.sh add more Copyright notes 2015-06-10 11:59:21 -07:00
update_api.py add debugging facilities for github issues #384 #367 2015-12-22 10:43:18 -08:00
update_header_guards.py tabs 2016-01-04 21:04:07 +00:00

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.