mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-25 17:51:20 +00:00
Code Activity

Renamed z3_dbg.dll to z3.dll

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-18 12:52:33 -07:00
parent fae9a1b760
commit 5fa96ccb0b
3 changed files with 8 additions and 543 deletions
Download patch file Download diff file Expand all files Collapse all files

8
update_api.py
View file

@ -200,9 +200,7 @@ def mk_z3tactics_py():
def mk_dll_defs():
pat1 = re.compile(".*Z3_API.*")
z3def = open('dll%sz3.def' % os.sep, 'w')
z3dbgdef = open('dll%sz3_dbg.def' % os.sep, 'w')
z3def.write('LIBRARY "Z3"\nEXPORTS\n')
z3dbgdef.write('LIBRARY "Z3_DBG"\nEXPORTS\n')
num = 1
for api_file in API_FILES:
api = open(api_file, 'r')
@ -215,7 +213,6 @@ def mk_dll_defs():
if w == 'Z3_API':
f = words[i+1]
z3def.write('\t%s @%s\n' % (f, num))
z3dbgdef.write('\t%s @%s\n' % (f, num))
i = i + 1
num = num + 1
@ -512,11 +509,8 @@ def mk_dotnet():
dotnet.write(' public delegate void Z3_error_handler(Z3_context c, Z3_error_code e);\n\n')
dotnet.write(' public unsafe class LIB\n')
dotnet.write(' {\n')
dotnet.write(' #if DEBUG\n'
' const string Z3_DLL_NAME = \"z3_dbg.dll\";\n'
' #else\n'
' const string Z3_DLL_NAME = \"z3.dll\";\n'
' #endif\n\n');
' \n');
dotnet.write(' [DllImport(Z3_DLL_NAME, CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Ansi)]\n')
dotnet.write(' public extern static void Z3_set_error_handler(Z3_context a0, Z3_error_handler a1);\n\n')
for name, result, params in _dotnet_decls: