aboutsummaryrefslogtreecommitdiff
path: root/CMakeLists.txt
diff options
context:
space:
mode:
author_ov4 <ov4@ov4.org>2026-10-13 05:08:14 +0000
committer_ov4 <ov4@ov4.org>2026-10-13 05:08:14 +0000
commit84cbd5fef8c67586f08cb7396f9d60ef4a07622f (patch)
tree229029f00ebb977bcc93889fb5f7189f6ba8de1f /CMakeLists.txt
parent26b378e7e90f950e8d64a294e56fbe9e06d19214 (diff)
build: render standalone HTML documentation on Windows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt20
1 files changed, 15 insertions, 5 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index b3986eb..baf337a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -68,17 +68,27 @@ target_link_libraries(cpsc
${llvm_libs}
)
+if(WIN32)
+ set(cpsc_manual_file "${CMAKE_CURRENT_BINARY_DIR}/doc/cpsc.html")
+ set(cpsc_manual_format html5)
+ set(cpsc_manual_options --metadata "title=cpsc manual")
+else()
+ set(cpsc_manual_file "${CMAKE_CURRENT_BINARY_DIR}/doc/cpsc.1")
+ set(cpsc_manual_format man)
+ set(cpsc_manual_options)
+endif()
add_custom_command(
- OUTPUT "${CMAKE_CURRENT_BINARY_DIR}/doc/cpsc.1"
+ OUTPUT "${cpsc_manual_file}"
COMMAND "${CMAKE_COMMAND}" -E make_directory "${CMAKE_CURRENT_BINARY_DIR}/doc"
- COMMAND pandoc --standalone --from=markdown --to=man
+ COMMAND pandoc --standalone --from=markdown "--to=${cpsc_manual_format}"
+ ${cpsc_manual_options}
"${CMAKE_CURRENT_SOURCE_DIR}/doc/cpsc.md"
- --output "${CMAKE_CURRENT_BINARY_DIR}/doc/cpsc.1"
+ --output "${cpsc_manual_file}"
DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/doc/cpsc.md"
- COMMENT "Generating cpsc(1) manual"
+ COMMENT "Generating cpsc manual (${cpsc_manual_format})"
VERBATIM
)
-add_custom_target(doc DEPENDS "${CMAKE_CURRENT_BINARY_DIR}/doc/cpsc.1")
+add_custom_target(doc DEPENDS "${cpsc_manual_file}")
configure_file(cmake/Install.cmake.in "${CMAKE_CURRENT_BINARY_DIR}/Install.cmake" @ONLY)
install(SCRIPT "${CMAKE_CURRENT_BINARY_DIR}/Install.cmake")