From 5e79dba3d6d1fe1bdc7486f9e9d2c4dd9f485675 Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Sun, 13 Jan 2019 00:03:37 +0800
Subject: [PATCH] dotnet: move example project build to cmake

---
 contrib/ci/scripts/test_z3_examples_cmake.sh | 4 ++--
 examples/dotnet/dotnet.csproj                | 2 +-
 src/api/dotnet/CMakeLists.txt                | 4 ++++
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/contrib/ci/scripts/test_z3_examples_cmake.sh b/contrib/ci/scripts/test_z3_examples_cmake.sh
index 679fc4a69..1e75a5701 100755
--- a/contrib/ci/scripts/test_z3_examples_cmake.sh
+++ b/contrib/ci/scripts/test_z3_examples_cmake.sh
@@ -88,8 +88,8 @@ if [ "X${PYTHON_BINDINGS}" = "X1" ]; then
 fi
 
 if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
-  # Build & Run .NET example
-  run_quiet run_non_native_binding dotnet run -p ${Z3_SRC_DIR}/examples/dotnet/dotnet.csproj
+  # Run .NET example
+  run_quiet run_non_native_binding dotnet ${Z3_BUILD_DIR}/dotnet/netcoreapp2.0/dotnet.dll
 fi
 
 if [ "X${JAVA_BINDINGS}" = "X1" ]; then
diff --git a/examples/dotnet/dotnet.csproj b/examples/dotnet/dotnet.csproj
index 0dc4ee2ec..7776259ea 100644
--- a/examples/dotnet/dotnet.csproj
+++ b/examples/dotnet/dotnet.csproj
@@ -6,7 +6,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-      <PackageReference Include="Microsoft.Z3" Version="4.8.0" />
+      <PackageReference Include="Microsoft.Z3" Version="$(Z3_VERSION)" />
   </ItemGroup>
 
 </Project>
diff --git a/src/api/dotnet/CMakeLists.txt b/src/api/dotnet/CMakeLists.txt
index 68f7b9335..db5a53259 100644
--- a/src/api/dotnet/CMakeLists.txt
+++ b/src/api/dotnet/CMakeLists.txt
@@ -159,6 +159,10 @@ ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj
     PACKAGE Microsoft.Z3
     PACK_ARGUMENTS "/p:_DN_CMAKE_CONFIG=$<CONFIG>"
     )
+ADD_DOTNET(${CMAKE_SOURCE_DIR}/examples/dotnet/dotnet.csproj
+    PLATFORM ${Z3_DOTNET_PLATFORM}
+    CUSTOM_BUILDPROPS "<Z3_VERSION>${VER_MAJOR}.${VER_MINOR}.${VER_BUILD}</Z3_VERSION>"
+    DEPENDS Microsoft.Z3)
 
 add_dependencies(BUILD_Microsoft.Z3 libz3)