mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

Merge branch 'master' of https://github.com/z3prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2018-11-14 14:07:16 -08:00
commit 84baddf87c
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
scripts/mk_util.py
View file

@ -1891,6 +1891,15 @@ class DotNetCoreDLLComponent(Component):
else:
dotnetCmdLine.extend(['Release'])
if IS_WINDOWS:
runtime = "win-" + ("x64" if VS_X64 else "x86")
elif IS_LINUX:
runtime = "linux-x64" if LINUX_X64 else ""
elif IS_OSX:
runtime = "osx-x64" if LINUX_X64 else ""
if runtime != "":
dotnetCmdLine.extend(['-r', runtime])
path = os.path.abspath(BUILD_DIR)
dotnetCmdLine.extend(['-o', path])