copy pretty-printer to build directory

ginkgo-project · Dec 8, 2023 · 4813cad · 4813cad
1 parent a0c34e3
commit 4813cad
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/core/CMakeLists.txt b/core/CMakeLists.txt
@@ -156,3 +156,12 @@ endif()
 if(GINKGO_BUILD_TESTS)
     add_subdirectory(test)
 endif()
+
+if(GINKGO_DEVEL_TOOLS)
+    # Copy pretty-printer next to library
+    add_custom_command(TARGET ginkgo POST_BUILD
+        COMMAND "${CMAKE_COMMAND}" -E copy
+        "${Ginkgo_SOURCE_DIR}/dev_tools/scripts/gdb-ginkgo.py"
+        "$<TARGET_FILE:ginkgo>-gdb.py"
+        COMMENT "Copying pretty-printer to output directory")
+endif()