diff --git a/Dependencies.txt b/Dependencies.txt index 4d32194d170..780323c990a 100644 --- 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-08-01 +Re2=2023-09-01 HiGHS=v1.6.0 Scip=v804 diff --git a/WORKSPACE b/WORKSPACE index 56f4143cdf9..c7f43c7fd90 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -84,7 +84,7 @@ new_git_repository( ## Re2 git_repository( name = "com_google_re2", - tag = "2023-08-01", + tag = "2023-09-01", remote = "https://github.com/google/re2.git", ) diff --git a/cmake/dependencies/CMakeLists.txt b/cmake/dependencies/CMakeLists.txt index 74a0711b501..4e4b8f5ce21 100644 --- a/cmake/dependencies/CMakeLists.txt +++ b/cmake/dependencies/CMakeLists.txt @@ -121,8 +121,8 @@ if(BUILD_re2) FetchContent_Declare( re2 GIT_REPOSITORY "https://github.com/google/re2.git" - GIT_TAG "2023-08-01" - #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2023-08-01.patch" + GIT_TAG "2023-09-01" + #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2023-09-01.patch" ) FetchContent_MakeAvailable(re2) list(POP_BACK CMAKE_MESSAGE_INDENT)