From 48395f121884256fe2982afb6e986b027a48b91a Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Sun, 29 Mar 2020 16:11:24 +0200 Subject: [PATCH] Cmake: Fixed capitalization of z3 and hwloc to silence some cmake warnings that recently appear. --- resources/3rdparty/CMakeLists.txt | 2 +- .../cmake/find_modules/{FindHwloc.cmake => FindHWLOC.cmake} | 0 resources/cmake/find_modules/FindZ3.cmake | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) rename resources/cmake/find_modules/{FindHwloc.cmake => FindHWLOC.cmake} (100%) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 46e927d85..acd1fefd1 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -496,7 +496,7 @@ add_dependencies(sylvan_STATIC sylvan) list(APPEND STORM_DEP_TARGETS sylvan_STATIC) -find_package(Hwloc QUIET REQUIRED) +find_package(HWLOC QUIET REQUIRED) if(HWLOC_FOUND) message(STATUS "Storm - Linking with hwloc ${HWLOC_VERSION}.") add_imported_library(hwloc STATIC ${HWLOC_LIBRARIES} "") diff --git a/resources/cmake/find_modules/FindHwloc.cmake b/resources/cmake/find_modules/FindHWLOC.cmake similarity index 100% rename from resources/cmake/find_modules/FindHwloc.cmake rename to resources/cmake/find_modules/FindHWLOC.cmake diff --git a/resources/cmake/find_modules/FindZ3.cmake b/resources/cmake/find_modules/FindZ3.cmake index d0978b3bc..6c6a7beb1 100644 --- a/resources/cmake/find_modules/FindZ3.cmake +++ b/resources/cmake/find_modules/FindZ3.cmake @@ -32,7 +32,7 @@ set(Z3_SOLVER ${Z3_EXEC}) # set the LIBZ3_FOUND variable by utilizing the following macro # (which also handles the REQUIRED and QUIET arguments) include(FindPackageHandleStandardArgs) -find_package_handle_standard_args(z3 DEFAULT_MSG +find_package_handle_standard_args(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR) IF (NOT Z3_FIND_QUIETLY)