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

dotnet: example: copy to binary dir before build

Browse source
This commit is contained in:
Yatao Li 2019-01-13 22:45:05 +08:00
parent 0a6a76734a
commit 8ebde41f35
4 changed files with 23 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
examples/CMakeLists.txt
View file

@ -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()

15
examples/dotnet/CMakeLists.txt Normal file
View file

@ -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)

3
examples/dotnet/README
View file

@ -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.

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

@ -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