From 385109d4847cb882f661706a4830da05a0b3d598 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 24 Apr 2021 14:25:26 -0700
Subject: [PATCH] regarding #5206

---
 src/api/dotnet/Microsoft.Z3.csproj.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Microsoft.Z3.csproj.in b/src/api/dotnet/Microsoft.Z3.csproj.in
index fb8aa4da5..504e48474 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj.in
+++ b/src/api/dotnet/Microsoft.Z3.csproj.in
@@ -49,7 +49,7 @@
   <!-- Build properties -->
   <PropertyGroup>
     <!-- In *nix builds, netfx TFMs are not available. -->
-    <TargetFrameworks>netstandard2.0;net45</TargetFrameworks>
+    <TargetFrameworks>netstandard2.1;net45</TargetFrameworks>
     <OutputTypeEx>library</OutputTypeEx>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
     <NoWarn>1701,1702</NoWarn>
@@ -83,6 +83,9 @@ ${Z3_DOTNET_COMPILE_ITEMS}
     <Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.so" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.so')">
       <PackagePath>runtimes\linux-x64\native</PackagePath>
     </Content>
+    <Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib')">
+      <PackagePath>runtimes\macos\native</PackagePath>
+    </Content>
   </ItemGroup>
 
   <!-- Native binaries for x86; currently only Windows is supported. -->