diff options
Diffstat (limited to 'sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild deleted file mode 100644 index 6dbe4ce6fc63..000000000000 --- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild +++ /dev/null @@ -1,56 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -DESCRIPTION="Automatic theorem prover" -HOMEPAGE="https://alt-ergo.ocamlpro.com" -SRC_URI="https://alt-ergo.ocamlpro.com/http/${P}/${P}.tar.gz" - -LICENSE="CeCILL-C" -SLOT="0" -KEYWORDS="amd64" -IUSE="examples gtk +ocamlopt" - -DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=] - dev-ml/zarith:= - dev-ml/lablgtk:2=[sourceview,ocamlopt=] - dev-ml/camlzip:= - sci-mathematics/psmt2-frontend - >=dev-ml/ocplib-simplex-0.4:= - >=dev-ml/menhir-20181006:= - dev-ml/seq:= - dev-ml/dune:= - dev-ml/num:=" -RDEPEND="${DEPEND}" - -DOCS=( CHANGES INSTALL.md README.md ) - -QA_FLAGS_IGNORED=( - /usr/lib64/alt-ergo-parsers/AltErgoParsers.cmxs - /usr/lib64/alt-ergo-lib/AltErgoLib.cmxs - /usr/bin/alt-ergo -) - -src_prepare() { - default - find "${S}" -name \*.ml | xargs sed -i "s:Pervasives:Stdlib:g" || die -} - -src_configure() { - ./configure --prefix /usr --libdir=/usr/$(get_libdir) -} - -src_compile() { - emake lib - emake bin - use gtk && emake gui -} - -src_install() { - default - use gtk && emake DESTDIR="${D}" install-gui - use examples && dodoc -r examples - mv "${D}"/usr/doc/* "${D}"/usr/share/doc/${PF}/ || die - rmdir "${D}"/usr/doc || die -} |