Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / stp
Commits:
87a14c0d by Antonio Rojas at 2024-08-31T10:18:24+02:00
upgpkg: 2.3.4-1: Update to 2.3.4, boost 1.86 rebuild
- - - - -
3 changed files:
- .SRCINFO
- PKGBUILD
- − gcc-13.patch
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = stp
pkgdesc = Simple Theorem Prover
- pkgver = 2.3.3
- pkgrel = 12
+ pkgver = 2.3.4
+ pkgrel = 1
url = https://stp.github.io/
arch = x86_64
license = MIT
@@ -14,11 +14,9 @@ pkgbase = stp
depends = boost-libs
depends = cryptominisat
depends = minisat
- source = https://github.com/stp/stp/archive/2.3.3/stp-2.3.3.tar.gz
+ source = https://github.com/stp/stp/archive/2.3.4/stp-2.3.4.tar.gz
source = mandir.patch
- source = gcc-13.patch
- sha256sums =
ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa
+ sha256sums =
dc197e337c058dc048451b712169a610f7040b31d0078b6602b831fbdcbec990
sha256sums =
4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327
- sha256sums =
d6d4bae84e77890c3662b24852266d811d7c0d82ee8f98dd8b167a09cd1d2f74
pkgname = stp
=====================================
PKGBUILD
=====================================
@@ -1,8 +1,8 @@
# Maintainer: Forest Crossman <cyrozap at gmail dot com>
pkgname=stp
-pkgver=2.3.3
-pkgrel=12
+pkgver=2.3.4
+pkgrel=1
pkgdesc="Simple Theorem Prover"
arch=('x86_64')
url="https://stp.github.io/";
@@ -10,11 +10,9 @@ license=('MIT')
depends=('boost-libs' 'cryptominisat' 'minisat')
makedepends=('boost' 'cmake' 'help2man' 'ninja' 'python' 'python-setuptools')
source=("https://github.com/$pkgname/$pkgname/archive/$pkgver/$pkgname-$pkgver.tar.gz";
- 'mandir.patch'
- 'gcc-13.patch')
-sha256sums=('ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa'
- '4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327'
- 'd6d4bae84e77890c3662b24852266d811d7c0d82ee8f98dd8b167a09cd1d2f74')
+ 'mandir.patch')
+sha256sums=('dc197e337c058dc048451b712169a610f7040b31d0078b6602b831fbdcbec990'
+ '4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327')
prepare() {
# Correct the destination for man documentation.
@@ -22,9 +20,6 @@ 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 deleted
=====================================
@@ -1,13 +0,0 @@
-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/87a14c0d8feeef910b576e9af127e2b581aae9bd
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/87a14c0d8feeef910b576e9af127e2b581aae9bd
You're receiving this email because of your account on gitlab.archlinux.org.
