mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

API doc build fix. Related to #1350.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-11 14:19:38 +00:00
parent a173b0faf7
commit d44d918414
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
doc/mk_api_doc.py
View file

@ -288,7 +288,14 @@ try:
# Put z3py at the beginning of the search path to try to avoid picking up # Put z3py at the beginning of the search path to try to avoid picking up
# an installed copy of Z3py. # an installed copy of Z3py.
sys.path.insert(0, os.path.dirname(Z3PY_PACKAGE_PATH)) sys.path.insert(0, os.path.dirname(Z3PY_PACKAGE_PATH))
sys.path.insert(0, os.path.dirname(BUILD_DIR))
if sys.version < '3':
import __builtin__
__builtin__.Z3_LIB_DIRS = [ BUILD_DIR ]
else:
import builtins
builtins.Z3_LIB_DIRS = [ BUILD_DIR ]
for modulename in ( for modulename in (
'z3', 'z3',
'z3.z3consts', 'z3.z3consts',