deps: Bump re2 to 2024-02-01

2024-02-27 09:59:49 +01:00
parent 628f9bde35
commit 101117ce3e
3 changed files with 4 additions and 4 deletions
--- a/Dependencies.txt
+++ b/Dependencies.txt
@@ -6,6 +6,6 @@ Clp=1.17.7
 Osi=0.108.7
 CoinUtils=2.11.6
 Eigen=3.4.0
-Re2=2023-11-01
+Re2=2024-02-01
 HiGHS=v1.6.0
 Scip=v810
--- a/2
+++ b/2
@@ -81,7 +81,7 @@ new_git_repository(
 ## Re2
 git_repository(
    name = "com_google_re2",
-    tag = "2023-11-01",
+    tag = "2024-02-01",
    remote = "https://github.com/google/re2.git",
 )

--- a/cmake/dependencies/CMakeLists.txt
+++ b/cmake/dependencies/CMakeLists.txt
@@ -122,8 +122,8 @@ if(BUILD_re2)
  FetchContent_Declare(
    re2
    GIT_REPOSITORY "https://github.com/google/re2.git"
-    GIT_TAG "2023-11-01"
-    #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2023-11-01.patch"
+    GIT_TAG "2024-02-01"
+    #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2024-02-01.patch"
  )
  FetchContent_MakeAvailable(re2)
  list(POP_BACK CMAKE_MESSAGE_INDENT)