From 8cde0c0672f0c1abb3ccf03f2d9284262accce52 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 18 Oct 2012 12:55:28 -0700 Subject: [PATCH] fixed update_api.py Signed-off-by: Leonardo de Moura --- Microsoft.Z3/Native.cs | 8 ++------ update_api.py | 1 + 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/Microsoft.Z3/Native.cs b/Microsoft.Z3/Native.cs index d959fd254..b4a4c2ab6 100644 --- a/Microsoft.Z3/Native.cs +++ b/Microsoft.Z3/Native.cs @@ -46,12 +46,8 @@ namespace Microsoft.Z3 public unsafe class LIB { - #if DEBUG - const string Z3_DLL_NAME = "z3_dbg.dll"; - #else - const string Z3_DLL_NAME = "z3.dll"; - #endif - + const string Z3_DLL_NAME = "z3.dll"; + [DllImport(Z3_DLL_NAME, CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Ansi)] public extern static void Z3_set_error_handler(Z3_context a0, Z3_error_handler a1); diff --git a/update_api.py b/update_api.py index 82afb7cdb..8c0eb98da 100644 --- a/update_api.py +++ b/update_api.py @@ -509,6 +509,7 @@ 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(' ' ' const string Z3_DLL_NAME = \"z3.dll\";\n' ' \n'); dotnet.write(' [DllImport(Z3_DLL_NAME, CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Ansi)]\n')