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

   1 From 714f5ebe9ade721abdccf58edfcddba52465cb8d Mon Sep 17 00:00:00 2001
   2 From: Jiajie Chen <c@jia.je>
   3 Date: Sun, 2 Jul 2023 22:43:27 +0800
   4 Subject: [PATCH] Do not download sources in cmake
   5
   6 ---
   7  src/solvers/CMakeLists.txt | 11 +----------
   8  1 file changed, 1 insertion(+), 10 deletions(-)
   9
  10 diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
  11 index daa0853a57..4bcbbdaa47 100644
  12 --- a/src/solvers/CMakeLists.txt
  13 +++ b/src/solvers/CMakeLists.txt
  14 @@ -123,16 +123,6 @@ foreach(SOLVER ${sat_impl})
  15      elseif("${SOLVER}" STREQUAL "cadical")
  16          message(STATUS "Building solvers with cadical")
  17
  18 -        download_project(PROJ cadical
  19 -            URL https://github.com/arminbiere/cadical/archive/rel-1.7.2.tar.gz
  20 -            PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-1.7.2-patch
  21 -            COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/../scripts/cadical_CMakeLists.txt CMakeLists.txt
  22 -            COMMAND ./configure
  23 -            URL_MD5 be646831a017f81b300664e58deba1b5
  24 -        )
  25 -
  26 -        add_subdirectory(${cadical_SOURCE_DIR} ${cadical_BINARY_DIR})
  27 -
  28          target_compile_definitions(solvers PUBLIC
  29              SATCHECK_CADICAL HAVE_CADICAL
  30          )
  31 @@ -140,6 +130,7 @@ foreach(SOLVER ${sat_impl})
  32          target_include_directories(solvers
  33              PUBLIC
  34              ${cadical_SOURCE_DIR}/src
  35 +            ${cadical_INCLUDE_DIR}
  36          )
  37
  38          target_link_libraries(solvers cadical)
  39 --
  40 2.42.0
  41