FATAL_ERRROR if Profiling API header not found

[ROCm/clr commit: c37c1288db]
This commit is contained in:
Evgeny
2018-11-22 21:51:20 -06:00
parent dc1dd2c52f
commit efbb57c5af
+2 -2
Vedi File
@@ -160,11 +160,11 @@ endif ()
find_path(PROF_API_HEADER_DIR NAMES prof_protocol.h PATHS ${PROF_API_HEADER_PATH} NO_DEFAULT_PATH)
if(NOT PROF_API_HEADER_DIR)
MESSAGE("PROF_API_HEADER_PATH = ${PROF_API_HEADER_PATH}")
MESSAGE("Profiling API header not found, use -DPROF_API_HEADER_PATH=<path to prof_protocol.h header>")
MESSAGE(FATAL_ERROR "Profiling API header not found, use -DPROF_API_HEADER_PATH=<path to prof_protocol.h header>")
else()
add_definitions(-DUSE_PROF_API=1)
include_directories ( ${PROF_API_HEADER_DIR} )
MESSAGE("PROF_API_HEADER_DIR = ${PROF_API_HEADER_DIR}")
MESSAGE(STATUS "Profiling API: ${PROF_API_HEADER_DIR}")
endif()
endif()