diff options
Diffstat (limited to 'sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild')
-rw-r--r-- | sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild new file mode 100644 index 000000000000..756eb6aab056 --- /dev/null +++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild @@ -0,0 +1,71 @@ +# Copyright 1999-2023 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() { + 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 +} |