mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update update_api.py
add automation!
This commit is contained in:
parent
54b16f0496
commit
c35d0d1e49
|
@ -689,6 +689,7 @@ def mk_java(java_src, java_dir, package_name):
|
|||
java_native.write('}\n')
|
||||
java_wrapper = open(java_wrapperf, 'w')
|
||||
pkg_str = package_name.replace('.', '_')
|
||||
java_wrapperf.write("// Automatically generated file\n")
|
||||
with open(java_src + "/NativeStatic.txt") as ins:
|
||||
for line in ins:
|
||||
java_wrapper.write(line)
|
||||
|
|
Loading…
Reference in a new issue