mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-27 20:38:42 +00:00
Code Activity

make build directory configurable

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

2
doc/mk_params_doc.py
View file

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