mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Python 3.x issues

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-03 13:57:29 +00:00
parent b6b5065571
commit 2c6645ef2d
1 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
doc/mk_api_doc.py
View file

@ -90,41 +90,41 @@ try:
cleanup_API('../src/api/z3_interp.h', 'tmp/z3_interp.h') cleanup_API('../src/api/z3_interp.h', 'tmp/z3_interp.h')
cleanup_API('../src/api/z3_fpa.h', 'tmp/z3_fpa.h') cleanup_API('../src/api/z3_fpa.h', 'tmp/z3_fpa.h')
print "Removed annotations from z3_api.h." print("Removed annotations from z3_api.h.")
try: try:
if subprocess.call(['doxygen', 'z3api.dox']) != 0: if subprocess.call(['doxygen', 'z3api.dox']) != 0:
print "ERROR: doxygen returned nonzero return code" print("ERROR: doxygen returned nonzero return code")
exit(1) exit(1)
except: except:
print "ERROR: failed to execute 'doxygen', make sure doxygen (http://www.doxygen.org) is available in your system." print("ERROR: failed to execute 'doxygen', make sure doxygen (http://www.doxygen.org) is available in your system.")
exit(1) exit(1)
print "Generated C and .NET API documentation." print("Generated C and .NET API documentation.")
os.remove('tmp/z3_api.h') os.remove('tmp/z3_api.h')
os.remove('tmp/z3_algebraic.h') os.remove('tmp/z3_algebraic.h')
os.remove('tmp/z3_polynomial.h') os.remove('tmp/z3_polynomial.h')
os.remove('tmp/z3_rcf.h') os.remove('tmp/z3_rcf.h')
os.remove('tmp/z3_interp.h') os.remove('tmp/z3_interp.h')
os.remove('tmp/z3_fpa.h') os.remove('tmp/z3_fpa.h')
print "Removed temporary file z3_api.h." print("Removed temporary file z3_api.h.")
os.remove('tmp/website.dox') os.remove('tmp/website.dox')
print "Removed temporary file website.dox" print("Removed temporary file website.dox")
os.remove('tmp/z3py.py') os.remove('tmp/z3py.py')
print "Removed temporary file z3py.py" print("Removed temporary file z3py.py")
os.removedirs('tmp') os.removedirs('tmp')
print "Removed temporary directory tmp." print("Removed temporary directory tmp.")
sys.path.append('../src/api/python') sys.path.append('../src/api/python')
pydoc.writedoc('z3') pydoc.writedoc('z3')
shutil.move('z3.html', 'api/html/z3.html') shutil.move('z3.html', 'api/html/z3.html')
print "Generated Python documentation." print("Generated Python documentation.")
if ML_ENABLED: if ML_ENABLED:
mk_dir('api/html/ml') mk_dir('api/html/ml')
if subprocess.call(['ocamldoc', '-html', '-d', 'api\html\ml', '-sort', '-hide', 'Z3', '-I', '%s/api/ml' % BUILD_DIR, '../src/api/ml/z3enums.mli', '../src/api/ml/z3.mli']) != 0: if subprocess.call(['ocamldoc', '-html', '-d', 'api\html\ml', '-sort', '-hide', 'Z3', '-I', '%s/api/ml' % BUILD_DIR, '../src/api/ml/z3enums.mli', '../src/api/ml/z3.mli']) != 0:
print "ERROR: ocamldoc failed." print("ERROR: ocamldoc failed.")
exit(1) exit(1)
print "Generated ML/OCaml documentation." print("Generated ML/OCaml documentation.")
print "Documentation was successfully generated at subdirectory './api/html'." print("Documentation was successfully generated at subdirectory './api/html'.")
except: except:
print "ERROR: failed to generate documentation" print("ERROR: failed to generate documentation")
exit(1) exit(1)