diff options
Diffstat (limited to 'sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild')
| -rw-r--r-- | sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild | 39 |
1 files changed, 39 insertions, 0 deletions
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 +} |