mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

Choose runtime for .NET core DLL.

Browse source
This commit is contained in:
Mathias Soeken 2018-11-14 13:47:46 -08:00
parent 727929c9af
commit 690bd8502a
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/mk_util.py
View file

@ -1888,6 +1888,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])