mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-02 15:17:54 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-12-19 14:13:14 -08:00
parent 6584084d6a
commit ca62133a56
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/mk_params_doc.py
View file

@ -9,6 +9,7 @@ import sys
import re import re
import os import os
build_env = dict(os.environ)
BUILD_DIR = '../' + build_env.get('Z3BUILD', 'build') BUILD_DIR = '../' + build_env.get('Z3BUILD', 'build')
OUTPUT_DIRECTORY=os.path.join(os.getcwd(), 'api') OUTPUT_DIRECTORY=os.path.join(os.getcwd(), 'api')