diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 6c50320ed..5d06029f9 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -112,3 +112,10 @@ set_target_properties(z3_tptp5 PROPERTIES EXCLUDE_FROM_ALL TRUE)
 if (BUILD_PYTHON_BINDINGS)
   add_subdirectory(python)
 endif()
+
+################################################################################
+# Build dotnet examples
+################################################################################
+if (BUILD_DOTNET_BINDINGS)
+    add_subdirectory(dotnet)
+endif()
\ No newline at end of file
diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt
new file mode 100644
index 000000000..d0cd2bb15
--- /dev/null
+++ b/examples/dotnet/CMakeLists.txt
@@ -0,0 +1,15 @@
+find_package(Dotnet REQUIRED)
+
+if("${TARGET_ARCHITECTURE}" STREQUAL "i686")
+    set(Z3_DOTNET_PLATFORM "x86")
+else()
+    set(Z3_DOTNET_PLATFORM "Any CPU")
+endif()
+
+configure_file(dotnet.csproj dotnet.csproj COPYONLY)
+configure_file(program.cs program.cs       COPYONLY)
+
+ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/dotnet.csproj
+    PLATFORM ${Z3_DOTNET_PLATFORM}
+    CUSTOM_BUILDPROPS "<Z3_VERSION>${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}</Z3_VERSION>"
+    DEPENDS Microsoft.Z3)
diff --git a/examples/dotnet/README b/examples/dotnet/README
index 3f7e989df..b42156761 100644
--- a/examples/dotnet/README
+++ b/examples/dotnet/README
@@ -1,7 +1,6 @@
 Small example using the .Net bindings.
-This example is only built if you have Visual Studio.
 To build the example execute
    make examples
 in the build directory.
 
-It will create the executable dotnet_example.exe
+It will create a .net core 2.0 app.
diff --git a/src/api/dotnet/CMakeLists.txt b/src/api/dotnet/CMakeLists.txt
index db5a53259..4f4230ff2 100644
--- a/src/api/dotnet/CMakeLists.txt
+++ b/src/api/dotnet/CMakeLists.txt
@@ -159,11 +159,6 @@ 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)
 
 # Convenient top-level target