diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/boolector/cmake-gtest.patch')
| -rw-r--r-- | nixpkgs/pkgs/applications/science/logic/boolector/cmake-gtest.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/boolector/cmake-gtest.patch b/nixpkgs/pkgs/applications/science/logic/boolector/cmake-gtest.patch deleted file mode 100644 index 61a64d3abbbf..000000000000 --- a/nixpkgs/pkgs/applications/science/logic/boolector/cmake-gtest.patch +++ /dev/null @@ -1,16 +0,0 @@ -diff --git a/cmake/googletest-download.cmake b/cmake/googletest-download.cmake -index 0ec4d558..d0910313 100644 ---- a/cmake/googletest-download.cmake -+++ b/cmake/googletest-download.cmake -@@ -9,10 +9,7 @@ ExternalProject_Add( - googletest - SOURCE_DIR "@GOOGLETEST_DOWNLOAD_ROOT@/googletest-src" - BINARY_DIR "@GOOGLETEST_DOWNLOAD_ROOT@/googletest-build" -- GIT_REPOSITORY -- https://github.com/google/googletest.git -- GIT_TAG -- release-1.10.0 -+ URL REPLACEME - CONFIGURE_COMMAND "" - BUILD_COMMAND "" - INSTALL_COMMAND "" |