gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/btor2tools: patch includes

Browse Source 
Closes: https://bugs.gentoo.org/908486
Closes: https://bugs.gentoo.org/895224
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2023-11-02 22:52:39 +01:00
parent 15c77610f6
commit e48c503d9c
2 changed files with 21 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
View File

@@ -3,20 +3,22 @@
EAPI=8
[[ ${PV} == *_pre20220518 ]] && COMMIT=b8456dda4780789e882f5791eb486f295ade4da4
inherit cmake
DESCRIPTION="Generic parser and tools for the BTOR2 format"
HOMEPAGE="https://github.com/Boolector/btor2tools/"
if [[ ${PV} == *9999* ]] ; then
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
else
[[ "${PV}" == *_pre20220518 ]] && COMMIT=b8456dda4780789e882f5791eb486f295ade4da4
SRC_URI="https://github.com/Boolector/${PN}/archive/${COMMIT}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COMMIT}
S="${WORKDIR}/${PN}-${COMMIT}"
KEYWORDS="~amd64 ~x86"
fi
@@ -24,13 +26,16 @@ LICENSE="MIT"
SLOT="0"
IUSE="examples"
PATCHES=( "${FILESDIR}"/${P}-cmake-clfags.patch )
PATCHES=(
"${FILESDIR}/${PN}-1.0.0_pre20220518-btorsplit-cstdint.patch"
"${FILESDIR}/${PN}-1.0.0_pre20220518-cmake-clfags.patch"
)
src_install() {
cmake_src_install
if use examples ; then
insinto /usr/share/${PN}
insinto "/usr/share/${PN}"
dodoc -r examples
fi
}

10
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch Normal file
View File

@@ -0,0 +1,10 @@
--- a/src/btorsplit.cpp
+++ b/src/btorsplit.cpp
@@ -19,6 +19,7 @@
#include <sstream>
#include <unordered_set>
#include <vector>
+#include <cstdint>
/*--------------------------------------------------------------------------*/