diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-24 14:58:57 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-24 14:59:09 +0100 |
| commit | 8062e93446abf76ba3f568e61bbc5f77bf4be2b1 (patch) | |
| tree | eb8d6ed9eb4d8e88f7b90ca1c0f1ced6a2ba73c1 /sci-mathematics/verit | |
| parent | media-gfx/sane-backends: Stabilize 1.0.32 amd64, #829924 (diff) | |
| download | gentoo-8062e93446abf76ba3f568e61bbc5f77bf4be2b1.tar.gz gentoo-8062e93446abf76ba3f568e61bbc5f77bf4be2b1.tar.bz2 gentoo-8062e93446abf76ba3f568e61bbc5f77bf4be2b1.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/verit')
| -rw-r--r-- | sci-mathematics/verit/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/verit/metadata.xml | 16 | ||||
| -rw-r--r-- | sci-mathematics/verit/verit-2021.06.2.ebuild | 28 |
3 files changed, 45 insertions, 0 deletions
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>xgqt@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 +} |