diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-07-18 12:29:02 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-18 12:29:02 +0100 |
| commit | f85858c81a721c7fc89c1ab8df19e3a213dc27cd (patch) | |
| tree | 3f0aeb33e434ee50b99bcc8b54158bc6169a41f2 /sci-mathematics/alt-ergo | |
| parent | 16857b69f990738d17bc5842e3e49a6e82d1428d (diff) | |
gentoo auto-resync : 18:07:2024 - 12:29:01
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild) | 4 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-9999.ebuild | 76 |
3 files changed, 3 insertions, 80 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 8e0d20ae88d1..ddde0a292187 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,5 +1,4 @@ AUX alt-ergo-2.4.3-dune.patch 136 BLAKE2B 7a8740fd14531be7dc595dd3dc3eef119c39943fbec98c9784f6a25dcc1947ebefacd079bcc95a48b07f8d94641ad66261e06efd18edc5cfe59783626b6bcf4d SHA512 016d80dc17436e469746822f62a1748a661a74e5ec2009a0f297a75a763b645cb95e564727ba03434602c494bf866f563adf558ff24f915d50fe198f9c9fe3c1 DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f -EBUILD alt-ergo-2.4.3-r1.ebuild 1387 BLAKE2B d98e1e278716f798a1851073c0e20b7173b4ad31ff61147119e19e69534047c65d4081c95a8ad471767fd4e4572efb6c94c1068db417c1c012f2c53f3ae2aa3f SHA512 31090c2d7f692790b52be86147b2865ad0dc887a57743cf7981f365ca98bffef185504cb0fdcd0411c3427ea510f236b4d2a741b0e3708fc4cd0557f3b2fcc58 -EBUILD alt-ergo-9999.ebuild 1382 BLAKE2B 9111155de5276042880f9ef4fa10f9374da2cd603e3ce4e999dc8a388507337e306e9cdf0bc76245b8a4aeebfc6057965f02e637071d9be1e0a3dab4167c2570 SHA512 471d147251a3edb665a72a09f15f33b60eabd67b68411a48cc3e9cfd0ca9e7d7fd6d0dfcc033060e5f4c69a66c100019e2be5946d493748b836861647d2dc6d1 +EBUILD alt-ergo-2.4.3-r2.ebuild 1380 BLAKE2B 306919a58792d8b5caf063b634e6e4f9f5897151cd753105a3cdbaea1b3efa23197787db0a1e79611964923e1b22ec4ffa1d0f973db48595f0be0a631e0e544e SHA512 8c587fc859d4a136ff09a38def1b4c3168e15b400089f6abc26e42766157f58ee01a5ec2229e1a8e90e62952364c049f3aa0ffe2c884a7e29fe0575f2c70ee3a MISC metadata.xml 957 BLAKE2B 2ac1b5428ee88fa81b3898a351b770b9a3b4e91ad049e7ab2b5b62e3ddcef635e2f19f801ef1c067b51c2f30f513b40a82e968a314be10e7a5ff795df24dd6d5 SHA512 bcbe312badeb5f3d6c243d620ec5744ac6bf3c23e6bc7b6327c7a1a72b42f2cc68cd4326b065a3fca3c2a9c7c1670e2a84ca1ca2e7bf423a274025010a6735f4 diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild index ecaf54aae4a4..22c57ef35837 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild @@ -27,13 +27,13 @@ RDEPEND=" >=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= - <dev-ml/zarith-1.14:= + <dev-ml/ocplib-simplex-0.5:= >=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 diff --git a/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild b/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild deleted file mode 100644 index 1ba42319bb6c..000000000000 --- a/sci-mathematics/alt-ergo/alt-ergo-9999.ebuild +++ /dev/null @@ -1,76 +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 - https://github.com/OCamlPro/alt-ergo/" - -if [[ ${PV} == *9999* ]] ; then - inherit git-r3 - EGIT_REPO_URI="https://github.com/OCamlPro/${PN}.git" -else - SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - KEYWORDS="~amd64" -fi - -LICENSE="CeCILL-C" -SLOT="0/${PV}" -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-build-info - dev-ml/dune-configurator -" - -PATCHES=( "${FILESDIR}"/${PN}-2.4.3-dune.patch ) - -OCAML_SUBPACKAGES=( - alt-ergo-lib - alt-ergo-parsers - alt-ergo -) - -src_prepare() { - default - - if use gui ; then - OCAML_SUBPACKAGES+=( altgr-ergo ) - fi -} - -src_configure() { - sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die -} - -src_compile() { - dune-compile ${OCAML_SUBPACKAGES[@]} -} - -src_install() { - dune-install ${OCAML_SUBPACKAGES[@]} - - use examples && dodoc -r examples -} |