diff --git a/tool/CMakeLists.txt b/tool/CMakeLists.txt index fef8a3c524e34baa26ee17a0469335e99dc2445c..e42dac0e27c166fcd7abbb7c2a605808e715e913 100644 --- a/tool/CMakeLists.txt +++ b/tool/CMakeLists.txt @@ -1,3 +1,8 @@ +find_file(OMPT_HEADER NAMES omp-tools.h) +if (${OMPT_HEADER} STREQUAL "OMPT_HEADER-NOTFOUND") + message(FATAL_ERROR "The OpenMP's OMPT header (omp-tools.h) was not found. Please check your OpenMP runtime installation.") +endif() + set(SOURCES tool.cpp ompt_callbacks.cpp