From ae0f74f82efacc6154eafd58915c7ba49814458d Mon Sep 17 00:00:00 2001
From: Philippe Virouleau <philippe.44@gmail.com>
Date: Mon, 23 Sep 2019 14:36:39 +0200
Subject: [PATCH] check for omp-tools.h presence
---
tool/CMakeLists.txt | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/tool/CMakeLists.txt b/tool/CMakeLists.txt
index fef8a3c..e42dac0 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
--
GitLab