646b892680
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
27 lines
838 B
Diff
27 lines
838 B
Diff
From 7b49a436bd5cc903b86b01f1a0f046ab8ec99fdb Mon Sep 17 00:00:00 2001
|
|
From: wxt <3264117476@qq.com>
|
|
Date: Mon, 11 Nov 2024 11:07:37 +0800
|
|
Subject: [PATCH] Do not download sources in cmake
|
|
|
|
---
|
|
CMakeLists.txt | 3 +--
|
|
1 file changed, 1 insertion(+), 2 deletions(-)
|
|
|
|
diff --git a/CMakeLists.txt b/CMakeLists.txt
|
|
index 2c1289a..8128362 100644
|
|
--- a/CMakeLists.txt
|
|
+++ b/CMakeLists.txt
|
|
@@ -116,8 +116,7 @@ if(DEFINED CMAKE_USE_CUDD)
|
|
include("${CMAKE_CURRENT_SOURCE_DIR}/cmake/DownloadProject.cmake")
|
|
message(STATUS "Downloading Cudd-3.0.0")
|
|
download_project(PROJ cudd
|
|
- URL https://sourceforge.net/projects/cudd-mirror/files/cudd-3.0.0.tar.gz/download
|
|
- URL_MD5 4fdafe4924b81648b908881c81fe6c30
|
|
+ SOURCE_DIR @cudd@
|
|
)
|
|
|
|
if(NOT EXISTS ${cudd_SOURCE_DIR}/Makefile)
|
|
--
|
|
2.47.0
|
|
|