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

OPM · Sep 25, 2017 · 7b7e2fc · 7b7e2fc
1 parent d46c0ed
commit 7b7e2fc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -40,6 +40,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()