Skip to Content.
Sympa Menu

sm-commit - [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (34f0f6c49c51d366c253757f69a045fe82a67301)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Ismael Luceno <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org, sm-commit AT lists.sourcemage.org
  • Subject: [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (34f0f6c49c51d366c253757f69a045fe82a67301)
  • Date: Fri, 23 Aug 2024 21:27:04 +0000

GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:

devel/cbmc/DETAILS | 6 +-
devel/cbmc/HISTORY | 6 ++
devel/cbmc/PRE_BUILD | 1
devel/cbmc/patches/0001-Include-cstdint-for-int64_t.patch | 41
++++++++++++++
devel/sbcl/DETAILS | 4 -
devel/sbcl/HISTORY | 3 +
6 files changed, 56 insertions(+), 5 deletions(-)

New commits:
commit 34f0f6c49c51d366c253757f69a045fe82a67301
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

cbmc 6.1.1

commit 9ae8cdd7eb4149301faa5564c4c1803377118b08
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

cbmc: Fixup Watch line

commit 19a8a0c00a0789fd4f5adef9857ccb7a79e3a4e0
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

sbcl 2.4.7

diff --git a/devel/cbmc/DETAILS b/devel/cbmc/DETAILS
index 56a8ccf..1f7c54c 100755
--- a/devel/cbmc/DETAILS
+++ b/devel/cbmc/DETAILS
@@ -1,9 +1,9 @@
+# Watch: https://github.com/diffblue/cbmc/tags cbmc-([0-9.]+)[.]tar
SPELL=cbmc
- VERSION=5.79.0
+ VERSION=6.1.1
SOURCE="$SPELL-$VERSION.tar.gz"
-# Watch: https://github.com/diffblue/cbmc/tags
SOURCE_URL[0]=https://github.com/diffblue/cbmc/archive/$SOURCE
-
SOURCE_HASH=sha512:96e80bbe503321ca05910383a1a79f4a9e8bb715d93a1571c7ce3632127f7584783aa3593e124feeeba68dc98a1f9b596e0f337a1493f1fffa188292efe42f63
+
SOURCE_HASH=sha512:45250b23d8ae3a736ffd5a76ff2f82c9fdbb7afbd1df93e7e4737a742c3f573efc29528a2ec8b2907227dff29b099e3d17fc6960acf6d50f31e0c73ce4886073
SOURCE_DIRECTORY="$BUILD_DIRECTORY/cbmc-cbmc-$VERSION"
WEB_SITE="http://www.cprover.org/cbmc";
LICENSE[0]=BSD-4
diff --git a/devel/cbmc/HISTORY b/devel/cbmc/HISTORY
index 40877a6..15f9e98 100644
--- a/devel/cbmc/HISTORY
+++ b/devel/cbmc/HISTORY
@@ -1,3 +1,9 @@
+2024-08-23 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 6.1.1
+ * PRE_BUILD: added apply_patch_dir
+ * patches/0001-Include-cstdint-for-int64_t.patch:
+ fixed build with GCC 14
+
2023-03-26 Ismael Luceno <ismael AT sourcemage.org>
* DETAILS: updated spell to 5.79.0

diff --git a/devel/cbmc/PRE_BUILD b/devel/cbmc/PRE_BUILD
index d53b7b5..bf3b765 100755
--- a/devel/cbmc/PRE_BUILD
+++ b/devel/cbmc/PRE_BUILD
@@ -1,3 +1,4 @@
default_pre_build &&
cd "$SOURCE_DIRECTORY" &&
+apply_patch_dir patches &&
sedit '/^ *set(CMAKE_CXX_FLAGS /{s/ -Werror[^ ]*//}' CMakeLists.txt
diff --git a/devel/cbmc/patches/0001-Include-cstdint-for-int64_t.patch
b/devel/cbmc/patches/0001-Include-cstdint-for-int64_t.patch
new file mode 100644
index 0000000..f1bd5d6
--- /dev/null
+++ b/devel/cbmc/patches/0001-Include-cstdint-for-int64_t.patch
@@ -0,0 +1,41 @@
+From 7d0564a0fcb77195c0f5081bed57880204b448c4 Mon Sep 17 00:00:00 2001
+From: Ismael Luceno <ismael AT iodev.co.uk>
+Date: Fri, 23 Aug 2024 23:09:45 +0200
+Subject: [PATCH] Include <cstdint> for int64_t
+
+Origin: Source Mage
+Upstream-Status: Submitted [https://github.com/diffblue/cbmc/pull/8426]
+Signed-off-by: Ismael Luceno <ismael AT sourcemage.org>
+---
+ src/solvers/smt2/smt2_conv.h | 1 +
+ src/util/dense_integer_map.h | 1 +
+ 2 files changed, 2 insertions(+)
+
+diff --git a/src/solvers/smt2/smt2_conv.h b/src/solvers/smt2/smt2_conv.h
+index a0c0382e3952..312abea4d695 100644
+--- a/src/solvers/smt2/smt2_conv.h
++++ b/src/solvers/smt2/smt2_conv.h
+@@ -17,6 +17,7 @@ #define CPROVER_SOLVERS_SMT2_SMT2_CONV_H
+ #include <map>
+ #include <set>
+ #include <sstream>
++#include <cstdint>
+
+ #if !HASH_CODE
+ # include <util/irep_hash_container.h>
+diff --git a/src/util/dense_integer_map.h b/src/util/dense_integer_map.h
+index 8160d80d079d..2237416ae8a1 100644
+--- a/src/util/dense_integer_map.h
++++ b/src/util/dense_integer_map.h
+@@ -15,6 +15,7 @@ #define CPROVER_UTIL_DENSE_INTEGER_MAP_H
+ #include <limits>
+ #include <unordered_set>
+ #include <vector>
++#include <cstdint>
+
+ #include <util/invariant.h>
+
+--
+2.44.0
+Fixed up by sm-checkpatch 0.1
+
diff --git a/devel/sbcl/DETAILS b/devel/sbcl/DETAILS
index 12f3523..9b5ba7c 100755
--- a/devel/sbcl/DETAILS
+++ b/devel/sbcl/DETAILS
@@ -1,11 +1,11 @@
# Watch: https://sbcl.sourceforge.io/
SPELL=sbcl
- VERSION=2.3.3
+ VERSION=2.4.7
SOURCE="$SPELL-$VERSION-source.tar.bz2"
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"

SOURCE_URL[0]=https://downloads.sourceforge.net/project/sbcl/sbcl/$VERSION/$SOURCE
WEB_SITE=http://sbcl.sourceforge.net
-
SOURCE_HASH=sha512:7fda59525c994e8036e56f6b632538de1dd5ffe8830fa2e2181477d2dcb853b6c57db3f3494ab00415be200cbba602163fafe1ff2ea3979cfe1de09e41f58f29
+
SOURCE_HASH=sha512:9d0cdcceb1fcb35292e15bc6eb41c5e20323bd90777b5c8daf0f584ac20f7ce346ca464ba42c71402425f8b73cb82eb1be4452e45a6058e43c96efb6ce61dce5
LICENSE[0]=BSD
ENTERED=20060122
KEYWORDS="lisp compiler devel"
diff --git a/devel/sbcl/HISTORY b/devel/sbcl/HISTORY
index 2674d10..22b1bef 100644
--- a/devel/sbcl/HISTORY
+++ b/devel/sbcl/HISTORY
@@ -1,3 +1,6 @@
+2024-08-23 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 2.4.7
+
2023-03-29 Ismael Luceno <ismael AT sourcemage.org>
* DETAILS: updated spell to 2.3.3



  • [[SM-Commit] ] GIT changes to master grimoire by Ismael Luceno (34f0f6c49c51d366c253757f69a045fe82a67301), Ismael Luceno, 08/23/2024

Archive powered by MHonArc 2.6.24.

Top of Page