blob: f7887394c08b92f413cc66867709a505b7ce5701 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit autotools elisp-common
DESCRIPTION="Model checker for verifying properties of array-based systems"
HOMEPAGE="https://cubicle.lri.fr/
https://github.com/cubicle-model-checker/cubicle/"
SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
LICENSE="Apache-2.0"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="emacs examples"
RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt]
dev-ml/num:=
emacs? ( >=app-editors/emacs-23.1:* )
"
DEPEND="${RDEPEND}"
BDEPEND="
dev-ml/findlib
sys-apps/gawk
"
SITEFILE="50${PN}-gentoo.el"
src_prepare() {
default
eautoreconf
# Makefile checks if "configure.in" exists,
# it is needed by the ".depend" target.
ln -s configure.ac configure.in || die
}
src_configure() {
econf --without-z3 # Needs Z3 Ocaml bindings, not yet packaged.
}
src_compile() {
default
if use emacs ; then
elisp-compile emacs/*.el
fi
}
src_install() {
# OCaml generates textrels on 32-bit arches
if use x86 ; then
export QA_TEXTRELS='.*'
fi
default
doman doc/${PN}.1
if use emacs ; then
elisp-install ${PN} emacs/*.el{,c}
elisp-site-file-install "${FILESDIR}/${SITEFILE}"
fi
use examples && dodoc -r examples
}
pkg_postinst() {
use emacs && elisp-site-regen
}
pkg_postrm() {
use emacs && elisp-site-regen
}
|