mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Added documentation for update_api.sh

Browse source
This commit is contained in:
Leonardo de Moura 2012-10-02 14:27:12 -07:00
parent 87dbd49b4c
commit 7b1aa09ff3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
update_api.txt
View file

@ -8,7 +8,7 @@ This function has the following signature:
API(function name, return type, argument list) API(function name, return type, argument list)
The return type only needs to be specified if the function returns a Z3 object. The return type only needs to be specified if the function returns a Z3 object.
The file lib\api.py contains many examples. The file lib\api.py contains many examples.
3) Execute update_api.cmd 3) Execute update_api.cmd (on Windows) update_api.sh (on Linux or OSX)
This script updates the .def files in the directory dll, and generates the API logging macros. This script updates the .def files in the directory dll, and generates the API logging macros.
If one only wants to generate the logging macros. Then it only needs to execute If one only wants to generate the logging macros. Then it only needs to execute