core: update versions

z3 patch update CPM patch update
sillydan1 · Sep 18, 2023 · 01a5544 · 01a5544
1 parent 99b1a75
commit 01a5544
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -20,7 +20,7 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 cmake_minimum_required(VERSION 3.18)
-project(expr VERSION 3.0.2)
+project(expr VERSION 3.0.3)
 include(cmake/CPM.cmake)
 configure_file(src/config.h.in config.h)
 set(CMAKE_CXX_STANDARD 20)
@@ -41,7 +41,7 @@ CPMAddPackage("gh:sillydan1/[email protected]")
 
 if(ENABLE_Z3)
     include(cmake/Z3.cmake)
-    set(Z3_VERSION_NUMBER z3-4.12.1)
+    set(Z3_VERSION_NUMBER z3-4.12.2)
     get_z3_zip_file(${Z3_VERSION_NUMBER})
     CPMAddPackage(NAME z3 VERSION ${Z3_VERSION_NUMBER} URL ${z3vstr})
 endif()

diff --git a/cmake/CPM.cmake b/cmake/CPM.cmake
@@ -1,4 +1,4 @@
-set(CPM_DOWNLOAD_VERSION 0.38.0)
+set(CPM_DOWNLOAD_VERSION 0.38.5)
 
 if(CPM_SOURCE_CACHE)
   # Expand relative path. This is important if the provided path contains a tilde (~)