Source Mage code commit list

[Ismael Luceno <scm AT sourcemage.org>]

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