From d6e8096a61a09d7648880c832caa33be0d705c90 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 25 Oct 2012 18:46:37 -0700 Subject: [PATCH] updated docs Signed-off-by: Leonardo de Moura --- scripts/README | 9 +++++++++ scripts/update_api.txt | 11 ----------- 2 files changed, 9 insertions(+), 11 deletions(-) create mode 100644 scripts/README delete mode 100644 scripts/update_api.txt diff --git a/scripts/README b/scripts/README new file mode 100644 index 000000000..67d4acc9c --- /dev/null +++ b/scripts/README @@ -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. + diff --git a/scripts/update_api.txt b/scripts/update_api.txt deleted file mode 100644 index 8b777b160..000000000 --- a/scripts/update_api.txt +++ /dev/null @@ -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 -