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 @@ - netstandard2.0;net45 + netstandard2.1;net45 library True 1701,1702 @@ -83,6 +83,9 @@ ${Z3_DOTNET_COMPILE_ITEMS} runtimes\linux-x64\native + + runtimes\macos\native +