* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/files/, sci-mathematics/btor2tools/
@ 2023-01-11 3:53 Maciej Barć
0 siblings, 0 replies; 2+ messages in thread
From: Maciej Barć @ 2023-01-11 3:53 UTC (permalink / raw
To: gentoo-commits
commit: 4d6547a3ace7ae516f10b4e1b0b25e1ea4144143
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 11 00:36:04 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jan 11 03:44:07 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d6547a3
sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/btor2tools/Manifest | 1 +
.../btor2tools/btor2tools-1.0.0_pre20220518.ebuild | 39 ++++++++++++++++++++++
...tools-1.0.0_pre20220518-cmake-also-static.patch | 28 ++++++++++++++++
...btor2tools-1.0.0_pre20220518-cmake-clfags.patch | 19 +++++++++++
sci-mathematics/btor2tools/metadata.xml | 13 ++++++++
5 files changed, 100 insertions(+)
diff --git a/sci-mathematics/btor2tools/Manifest b/sci-mathematics/btor2tools/Manifest
new file mode 100644
index 000000000000..965d004a13e7
--- /dev/null
+++ b/sci-mathematics/btor2tools/Manifest
@@ -0,0 +1 @@
+DIST btor2tools-1.0.0_pre20220518.tar.gz 87420 BLAKE2B df8ddc8f286c32c580a8feaf0c7e90dff113d2b0303e3da0a378f2906cd34134ea91707cd40c95c38782990bf4d815416b3a566680f4d6668ddca46321ae530a SHA512 96e17327de311b3d16e086031038a8248431d0dda75b83ce137d6526a096b69fc062290f92ec5b58fffb56aa25437835f97a96bd15f0044d4d52263bf386d928
diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
new file mode 100644
index 000000000000..efade1283737
--- /dev/null
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=b8456dda4780789e882f5791eb486f295ade4da4
+
+inherit cmake
+
+DESCRIPTION="Generic parser and tools for the BTOR2 format"
+HOMEPAGE="https://github.com/Boolector/btor2tools/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
+else
+ SRC_URI="https://github.com/Boolector/${PN}/archive/${H}.tar.gz
+ -> ${P}.tar.gz"
+ S="${WORKDIR}"/${PN}-${H}
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="examples"
+
+PATCHES=(
+ "${FILESDIR}"/${P}-cmake-also-static.patch
+ "${FILESDIR}"/${P}-cmake-clfags.patch
+)
+
+src_install() {
+ cmake_src_install
+
+ if use examples ; then
+ insinto /usr/share/${PN}
+ dodoc -r examples
+ fi
+}
diff --git a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
new file mode 100644
index 000000000000..061ddac84194
--- /dev/null
+++ b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
@@ -0,0 +1,28 @@
+--- a/src/CMakeLists.txt
++++ b/src/CMakeLists.txt
+@@ -1,4 +1,5 @@
+ add_library(btor2parser
++ SHARED
+ btor2parser/btor2parser.c
+ )
+ target_include_directories(btor2parser PRIVATE .)
+@@ -10,6 +11,19 @@ install(
+ PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
+ )
+
++add_library(btor2parser_static
++ STATIC
++ btor2parser/btor2parser.c
++)
++target_include_directories(btor2parser_static PRIVATE .)
++set_target_properties(btor2parser_static PROPERTIES OUTPUT_NAME btor2parser)
++set_target_properties(btor2parser_static PROPERTIES PUBLIC_HEADER btor2parser/btor2parser.h)
++install(
++ TARGETS btor2parser_static
++ ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
++ PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
++)
++
+ add_executable(btorsim
+ btorsim/btorsimam.cpp
+ btorsim/btorsimstate.cpp
diff --git a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-clfags.patch b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-clfags.patch
new file mode 100644
index 000000000000..84c6631c9219
--- /dev/null
+++ b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-clfags.patch
@@ -0,0 +1,19 @@
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -91,16 +91,6 @@ add_check_c_cxx_flag("-Wredundant-decls")
+ add_check_c_flag("-std=gnu99")
+ add_required_cxx_flag("-std=gnu++11")
+
+-if(CMAKE_BUILD_TYPE STREQUAL "Debug")
+- add_check_c_cxx_flag("-g3")
+- add_check_c_cxx_flag("-ggdb")
+-else()
+- add_check_c_cxx_flag("-O3")
+- if(NOT CHECK)
+- add_check_c_cxx_flag("-DNDEBUG")
+- endif()
+-endif()
+-
+ if(ASAN)
+ # -fsanitize=address requires CMAKE_REQUIRED_FLAGS to be explicitely set,
+ # otherwise the -fsanitize=address check will fail while linking.
diff --git a/sci-mathematics/btor2tools/metadata.xml b/sci-mathematics/btor2tools/metadata.xml
new file mode 100644
index 000000000000..237d97fb7791
--- /dev/null
+++ b/sci-mathematics/btor2tools/metadata.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <upstream>
+ <bugs-to>https://github.com/Boolector/btor2tools/issues/</bugs-to>
+ <remote-id type="github">Boolector/btor2tools</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/files/, sci-mathematics/btor2tools/
@ 2023-11-02 22:11 Maciej Barć
0 siblings, 0 replies; 2+ messages in thread
From: Maciej Barć @ 2023-11-02 22:11 UTC (permalink / raw
To: gentoo-commits
commit: e48c503d9ca71e3a2d7eca85febde7630cb2ef60
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 2 21:52:39 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Nov 2 22:11:22 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e48c503d
sci-mathematics/btor2tools: patch includes
Closes: https://bugs.gentoo.org/908486
Closes: https://bugs.gentoo.org/895224
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild | 17 +++++++++++------
...btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch | 10 ++++++++++
2 files changed, 21 insertions(+), 6 deletions(-)
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>
+
+ /*--------------------------------------------------------------------------*/
+
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-11-02 22:11 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-01-11 3:53 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/files/, sci-mathematics/btor2tools/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2023-11-02 22:11 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox