diff --git a/contrib/cmake/src/api/dotnet/CMakeLists.txt b/contrib/cmake/src/api/dotnet/CMakeLists.txt
index fdde298a0..e8fa12292 100644
--- a/contrib/cmake/src/api/dotnet/CMakeLists.txt
+++ b/contrib/cmake/src/api/dotnet/CMakeLists.txt
@@ -203,11 +203,23 @@ if (DOTNET_TOOLCHAIN_IS_WINDOWS)
   endif()
 endif()
 
-# FIXME: The get_property() command only works correctly for single configuration generators
-# so we can't use it. We also can't use ``$<TARGET_FILE_DIR:libz3>`` because the ``OUTPUT``
-# argument to ``add_custom_commands()`` won't accept it. For now just output file to the
-# root binary directory like the Python build system does.
-# get_property(Z3_DOTNET_ASSEMBLY_OUTPUT_DIR TARGET libz3 PROPERTY LIBRARY_OUTPUT_DIRECTORY)
+# FIXME: Ideally we should emit files into a configuration specific directory
+# when using multi-configuration generators so that the files generated by each
+# configuration don't clobber each other. Unfortunately the ``get_property()``
+# command only works correctly for single configuration generators so we can't
+# use it. We also can't use ``$<TARGET_FILE_DIR:libz3>`` because the ``OUTPUT``
+# argument to ``add_custom_commands()`` won't accept it.
+# See http://public.kitware.com/pipermail/cmake/2016-March/063101.html
+#
+# For now just output file to the root binary directory like the Python build
+# system does and emit a warning when appropriate.
+if (DEFINED CMAKE_CONFIGURATION_TYPES)
+  # Multi-configuration build (e.g. Visual Studio and Xcode).
+  message(WARNING "You are using a multi-configuration generator. The build rules for"
+    " the \".NET\" bindings currently do not emit files per configuration so previously"
+    " generated files for other configurations will be overwritten.")
+endif()
+
 set(Z3_DOTNET_ASSEMBLY_OUTPUT_DIR "${CMAKE_BINARY_DIR}")
 set(Z3_DOTNET_ASSEMBLY_NAME "Microsoft.Z3.dll")
 set(Z3_DOTNET_ASSEMBLY_DLL "${Z3_DOTNET_ASSEMBLY_OUTPUT_DIR}/${Z3_DOTNET_ASSEMBLY_NAME}")
@@ -252,7 +264,9 @@ if (DOTNET_TOOLCHAIN_IS_MONO)
   # to find the assembly
   install(FILES "${Z3_DOTNET_PKGCONFIG_FILE}" DESTINATION "${CMAKE_INSTALL_PKGCONFIGDIR}")
 
-  # Configure the install and uninstall scripts
+  # Configure the install and uninstall scripts.
+  # Note: If multi-configuration generator support is ever fixed then these
+  # scripts will be broken.
   configure_file(cmake_install_gac.cmake.in cmake_install_gac.cmake @ONLY)
   configure_file(cmake_uninstall_gac.cmake.in cmake_uninstall_gac.cmake @ONLY)