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

improving script

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-20 00:27:20 -08:00
parent d226d2f381
commit 14944356f8
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/mk_doc.py
View file

@ -25,8 +25,10 @@ try:
cleanup_API('../src/api/z3_api.h', 'z3_api.h') cleanup_API('../src/api/z3_api.h', 'z3_api.h')
print "Removed annotations from z3_api.h." print "Removed annotations from z3_api.h."
DEVNULL = open(os.devnull, 'wb') DEVNULL = open(os.devnull, 'wb')
if subprocess.call(['doxygen', 'z3.dox'], stdout=DEVNULL, stderr=DEVNULL) != 0: try:
print "ERROR: failed to execute doxygen z3.dox" subprocess.call(['doxygen', 'z3.dox'], stdout=DEVNULL, stderr=DEVNULL)
except:
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('z3_api.h') os.remove('z3_api.h')