pkgs/by-name/cb/cbmc/0002-Do-not-download-sources-in-cmake.patch

   1 From c6b6438d3c87ce000b4e80b2eda2389e9473d24c Mon Sep 17 00:00:00 2001
   2 From: wxt <3264117476@qq.com>
   3 Date: Mon, 11 Nov 2024 11:35:03 +0800
   4 Subject: [PATCH] Do not download sources in cmake
   5
   6 ---
   7  src/solvers/CMakeLists.txt | 9 +++------
   8  1 file changed, 3 insertions(+), 6 deletions(-)
   9
  10 diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
  11 index ab8d111..d7165e2 100644
  12 --- a/src/solvers/CMakeLists.txt
  13 +++ b/src/solvers/CMakeLists.txt
  14 @@ -102,10 +102,9 @@ foreach(SOLVER ${sat_impl})
  15          message(STATUS "Building solvers with glucose")
  16
  17          download_project(PROJ glucose
  18 -            URL https://github.com/BrunoDutertre/glucose-syrup/archive/0bb2afd3b9baace6981cbb8b4a1c7683c44968b7.tar.gz
  19 +            SOURCE_DIR @srcglucose@
  20              PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/scripts/glucose-syrup-patch
  21              COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/scripts/glucose_CMakeLists.txt CMakeLists.txt
  22 -            URL_MD5 7c539c62c248b74210aef7414787323a
  23          )
  24
  25          add_subdirectory(${glucose_SOURCE_DIR} ${glucose_BINARY_DIR})
  26 @@ -121,11 +120,10 @@ foreach(SOLVER ${sat_impl})
  27          message(STATUS "Building solvers with cadical")
  28
  29          download_project(PROJ cadical
  30 -            URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
  31 +            SOURCE_DIR @srccadical@
  32              PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/scripts/cadical-2.0.0-patch
  33              COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/scripts/cadical_CMakeLists.txt CMakeLists.txt
  34              COMMAND ./configure
  35 -            URL_MD5 9fc2a66196b86adceb822a583318cc35
  36          )
  37
  38          add_subdirectory(${cadical_SOURCE_DIR} ${cadical_BINARY_DIR})
  39 @@ -144,10 +142,9 @@ foreach(SOLVER ${sat_impl})
  40          message(STATUS "Building with IPASIR solver linking against: CaDiCaL")
  41
  42          download_project(PROJ cadical
  43 -            URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
  44 +            SOURCE_DIR @srccadical@
  45              PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/scripts/cadical-2.0.0-patch
  46              COMMAND ./configure
  47 -            URL_MD5 9fc2a66196b86adceb822a583318cc35
  48          )
  49
  50          message(STATUS "Building CaDiCaL")
  51 --
  52 2.47.0
  53