From 7b1aa09ff399a2ddf07db4327f1479f7ae5bf224 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Oct 2012 14:27:12 -0700 Subject: [PATCH] Added documentation for update_api.sh --- update_api.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/update_api.txt b/update_api.txt index fe4dee8d6..7cccfc101 100644 --- a/update_api.txt +++ b/update_api.txt @@ -8,7 +8,7 @@ This function has the following signature: API(function name, return type, argument list) The return type only needs to be specified if the function returns a Z3 object. 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. If one only wants to generate the logging macros. Then it only needs to execute