Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
35 lines
1.1 KiB
Diff
35 lines
1.1 KiB
Diff
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
Date: Sat, 5 Jun 2021 14:50:26 +0200
|
|
Subject: [PATCH] Do not require wget and unzip
|
|
|
|
|
|
diff --git a/CMakeLists.txt b/CMakeLists.txt
|
|
index 2261fe7..ce8edad 100644
|
|
--- a/CMakeLists.txt
|
|
+++ b/CMakeLists.txt
|
|
@@ -243,21 +243,6 @@ if(BUILD_DOCUMENTATION)
|
|
set(DOXYFILE_MAKE make.bat)
|
|
endif()
|
|
|
|
- if(NOT CHECK_DOCUMENTATION)
|
|
- find_program(WGET_EXE wget)
|
|
- if(WGET_EXE)
|
|
- message(STATUS "Found WGet: ${WGET_EXE}")
|
|
- else()
|
|
- message(FATAL_ERROR "wget is needed to build the documentation. Please install it correctly")
|
|
- endif()
|
|
- find_program(UNZIP_EXE unzip)
|
|
- if(UNZIP_EXE)
|
|
- message(STATUS "Found Unzip: ${UNZIP_EXE}")
|
|
- else()
|
|
- message(FATAL_ERROR "unzip is needed to build the documentation. Please install it correctly")
|
|
- endif()
|
|
- endif()
|
|
-
|
|
# Target to create documentation directories
|
|
add_custom_target(docdirs
|
|
COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_BINARY_DIR}/doc
|
|
--
|
|
2.40.1
|
|
|