From 76c05f171ae98f81f845001279691e253bc5f3da Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2023 12:32:30 -0800
Subject: [PATCH] specify a readme file with the nuget package

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/Microsoft.Z3.csproj.in | 7 +++++++
 src/api/python/setup.py               | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Microsoft.Z3.csproj.in b/src/api/dotnet/Microsoft.Z3.csproj.in
index 85ab98b38..3999e724b 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj.in
+++ b/src/api/dotnet/Microsoft.Z3.csproj.in
@@ -7,6 +7,8 @@
     <AssemblyName>Microsoft.Z3</AssemblyName>
     <RootNamespace>Microsoft.Z3</RootNamespace>
 
+    <PackageReadmeFile>README.md</PackageReadmeFile>
+
     <Title>Z3 .NET Interface</Title>
     <AssemblyTitle>Z3 .NET Interface</AssemblyTitle>
 
@@ -65,6 +67,11 @@
 ${Z3_DOTNET_COMPILE_ITEMS}
   </ItemGroup>
 
+  <!-- Readme -->
+  <ItemGroup>
+  <None Include="${CMAKE_CURRENT_LIST_DIR}/README.md" Pack="true" PackagePath="\"/>
+  </ItemGroup>
+
   <!-- Legacy .NET framework native library helper routines  -->
   <ItemGroup>
     <Content Include="${CMAKE_CURRENT_LIST_DIR}/Microsoft.Z3.props">
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 1837b5bec..a20ff53a3 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -18,7 +18,7 @@ from setuptools.command.bdist_egg import bdist_egg as _bdist_egg
 
 build_env = dict(os.environ)
 build_env['PYTHON'] = sys.executable
-build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -std=c++11"
+build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -std=c++17"
 
 # determine where we're building and where sources are
 ROOT_DIR = os.path.abspath(os.path.dirname(__file__))