Added warning if opm-common_DIR is not an existing directory.

This commit is contained in:
Markus Blatt 2017-09-15 11:34:22 +02:00
parent b8838d28b3
commit 355d4e7809

View File

@ -41,6 +41,11 @@ if(NOT OPM_COMMON_ROOT)
set(opm-common_DIR "${_parent_full_dir}/opm-common}")
endif()
endif()
else()
if(NOT IS_DIRECTORY ${opm-common_DIR})
message(WARNING "Value ${opm-common_DIR} passed to variable"
" opm-common_DIR is not a directory")
endif()
endif()
find_package(opm-common QUIET)
endif()