From 690bd8502ab66ccae28a3d7538b7933930197e91 Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Wed, 14 Nov 2018 13:47:46 -0800
Subject: [PATCH] Choose runtime for .NET core DLL.

---
 scripts/mk_util.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index aaeed1dea..c84b1c3a4 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -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])