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

replace LIST FILTER with handrolled implementation to cancel cmake v3.6+ dependency

Browse source
This commit is contained in:
Yatao Li 2018-09-12 01:28:42 +08:00
parent 5474e1675a
commit 20c128d3fa
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
cmake/modules/FindDotnet.cmake
View file

@ -125,7 +125,12 @@ FUNCTION(DOTNET_GET_DEPS _DN_PROJECT arguments)
${arguments}) ${arguments})
LIST(APPEND DOTNET_deps ${_DN_SOURCES}) LIST(APPEND DOTNET_deps ${_DN_SOURCES})
LIST(FILTER DOTNET_deps EXCLUDE REGEX /obj/) SET(_DN_deps "")
FOREACH(dep ${DOTNET_deps})
IF(NOT dep MATCHES /obj/)
LIST(APPEND _DN_deps ${dep})
ENDIF()
ENDFOREACH()
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)
@ -178,7 +183,7 @@ FUNCTION(DOTNET_GET_DEPS _DN_PROJECT arguments)
SET(DOTNET_RUN_OUTPUT ${_DN_OUTPUT} PARENT_SCOPE) SET(DOTNET_RUN_OUTPUT ${_DN_OUTPUT} PARENT_SCOPE)
SET(DOTNET_PACKAGE_VERSION ${_DN_VERSION} PARENT_SCOPE) SET(DOTNET_PACKAGE_VERSION ${_DN_VERSION} PARENT_SCOPE)
SET(DOTNET_OUTPUT_PATH ${_DN_OUTPUT_PATH} PARENT_SCOPE) SET(DOTNET_OUTPUT_PATH ${_DN_OUTPUT_PATH} PARENT_SCOPE)
SET(DOTNET_deps ${DOTNET_deps} PARENT_SCOPE) SET(DOTNET_deps ${_DN_deps} PARENT_SCOPE)
IF(_DN_PLATFORM) IF(_DN_PLATFORM)
SET(_DN_PLATFORM_PROP "/p:Platform=${_DN_PLATFORM}") SET(_DN_PLATFORM_PROP "/p:Platform=${_DN_PLATFORM}")