From f4ced3c1647d1288d3dd0df8cf9e95b0d92c5f2c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 15 Nov 2018 16:40:35 -0800
Subject: [PATCH] use netstandard1.4

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_release.py | 4 ++--
 scripts/mk_util.py          | 3 +--
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py
index 2847f2884..09cfd2b7a 100644
--- a/scripts/mk_nuget_release.py
+++ b/scripts/mk_nuget_release.py
@@ -67,10 +67,10 @@ def unpack():
             mk_dir("out/runtimes/%s" % dst)
             shutil.move("tmp/%s/bin/libz3.%s" % (package_dir, ext), "out/runtimes/%s/." % dst)
             if "win" in f:
-                mk_dir("out/lib/netstandard1.0/")
+                mk_dir("out/lib/netstandard1.4/")
                 for b in ["Microsoft.Z3.dll"]:
                     zip_ref.extract("%s/bin/%s" % (package_dir, b), "tmp")
-                    shutil.move("tmp/%s/bin/%s" % (package_dir, b), "out/lib/netstandard1.0/%s" % b)
+                    shutil.move("tmp/%s/bin/%s" % (package_dir, b), "out/lib/netstandard1.4/%s" % b)
 
 def create_nuget_spec():
     mk_project.init_version()
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 7e405f42f..790de530d 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1872,14 +1872,13 @@ class DotNetCoreDLLComponent(Component):
         core_csproj_str = """<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
-    <TargetFramework>netcoreapp1.0</TargetFramework>
+    <TargetFramework>netstandard1.4</TargetFramework>
     <PlatformTarget>%s</PlatformTarget>    
     <DefineConstants>$(DefineConstants);DOTNET_CORE</DefineConstants>
     <DebugType>portable</DebugType>
     <AssemblyName>Microsoft.Z3</AssemblyName>
     <OutputType>Library</OutputType>
     <PackageId>Microsoft.Z3</PackageId>
-    <PackageTargetFallback>$(PackageTargetFallback);dnxcore50</PackageTargetFallback>
     <RuntimeFrameworkVersion>1.0.4</RuntimeFrameworkVersion>
     <Version>%s</Version>
     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>