diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-22 14:30:09 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-22 16:09:44 +0200 |
| commit | 08c0ba171725865402e4419a0775830ff6b96460 (patch) | |
| tree | 1aca73e39c1781f85285dd177782ecd1dd04dfb3 /sci-mathematics/alt-ergo | |
| parent | sci-mathematics/alt-ergo: drop old 2.4.1-r2 (diff) | |
| download | gentoo-08c0ba171725865402e4419a0775830ff6b96460.tar.gz gentoo-08c0ba171725865402e4419a0775830ff6b96460.tar.bz2 gentoo-08c0ba171725865402e4419a0775830ff6b96460.zip | |
sci-mathematics/alt-ergo: drop old 2.4.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild | 56 |
2 files changed, 0 insertions, 57 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 8ac1f788e157..e257f9101e0b 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,2 +1 @@ -DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d99294f295d7c5a636a3327e6dac6b2153d1c90be4d24b72ce5ad22be5e174f6ae1c37663b093218a76ec1ada29a SHA512 61ae181ccd60a49f833ea79bbd5184a46f8eef24e7fe1169b15e905ed86584bdbe993ef86c203d5bfc3d79961024f96af0e4e623dc15479aa9538648291c9a75 DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild deleted file mode 100644 index 907c2da6676b..000000000000 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild +++ /dev/null @@ -1,56 +0,0 @@ -# Copyright 1999-2023 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 gui +ocamlopt" -REQUIRED_USE="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/stdlib-shims:= - dev-ml/zarith:= - gui? ( - dev-ml/lablgtk:3 - dev-ml/lablgtk-sourceview:3 - ) -" -DEPEND="${RDEPEND}" -BDEPEND="dev-ml/dune-configurator" - -PATCHES=( "${FILESDIR}"/${P}-dune.patch ) - -src_prepare() { - default - - if ! use gui ; then - rm -r src/bin/gui || die - fi -} - -src_configure() { - sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die -} - -src_install() { - dune-install alt-ergo-lib alt-ergo-parsers alt-ergo - - use gui && dune-install altgr-ergo - use examples && dodoc -r examples -} |