From 9e453664cedffac1afbfa1b599401ddbcf0f7cf7 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 21 Nov 2012 23:05:49 -0800 Subject: [PATCH] Making sure the bindings compile even when C++ compiler is used Signed-off-by: Leonardo de Moura --- scripts/update_api.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/update_api.py b/scripts/update_api.py index a82ac205a..b43c07ea5 100644 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -531,6 +531,9 @@ def mk_java(): java_wrapper.write('#include\n') java_wrapper.write('#include\n') java_wrapper.write('#include"z3.h"\n') + java_wrapper.write('#ifdef __cplusplus\n') + java_wrapper.write('extern "C" {\n') + java_wrapper.write('#endif\n') for name, result, params in _dotnet_decls: java_wrapper.write('JNIEXPORT %s JNICALL Java_Z3Native_%s(JNIEnv * jenv, jclass cls' % (type2javaw(result), java_method_name(name))) i = 0; @@ -619,6 +622,9 @@ def mk_java(): elif result != VOID: java_wrapper.write(' return (%s) result;\n' % type2javaw(result)) java_wrapper.write('}\n') + java_wrapper.write('#ifdef __cplusplus\n') + java_wrapper.write('}\n') + java_wrapper.write('#endif\n') if is_verbose(): print "Generated '%s'" % java_nativef