diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-12-25 20:34:27 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-25 20:34:27 +0000 |
commit | 0f15659d48c193027158492acb726297501202c5 (patch) | |
tree | 5502ba879a78b759da28441d418dbbfe08bd8f03 /sci-mathematics/verit/verit-2021.06.2.ebuild | |
parent | 93a93e9a3b53c1a73142a305ea1f8136846942ee (diff) |
gentoo xmass resync : 25.12.2021
Diffstat (limited to 'sci-mathematics/verit/verit-2021.06.2.ebuild')
-rw-r--r-- | sci-mathematics/verit/verit-2021.06.2.ebuild | 26 |
1 files changed, 26 insertions, 0 deletions
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..bd4092215917 --- /dev/null +++ b/sci-mathematics/verit/verit-2021.06.2.ebuild @@ -0,0 +1,26 @@ +# 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() { + default + + mv example examples || die + insinto /usr/share/${PN} + doins -r examples +} |