blob: c810206792012d65734dc3aa44f2165bd90c2ed7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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
}
|