commit: 8062e93446abf76ba3f568e61bbc5f77bf4be2b1 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Dec 24 13:58:57 2021 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Dec 24 13:59:09 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8062e934
sci-mathematics/verit: new package; add version 2021.06.2 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/verit/Manifest | 1 + sci-mathematics/verit/metadata.xml | 16 ++++++++++++++++ sci-mathematics/verit/verit-2021.06.2.ebuild | 28 ++++++++++++++++++++++++++++ 3 files changed, 45 insertions(+) diff --git a/sci-mathematics/verit/Manifest b/sci-mathematics/verit/Manifest new file mode 100644 index 000000000000..608e61b52166 --- /dev/null +++ b/sci-mathematics/verit/Manifest @@ -0,0 +1 @@ +DIST verit-2021.06.2-rmx.tar.gz 683775 BLAKE2B e7488ef11f37c4312dc3bb7809c8f4a134c70e0cb893a9127235e5bd660e3cf88648d5af598f650d25aed02eb864c171479a570b4e47b96ab2bb5f6aba3e6926 SHA512 4dfdbcf12fefaba13f5540a08a520e15666ca3bb923483b86eac708cf23bd5d8441d9a687487ae38f9bbdbc023beedf3e503800e99622cb71fb086329c047a4d diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml new file mode 100644 index 000000000000..cd0a6cfe1019 --- /dev/null +++ b/sci-mathematics/verit/metadata.xml @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> + +<pkgmetadata> + <maintainer type="person"> + <email>x...@gentoo.org</email> + <name>Maciej Barć</name> + </maintainer> + <longdescription> + veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, + proof-producing, and complete for quantifier-free formulas with + uninterpreted functions and linear arithmetic on real numbers and integers. + It also offers good support for quantifiers. + The input format is the SMT-LIB 2.0 language and DIMACS. + </longdescription> +</pkgmetadata> diff --git a/sci-mathematics/verit/verit-2021.06.2.ebuild b/sci-mathematics/verit/verit-2021.06.2.ebuild new file mode 100644 index 000000000000..c81020679201 --- /dev/null +++ b/sci-mathematics/verit/verit-2021.06.2.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools + +DESCRIPTION="An open, trustable and efficient SMT-prover" +HOMEPAGE="https://verit.loria.fr/"; +SRC_URI="https://verit.loria.fr/download/${PV}/${P}-rmx.tar.gz"; +S="${WORKDIR}/${P}-rmx" + +LICENSE="BSD" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +RDEPEND="dev-libs/gmp:=" +DEPEND="${RDEPEND}" + +src_install() { + emake DESTDIR="${D}" install + + mv example examples || die + insinto /usr/share/${PN} + doins -r examples + + einstalldocs +}
