From 61bce39a7cf41ad6501b8eb3c5fb318d9c35b9aa Mon Sep 17 00:00:00 2001 From: Konrad Weihmann Date: Tue, 1 Oct 2024 05:34:39 +0000 Subject: [PATCH] Update z3-native to 4.13.2 Closes #12249 Signed-off-by: Konrad Weihmann --- .../{nativesdk-z3_4.13.0.bb => nativesdk-z3_4.13.2.bb} | 2 +- .../z3-native/{z3-native_4.13.0.bb => z3-native_4.13.2.bb} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename recipes-support/z3-native/{nativesdk-z3_4.13.0.bb => nativesdk-z3_4.13.2.bb} (90%) rename recipes-support/z3-native/{z3-native_4.13.0.bb => z3-native_4.13.2.bb} (90%) diff --git a/recipes-support/z3-native/nativesdk-z3_4.13.0.bb b/recipes-support/z3-native/nativesdk-z3_4.13.2.bb similarity index 90% rename from recipes-support/z3-native/nativesdk-z3_4.13.0.bb rename to recipes-support/z3-native/nativesdk-z3_4.13.2.bb index 9d85b3d1e..851a27269 100644 --- a/recipes-support/z3-native/nativesdk-z3_4.13.0.bb +++ b/recipes-support/z3-native/nativesdk-z3_4.13.2.bb @@ -7,7 +7,7 @@ LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=5f03ad1486a2e4ce71200ce0f9721557" SRC_URI = "\ git://github.com/Z3Prover/z3;branch=master;protocol=https \ " -SRCREV = "3049f578a8f98a0b0992eca193afe57a73b30ca3" +SRCREV = "9a8ff74924561557f2b0e748f95a7764540e866a" UNPACKDIR ??= "${WORKDIR}/sources-unpack" S = "${UNPACKDIR}/git" diff --git a/recipes-support/z3-native/z3-native_4.13.0.bb b/recipes-support/z3-native/z3-native_4.13.2.bb similarity index 90% rename from recipes-support/z3-native/z3-native_4.13.0.bb rename to recipes-support/z3-native/z3-native_4.13.2.bb index 166809e3f..f2f50e1b8 100644 --- a/recipes-support/z3-native/z3-native_4.13.0.bb +++ b/recipes-support/z3-native/z3-native_4.13.2.bb @@ -7,7 +7,7 @@ LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=5f03ad1486a2e4ce71200ce0f9721557" SRC_URI = "\ git://github.com/Z3Prover/z3;branch=master;protocol=https \ " -SRCREV = "3049f578a8f98a0b0992eca193afe57a73b30ca3" +SRCREV = "9a8ff74924561557f2b0e748f95a7764540e866a" UNPACKDIR ??= "${WORKDIR}/sources-unpack" S = "${UNPACKDIR}/git"