From 519bb857d7f61e93cbf3dd887748aa1ca8e39fe3 Mon Sep 17 00:00:00 2001
From: Martin Diehl <mail@martin-diehl.net>
Date: Fri, 15 Oct 2021 22:15:08 +0200
Subject: [PATCH] save list of files used for compilation

helpful for debugging and creating automated documentation
---
 src/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index cb1436579..17a693b9d 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -29,3 +29,7 @@ else()
     exec_program(mktemp ARGS -d OUTPUT_VARIABLE black_hole)
     install(PROGRAMS ${nothing} DESTINATION ${black_hole})
 endif()
+
+string(REPLACE ";" "\n" sources "${damask-sources};${solver-sources}")
+message(${CMAKE_BINARY_DIR})
+file(WRITE ${CMAKE_BINARY_DIR}/sources.txt ${sources})