mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
16 lines
550 B
CMake
16 lines
550 B
CMake
find_package(Dotnet REQUIRED)
|
|
|
|
if("${TARGET_ARCHITECTURE}" STREQUAL "i686")
|
|
set(Z3_DOTNET_PLATFORM "x86")
|
|
else()
|
|
set(Z3_DOTNET_PLATFORM "Any CPU")
|
|
endif()
|
|
|
|
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/dotnet.csproj dotnet.csproj COPYONLY)
|
|
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/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)
|