summaryrefslogtreecommitdiff
path: root/sci-mathematics/btor2tools
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-03 03:56:37 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-03 03:56:37 +0000
commit54e9f9704b37e05c561eadb37d89d30ee7dda9ee (patch)
treebb03a8b10fc448608096c5e872d62b366fc2c93c /sci-mathematics/btor2tools
parent1615d14d4de4360b2241ce5cd8a84157cc86cde0 (diff)
gentoo auto-resync : 03:11:2023 - 03:56:37
Diffstat (limited to 'sci-mathematics/btor2tools')
-rw-r--r--sci-mathematics/btor2tools/Manifest3
-rw-r--r--sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild17
-rw-r--r--sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch10
3 files changed, 23 insertions, 7 deletions
diff --git a/sci-mathematics/btor2tools/Manifest b/sci-mathematics/btor2tools/Manifest
index 73dde492fd6c..4e1de159f735 100644
--- a/sci-mathematics/btor2tools/Manifest
+++ b/sci-mathematics/btor2tools/Manifest
@@ -1,4 +1,5 @@
+AUX btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch 235 BLAKE2B ba9c0136c7c95dea4a39023ac614c129cc1e0fd7ea95ad6cbf6b18e1345d9c04a42235d36448d7867c16f5eaa240b43b3715ebd612c378a557e4dde8edc5a1e1 SHA512 450d46949abfae1aaccd08545c102dcf8d6172cfc655be7e80760d57e30211f1861638cf5f27b4603dbde6ac7eecc6bb5a52ee41c10748132b001870c5d30c00
AUX btor2tools-1.0.0_pre20220518-cmake-clfags.patch 551 BLAKE2B 8cc8c427a2ec7defc4bd7f251b2a2a6484bc321b0f0d88a7099e8a69963cfbf6b69d13dbce4f54874d8138ec01ae870752a947a01c93c3cf996456c546ce012e SHA512 a6c446440405ab44b9bffb8316d170782241d77334c5837820ee0ea1e6da5ff97121b966a49af9c15e8e0e2a184ae3781166eb9c0ba07c4319dd92fed105ae2d
DIST btor2tools-1.0.0_pre20220518.tar.gz 87420 BLAKE2B df8ddc8f286c32c580a8feaf0c7e90dff113d2b0303e3da0a378f2906cd34134ea91707cd40c95c38782990bf4d815416b3a566680f4d6668ddca46321ae530a SHA512 96e17327de311b3d16e086031038a8248431d0dda75b83ce137d6526a096b69fc062290f92ec5b58fffb56aa25437835f97a96bd15f0044d4d52263bf386d928
-EBUILD btor2tools-1.0.0_pre20220518-r1.ebuild 783 BLAKE2B ee38ed21c306323f3876201094b4d27de0133a3bc183ff95876851615428d92c66747db4bacc702641d394dcf1c8b5905726324454a8adde8d7c3ce1fb58b1bf SHA512 10d381a2aabd2d015caaf84b04b892bff00b997bc14fa537b112ae9ce56efc3d8a0670c781a611342a3ef736f5a6a795fc6fa0d3db1d9947789e74b82214d11d
+EBUILD btor2tools-1.0.0_pre20220518-r1.ebuild 875 BLAKE2B 208de5c4db336917c059efa6ecd814813ee504a212e7ad93355ee810c9ad6673182c01b9ea135db43387fed295149908b2ae020b90b2948961606f59d151f196 SHA512 a0de1782e095a5db9bb5a7df70202f0edf997ae916f753076ea4836135ed624a9f929b3f031b7a3eb15902caef3e31d8db6f506c25454521e57237c872abe0b5
MISC metadata.xml 437 BLAKE2B 93f1e3a98b8dd3edd95de3bd8f830427a9e05dcfc73690899ed16ec49be25bfd524d86fcaa9735d15c22515b98d13ded8a95c7a39e4970e3035c72e4cbe7d544 SHA512 39b7bd39e597f6d3086358738cb2d668f0317af3a8674eb4c032f59c64de0ceada799900bd193f244f049f51e1a91dcd9bb4474db39ac88967086206f3090a62
diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index 58780bf5c440..c2cee9e4d4ea 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -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
}
diff --git a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch
new file mode 100644
index 000000000000..50ebb98fcf98
--- /dev/null
+++ b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch
@@ -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>
+
+ /*--------------------------------------------------------------------------*/
+