mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 08:39:57 +00:00
updated docs
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
fa6b2a7bf9
commit
d6e8096a61
9
scripts/README
Normal file
9
scripts/README
Normal file
|
@ -0,0 +1,9 @@
|
|||
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.
|
||||
|
|
@ -1,11 +0,0 @@
|
|||
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 listed at update_api.py contain these definitions.
|
||||
See lib\z3_api.py for many examples.
|
||||
|
||||
To generate bindings and the API logging infrastructure, the following command must be used:
|
||||
|
||||
python update_api.py
|
||||
|
Loading…
Reference in a new issue