From 1a5be0f25e0c8eb5c11e32eec979376fa03af214 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 16 Nov 2018 15:14:43 -0800
Subject: [PATCH] make dotnet core dist optional

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_unix_dist.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
index 8e5336f67..3e4456676 100644
--- a/scripts/mk_unix_dist.py
+++ b/scripts/mk_unix_dist.py
@@ -73,6 +73,7 @@ def parse_options():
                                                                    'force',
                                                                    'nojava',
                                                                    'nodotnet',
+                                                                   'dotnetcore',
                                                                    'dotnet-key=',
                                                                    'githash',
                                                                    'nopython'
@@ -194,9 +195,8 @@ def mk_dist_dir():
     build_path = BUILD_DIR
     dist_path = os.path.join(DIST_DIR, get_z3_name())
     mk_dir(dist_path)
-    name = get_z3_name()
     if DOTNET_CORE_ENABLED:
-        mk_util.DOTNET_CORE_ENABLED = DOTNET_ENABLED
+        mk_util.DOTNET_CORE_ENABLED = True
     else:
         mk_util.DOTNET_ENABLED = DOTNET_ENABLED
     mk_util.DOTNET_KEY_FILE = DOTNET_KEY_FILE