blob: d76cb2be23a35eee786f3d96f0db7e726cc64942 (
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
|
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
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
}
|
