From cfab4a0d32a5f3c3fbac7c843ca7e2cb71f3b33e Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Sun, 29 Sep 2024 00:59:02 +0200
Subject: [PATCH] Fix CMake scripts
This fixes ninja builds
---
cmake/PugsDoc.cmake | 17 +++++++----------
1 file changed, 7 insertions(+), 10 deletions(-)
diff --git a/cmake/PugsDoc.cmake b/cmake/PugsDoc.cmake
index 2be770b3a..dd1bc6b68 100644
--- a/cmake/PugsDoc.cmake
+++ b/cmake/PugsDoc.cmake
@@ -20,13 +20,10 @@ add_custom_target(doc DEPENDS userdoc)
if (EMACS AND GNUPLOT_FOUND AND GMSH)
- add_custom_command(
- OUTPUT "${PUGS_BINARY_DIR}/doc"
+ add_custom_target(pugsdoc-dir
COMMAND ${CMAKE_COMMAND} -E make_directory "${PUGS_BINARY_DIR}/doc"
)
- add_custom_target(pugsdoc-dir DEPENDS "${PUGS_BINARY_DIR}/doc")
-
set(ORG_GENERATOR_FILES
"${PUGS_SOURCE_DIR}/doc/lisp/build-doc-config.el"
"${PUGS_SOURCE_DIR}/doc/lisp/share/pugs.el"
@@ -102,12 +99,12 @@ if (EMACS AND GNUPLOT_FOUND AND GMSH)
FILE_PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE
@ONLY)
- set_source_files_properties(
- ${PUGS_BINARY_DIR}/build-pdf.sh2
- PROPERTIES
- GENERATED TRUE
- HEADER_FILE_ONLY TRUE
- )
+ # set_source_files_properties(
+ # ${PUGS_BINARY_DIR}/build-pdf.sh2
+ # PROPERTIES
+ # GENERATED TRUE
+ # HEADER_FILE_ONLY TRUE
+ # )
add_custom_target(userdoc-pdf DEPENDS pugsdoc-dir "${PUGS_BINARY_DIR}/doc/userdoc.pdf" "${PUGS_BINARY_DIR}/doc/build-userdoc-pdf.sh")
--
GitLab