CI: update dotnet example to coreclr 2.0

zmw12306 · Sep 12, 2018 · aae28bd · aae28bd
1 parent 20c128d
commit aae28bd
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/contrib/ci/scripts/test_z3_examples_cmake.sh b/contrib/ci/scripts/test_z3_examples_cmake.sh
@@ -91,8 +91,8 @@ if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
   # Build .NET example
   # FIXME: Move compliation step into CMake target
   mcs ${Z3_SRC_DIR}/examples/dotnet/Program.cs /target:exe /out:dotnet_test.exe /reference:Microsoft.Z3.dll /r:System.Numerics.dll
-  # Run .NET example
-  run_quiet run_non_native_binding mono ./dotnet_test.exe
+  # Build & Run .NET example
+  run_quiet run_non_native_binding dotnet run -p ${Z3_SRC_DIR}/examples/dotnet/dotnet.csproj
 fi
 
 if [ "X${JAVA_BINDINGS}" = "X1" ]; then

diff --git a/examples/dotnet/dotnet.csproj b/examples/dotnet/dotnet.csproj
@@ -0,0 +1,12 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <TargetFramework>netcoreapp2.0</TargetFramework>
+  </PropertyGroup>
+
+  <ItemGroup>
+      <PackageReference Include="Microsoft.Z3" Version="4.8.0" />
+  </ItemGroup>
+
+</Project>