sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Cmake: Fixed capitalization of z3 and hwloc to silence some cmake warnings that recently appear.

tempestpy_adaptions
Tim Quatmann 5 years ago
parent
8c32705b99
commit
48395f1218
3 changed files with 2 additions and 2 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      resources/3rdparty/CMakeLists.txt
  2. 0
      resources/cmake/find_modules/FindHWLOC.cmake
  3. 2
      resources/cmake/find_modules/FindZ3.cmake

2
resources/3rdparty/CMakeLists.txt
View File

@ -496,7 +496,7 @@ add_dependencies(sylvan_STATIC sylvan)
list(APPEND STORM_DEP_TARGETS sylvan_STATIC) list(APPEND STORM_DEP_TARGETS sylvan_STATIC)
find_package(Hwloc QUIET REQUIRED)
find_package(HWLOC QUIET REQUIRED)
if(HWLOC_FOUND) if(HWLOC_FOUND)
message(STATUS "Storm - Linking with hwloc ${HWLOC_VERSION}.") message(STATUS "Storm - Linking with hwloc ${HWLOC_VERSION}.")
add_imported_library(hwloc STATIC ${HWLOC_LIBRARIES} "") add_imported_library(hwloc STATIC ${HWLOC_LIBRARIES} "")

0
resources/cmake/find_modules/FindHwloc.cmake → resources/cmake/find_modules/FindHWLOC.cmake
View File

2
resources/cmake/find_modules/FindZ3.cmake
View File

@ -32,7 +32,7 @@ set(Z3_SOLVER ${Z3_EXEC})
# set the LIBZ3_FOUND variable by utilizing the following macro # set the LIBZ3_FOUND variable by utilizing the following macro
# (which also handles the REQUIRED and QUIET arguments) # (which also handles the REQUIRED and QUIET arguments)
include(FindPackageHandleStandardArgs) include(FindPackageHandleStandardArgs)
find_package_handle_standard_args(z3 DEFAULT_MSG
find_package_handle_standard_args(Z3 DEFAULT_MSG
Z3_LIBRARY Z3_INCLUDE_DIR) Z3_LIBRARY Z3_INCLUDE_DIR)
IF (NOT Z3_FIND_QUIETLY) IF (NOT Z3_FIND_QUIETLY)

Write Preview
Loading…
Cancel
Save