From 8eb8959c8bac379d738afb9a4643b2eb0b5bdb3a Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 25 Dec 2023 21:49:08 +0100 Subject: chore(z3): bump to z3 4.12.6 We still have to build Z3 for linux-aarch64, because the official release requires glibc 2.35 (and the corresponding libstdc++), while Amazon Linux 2023 only supports glibc 2.34. Also enabled optimization flags from Amazon Linux 2023 for the aarch64 Z3 build. This tecnically excludes older armv8-a platforms (like Raspberry Pi 4), but most modern SBC (like Raspberry Pi 5) already support armv8.2-a+crypto. At any rate, the need to run Refinery on such paltforms in unlikely. At any rate, the build flags should be supported on Neoverse N1-based cloud providers (including Amazon and Hetzner), as well as Apple M devices (armv8.5-a). --- .../main/resources/z3java-linux-aarch64/libz3.so | Bin 29479296 -> 30654912 bytes .../z3java-linux-aarch64/libz3.so.license | 2 +- .../resources/z3java-linux-aarch64/libz3java.so | Bin 295952 -> 308224 bytes .../z3java-linux-aarch64/libz3java.so.license | 2 +- 4 files changed, 2 insertions(+), 2 deletions(-) (limited to 'z3/subprojects/solver-linux-aarch64/src') diff --git a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so index f7013e4f..574ee3ab 100755 Binary files a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so and b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so differ diff --git a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so.license b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so.license index 6f1e5a96..0993dbf7 100644 --- a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so.license +++ b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3.so.license @@ -2,5 +2,5 @@ Copyright (c) Microsoft Corporations SPDX-License-Identifier: MIT -This file was created from the Z3 4.12.2 release sources using the +This file was created from the Z3 4.12.6 release sources using the z3/docker/cross_build.sh script in this repository. diff --git a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so index e37c7cdb..aace2c30 100755 Binary files a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so and b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so differ diff --git a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so.license b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so.license index 6f1e5a96..0993dbf7 100644 --- a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so.license +++ b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so.license @@ -2,5 +2,5 @@ Copyright (c) Microsoft Corporations SPDX-License-Identifier: MIT -This file was created from the Z3 4.12.2 release sources using the +This file was created from the Z3 4.12.6 release sources using the z3/docker/cross_build.sh script in this repository. -- cgit v1.2.3-54-g00ecf