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

Merge pull request #1939 from msoeken/dotnetcore-fix

Browse source 
Choose runtime for .NET core DLL.
This commit is contained in:
Nikolaj Bjorner 2018-11-14 14:06:43 -08:00 committed by GitHub
parent 1713259c3d 690bd8502a
commit 74db2f2509
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -1890,6 +1890,15 @@ class DotNetCoreDLLComponent(Component):
else: else:
dotnetCmdLine.extend(['Release']) 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) path = os.path.abspath(BUILD_DIR)
dotnetCmdLine.extend(['-o', path]) dotnetCmdLine.extend(['-o', path])