mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

api: dotnet: install nuget package and register local repo; xplat native assembly detection

Browse source
This commit is contained in:
Yatao Li 2018-09-10 13:19:48 +08:00
parent 90890e46a9
commit 969a922145
3 changed files with 37 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
cmake/modules/FindDotnet.cmake
View file

@ -22,7 +22,8 @@
# [PLATFORM platform] # [PLATFORM platform]
# [PACKAGE output_nuget_packages... ] # [PACKAGE output_nuget_packages... ]
# [VERSION nuget_package_version] # [VERSION nuget_package_version]
# [DEPENDS depend_nuget_packages... ]) # [DEPENDS depend_nuget_packages... ]
# [SOURCES additional_file_dependencies... ])
# ``` # ```
# #
# RUN_DOTNET -- Run a project with `dotnet run`. The `OUTPUT` argument represents artifacts # RUN_DOTNET -- Run a project with `dotnet run`. The `OUTPUT` argument represents artifacts
@ -41,7 +42,8 @@
# [CONFIG configuration] # [CONFIG configuration]
# [PLATFORM platform] # [PLATFORM platform]
# [PACKAGE output_nuget_packages... ] # [PACKAGE output_nuget_packages... ]
# [DEPENDS depend_nuget_packages... ]) # [DEPENDS depend_nuget_packages... ]
# [SOURCES additional_file_dependencies... ])
# ``` # ```
# #
# DOTNET_REGISTER_LOCAL_REPOSITORY -- register a local NuGet package repository. # DOTNET_REGISTER_LOCAL_REPOSITORY -- register a local NuGet package repository.
@ -110,7 +112,6 @@ ENDFUNCTION()
FUNCTION(DOTNET_GET_DEPS _DN_PROJECT arguments) FUNCTION(DOTNET_GET_DEPS _DN_PROJECT arguments)
FILE(GLOB_RECURSE DOTNET_deps *.cs *.fs *.xaml *.csproj *.fsproj *.tsl) FILE(GLOB_RECURSE DOTNET_deps *.cs *.fs *.xaml *.csproj *.fsproj *.tsl)
LIST(FILTER DOTNET_deps EXCLUDE REGEX /obj/)
CMAKE_PARSE_ARGUMENTS( CMAKE_PARSE_ARGUMENTS(
# prefix # prefix
_DN _DN
@ -119,10 +120,13 @@ FUNCTION(DOTNET_GET_DEPS _DN_PROJECT arguments)
# oneValueArgs # oneValueArgs
"CONFIG;PLATFORM;VERSION" "CONFIG;PLATFORM;VERSION"
# multiValueArgs # multiValueArgs
"PACKAGE;DEPENDS;ARGUMENTS;OUTPUT" "PACKAGE;DEPENDS;ARGUMENTS;OUTPUT;SOURCES"
# the input arguments # the input arguments
${arguments}) ${arguments})
LIST(APPEND DOTNET_deps ${_DN_SOURCES})
LIST(FILTER DOTNET_deps EXCLUDE REGEX /obj/)
GET_FILENAME_COMPONENT(_DN_abs_proj "${_DN_PROJECT}" ABSOLUTE) GET_FILENAME_COMPONENT(_DN_abs_proj "${_DN_PROJECT}" ABSOLUTE)
GET_FILENAME_COMPONENT(_DN_proj_dir "${_DN_PROJECT}" DIRECTORY) GET_FILENAME_COMPONENT(_DN_proj_dir "${_DN_PROJECT}" DIRECTORY)
GET_FILENAME_COMPONENT(_DN_projname "${DOTNET_PROJECT}" NAME) GET_FILENAME_COMPONENT(_DN_projname "${DOTNET_PROJECT}" NAME)

33
src/api/dotnet/CMakeLists.txt
View file

@ -137,21 +137,34 @@ endforeach()
# FindDotnet.cmake forwards CMake build type to MSBuild. # FindDotnet.cmake forwards CMake build type to MSBuild.
# And thus we can put the conditional properties in the project file. # And thus we can put the conditional properties in the project file.
# Note, nuget package file names do not have the ${VER_REV} part.
set(Z3_DOTNET_NUPKG_VERSION "${VER_MAJOR}.${VER_MINOR}.${VER_BUILD}")
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Microsoft.Z3.csproj.in ${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj) configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Microsoft.Z3.csproj.in ${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj)
ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj
# note, nuget package file names do not have the ${VER_REV} part. VERSION ${Z3_DOTNET_NUPKG_VERSION}
VERSION "${VER_MAJOR}.${VER_MINOR}.${VER_BUILD}" SOURCES ${CMAKE_CURRENT_SOURCE_DIR}/Microsoft.Z3.csproj.in
PACKAGE Microsoft.Z3) PACKAGE Microsoft.Z3)
add_custom_command( add_dependencies(BUILD_Microsoft.Z3 libz3)
OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/buildtimestamp
DEPENDS ${Z3_DOTNET_ASSEMBLY_SOURCES} ${CMAKE_CURRENT_SOURCE_DIR}/Microsoft.Z3.csproj.in
COMMAND ${CMAKE_COMMAND} -E touch ${CMAKE_CURRENT_BINARY_DIR}/buildtimestamp)
add_custom_target(Z3_DOTNET_BUILD_DUMMY ALL DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/buildtimestamp)
add_dependencies(BUILD_Microsoft.Z3 Z3_DOTNET_BUILD_DUMMY libz3)
# Convenient top-level target # Convenient top-level target
add_custom_target(build_z3_dotnet_bindings ALL DEPENDS BUILD_Microsoft.Z3) add_custom_target(build_z3_dotnet_bindings ALL DEPENDS BUILD_Microsoft.Z3)
#TODO install ###############################################################################
# Install: register a local nuget repo and install our package.
# the build step depends on the 'purge' target, making sure that
# a user will always restore the freshly-built package.
###############################################################################
option(INSTALL_DOTNET_BINDINGS "Install .NET bindings when invoking install target" ON)
if(INSTALL_DOTNET_BINDINGS)
install(FILES "${CMAKE_BINARY_DIR}/Microsoft.Z3.${Z3_DOTNET_NUPKG_VERSION}.nupkg" DESTINATION "${CMAKE_INSTALL_LIBDIR}/z3.nuget")
install(CODE "include(${CMAKE_CURRENT_LIST_DIR}/../../../cmake/modules/FindDotnet.cmake)\n DOTNET_REGISTER_LOCAL_REPOSITORY(Microsoft.Z3.LocalBuild ${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}/z3.nuget)")
# TODO docs?
# install(FILES "${Z3_DOTNET_ASSEMBLY_DLL_DOC}" DESTINATION "${CMAKE_INSTALL_LIBDIR}")
# TODO GAC?
# set(GAC_PKG_NAME "Microsoft.Z3.Sharp")
# set(PREFIX "${CMAKE_INSTALL_PREFIX}")
# set(VERSION "${Z3_VERSION}")
endif()

10
src/api/dotnet/Microsoft.Z3.csproj.in
View file

@ -1,4 +1,4 @@
<Project Sdk="Microsoft.Net.Sdk"> <Project Sdk="Microsoft.NET.Sdk">
<!-- Package metadata properties --> <!-- Package metadata properties -->
<PropertyGroup> <PropertyGroup>
@ -58,11 +58,13 @@ ${Z3_DOTNET_COMPILE_ITEMS}
<!-- Native binaries --> <!-- Native binaries -->
<ItemGroup> <ItemGroup>
<!-- FIXME configuration fixed to Release --> <!--TODO detect if we're building x86.-->
<Content Include="${CMAKE_BINARY_DIR}/Release/libz3.dll" Condition="Exists('${CMAKE_BINARY_DIR}/Release/libz3.dll')"> <Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dll" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dll')">
<PackagePath>runtimes\win-x64\native</PackagePath> <PackagePath>runtimes\win-x64\native</PackagePath>
</Content> </Content>
<!-- TODO XPlat support --> <Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.so" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.so')">
<PackagePath>runtimes\linux-x64\native</PackagePath>
</Content>
</ItemGroup> </ItemGroup>
<!-- NuGet package references --> <!-- NuGet package references -->