[FIX,PROFILING] Add USE_PAPI configuration to config.cmake (#8567)

apache · Aug 2, 2021 · 9b97bad · 9b97bad
1 parent f656a22
commit 9b97bad
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/cmake/config.cmake b/cmake/config.cmake
@@ -311,3 +311,11 @@ set(BUILD_STATIC_RUNTIME OFF)
 # - OFF: disable ccache
 # - /path/to/ccache: use specific path to ccache
 set(USE_CCACHE AUTO)
+
+# Whether to enable PAPI support in profiling. PAPI provides access to hardware
+# counters while profiling.
+# Possible values:
+# - ON: enable PAPI support. Will search PKG_CONFIG_PATH for a papi.pc
+# - OFF: disable PAPI support.
+# - /path/to/folder/containing/: Path to folder containing papi.pc.
+set(USE_PAPI OFF)