Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / stp
Commits:
95ed6bbf by Antonio Rojas at 2023-08-31T19:59:15+02:00
upgpkg: 2.3.3-10: boost 1.83 rebuild
- - - - -
2 changed files:
- PKGBUILD
- + gcc-13.patch
Changes:
=====================================
PKGBUILD
=====================================
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.3
-pkgrel=9
+pkgrel=10
pkgdesc="Simple Theorem Prover"
arch=('x86_64')
url="https://stp.github.io/";
@@ -10,9 +10,11 @@ license=('MIT')
depends=('boost-libs' 'cryptominisat5' 'minisat')
makedepends=('boost' 'cmake' 'help2man' 'ninja' 'python')
source=("https://github.com/$pkgname/$pkgname/archive/$pkgver/$pkgname-$pkgver.tar.gz";
- 'mandir.patch')
+ 'mandir.patch'
+ 'gcc-13.patch')
sha256sums=('ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa'
- '4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327')
+ '4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327'
+ 'd6d4bae84e77890c3662b24852266d811d7c0d82ee8f98dd8b167a09cd1d2f74')
prepare() {
# Correct the destination for man documentation.
@@ -20,6 +22,9 @@ prepare() {
# Remove RPATH
sed -i '/RPATH/d'
$pkgname-$pkgver/{,tools/stp/,tools/stp_simple/}CMakeLists.txt
+
+ # Fix build with GCC 13
+ patch -d $pkgname-$pkgver -p1 < gcc-13.patch
}
build() {
=====================================
gcc-13.patch
=====================================
@@ -0,0 +1,13 @@
+diff --git a/include/stp/AST/ASTNode.h b/include/stp/AST/ASTNode.h
+index 91acd726..d51c4797 100644
+--- a/include/stp/AST/ASTNode.h
++++ b/include/stp/AST/ASTNode.h
+@@ -24,6 +24,8 @@ THE SOFTWARE.
+ #ifndef ASTNODE_H
+ #define ASTNODE_H
+
++#include <cstdint>
++
+ #include "stp/AST/NodeFactory/HashingNodeFactory.h"
+ #include "stp/Util/Attributes.h"
+ #include "ASTInternal.h"
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/95ed6bbff10f8db807ff8cd3cf605ed5fec54291
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/95ed6bbff10f8db807ff8cd3cf605ed5fec54291
You're receiving this email because of your account on gitlab.archlinux.org.
