diff options
Diffstat (limited to 'sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild deleted file mode 100644 index bc908a192c9e..000000000000 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild +++ /dev/null @@ -1,48 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Automatic theorem prover" -HOMEPAGE="https://alt-ergo.ocamlpro.com" -SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="CeCILL-C" -SLOT="0/${PV}" -KEYWORDS="amd64" -IUSE="examples +ocamlopt" - -RDEPEND=" - >=dev-lang/ocaml-4.09.0:=[ocamlopt=] - >=sci-mathematics/psmt2-frontend-0.4.0:= - - <dev-ml/cmdliner-1.1.0:= - >=dev-ml/menhir-20181006:= - >=dev-ml/ocplib-simplex-0.4:= - dev-ml/camlzip:= - dev-ml/num:= - dev-ml/seq:= - dev-ml/stdlib-shims:= - dev-ml/zarith:= -" -DEPEND="${RDEPEND}" -BDEPEND="dev-ml/dune-configurator" - -src_prepare() { - default - - # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated - rm -r src/bin/gui || die -} - -src_configure() { - sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die -} - -src_install() { - dune-install alt-ergo-lib alt-ergo-parsers alt-ergo - - use examples && dodoc -r examples -} |