mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-07 07:45:46 +00:00
Code Activity

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Browse source
This commit is contained in:
Leonardo de Moura 2012-11-20 08:38:07 -08:00
commit c769c683a7
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/README
View file

@ -7,3 +7,5 @@ To generate the API documentation for the C, .NET and Python APIs, we must execu
We must have doxygen installed in our system. We must have doxygen installed in our system.
The documentation will be stored in the subdirectory './html'.
The main file is './html/index.html'

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')