From 7cedf79b38ddfec21e8be0786cf2b558f0684d5f Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 26 Apr 2016 00:06:36 +0100 Subject: [PATCH] [CMake] When building the ".NET" bindings emit ``Microsoft.Z3.dll`` and ``Microsoft.Z3.xml`` to the root build directory rather than ``/src/api/dotnet``. This fixes #573 which makes the behaviour consistent with the Python build system. --- contrib/cmake/src/api/dotnet/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/cmake/src/api/dotnet/CMakeLists.txt b/contrib/cmake/src/api/dotnet/CMakeLists.txt index f077b57ce..fdde298a0 100644 --- a/contrib/cmake/src/api/dotnet/CMakeLists.txt +++ b/contrib/cmake/src/api/dotnet/CMakeLists.txt @@ -206,9 +206,9 @@ endif() # FIXME: The get_property() command only works correctly for single configuration generators # so we can't use it. We also can't use ``$`` because the ``OUTPUT`` # argument to ``add_custom_commands()`` won't accept it. For now just output file to the -# current binary directory. +# root binary directory like the Python build system does. # get_property(Z3_DOTNET_ASSEMBLY_OUTPUT_DIR TARGET libz3 PROPERTY LIBRARY_OUTPUT_DIRECTORY) -set(Z3_DOTNET_ASSEMBLY_OUTPUT_DIR "${CMAKE_CURRENT_BINARY_DIR}") +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}") # csc.exe doesn't work with UNIX style paths so convert to native path