Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / python-modules / chiapos / dont_fetch_dependencies.patch
blob86dfad747d851576d2decd16217652ecbee7c769
1 diff --git a/CMakeLists.txt b/CMakeLists.txt
2 index d1dd25d..96abc65 100644
3 --- a/CMakeLists.txt
4 +++ b/CMakeLists.txt
5 @@ -21,23 +21,20 @@ include(${CMAKE_INSTALL_PREFIX}/share/cmake/pybind11/pybind11Config.cmake)
6 else()
7 FetchContent_Declare(
8 pybind11-src
9 - GIT_REPOSITORY https://github.com/pybind/pybind11.git
10 - GIT_TAG v2.10.0
11 + SOURCE_DIR @pybind11_src@
13 FetchContent_MakeAvailable(pybind11-src)
14 endif()
16 FetchContent_Declare(
17 cxxopts
18 - GIT_REPOSITORY https://github.com/jarro2783/cxxopts.git
19 - GIT_TAG v2.2.1
20 + SOURCE_DIR @cxxopts@
22 FetchContent_MakeAvailable(cxxopts)
24 FetchContent_Declare(
25 gulrak
26 - GIT_REPOSITORY https://github.com/gulrak/filesystem.git
27 - GIT_TAG v1.5.6
28 + SOURCE_DIR @ghc_filesystem@
30 FetchContent_MakeAvailable(gulrak)
32 @@ -150,8 +147,7 @@ ENDIF()
34 FetchContent_Declare(
35 Catch2
36 - GIT_REPOSITORY https://github.com/catchorg/Catch2.git
37 - GIT_TAG v2.13.7
38 + SOURCE_DIR @catch2_src@
40 FetchContent_MakeAvailable(Catch2)