CMake: add -DKAMINPAR_BUILD_WITH_PG option for profiling

CMakeLists.txt

@@ -32,6 +32,7 @@ option(KAMINPAR_BUILD_WITH_MTUNE_NATIVE "Build with -mtune=native." ON)
 option(KAMINPAR_BUILD_WITH_CCACHE "Use ccache to build." ON)
 option(KAMINPAR_BUILD_WITH_DEBUG_SYMBOLS "Always build with debug symbols, even in Release mode." ON)
 option(KAMINPAR_BUILD_WITH_MTKAHYPAR "If Mt-KaHyPar can be found, build the Mt-KaHyPar initial partitioner." OFF)
+option(KAMINPAR_BUILD_WITH_PG "Build with the -pg option for profiling." OFF)
 
 # Control data type sizes
 #########################
@@ -108,6 +109,10 @@ if (KAMINPAR_BUILD_WITH_ASAN)
     add_link_options(-fsanitize=address)
 endif ()
 
+if (KAMINPAR_BUILD_WITH_PG)
+    add_compile_options(-pg)
+endif ()
+
 # Pass CMake options to code
 if (KAMINPAR_ENABLE_STATISTICS)
     list(APPEND KAMINPAR_DEFINITIONS "-DKAMINPAR_ENABLE_STATISTICS")