From 4813cadd145babfc3f53fec8c7278242f4b3b029 Mon Sep 17 00:00:00 2001
From: Tobias Ribizel <mail@ribizel.de>
Date: Sat, 9 Dec 2023 00:02:42 +0100
Subject: [PATCH] copy pretty-printer to build directory

---
 core/CMakeLists.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/core/CMakeLists.txt b/core/CMakeLists.txt
index ce4a52037b9..3e0398109fe 100644
--- 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()