26 lines
842 B
Diff
26 lines
842 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.src@
|
|
)
|
|
|
|
if(NOT EXISTS ${cudd_SOURCE_DIR}/Makefile)
|
|
--
|
|
2.47.0
|
|
|