mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 20:38:43 +00:00
Code Activity

use single thread for win-dist

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-03-02 19:23:19 -08:00
parent 14390eeac2
commit f74d8460f6
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_win_dist.py
View file

@ -33,7 +33,7 @@ GIT_HASH=False
PYTHON_ENABLED=True PYTHON_ENABLED=True
X86ONLY=False X86ONLY=False
X64ONLY=False X64ONLY=False
MAKEJOBS=getenv("MAKEJOBS", "24") MAKEJOBS=getenv("MAKEJOBS", "1")
def set_verbose(flag): def set_verbose(flag):
global VERBOSE global VERBOSE
@ -132,7 +132,10 @@ def check_build_dir(path):
# Create a build directory using mk_make.py # Create a build directory using mk_make.py
def mk_build_dir(path, x64): def mk_build_dir(path, x64):
if not check_build_dir(path) or FORCE_MK: if not check_build_dir(path) or FORCE_MK:
if MAKEJOBS != "1":
parallel = '--parallel=' + MAKEJOBS parallel = '--parallel=' + MAKEJOBS
else:
parallel = ""
opts = ["python", os.path.join('scripts', 'mk_make.py'), parallel, "-b", path] opts = ["python", os.path.join('scripts', 'mk_make.py'), parallel, "-b", path]
if DOTNET_CORE_ENABLED: if DOTNET_CORE_ENABLED:
opts.append('--dotnet') opts.append('--dotnet')