diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:34:34 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:50:26 +0200 |
| commit | 7148e6b523244a5e606fd6c586b3cb2709ca2342 (patch) | |
| tree | f9e00189ab3f390df256cab0c1e8afcc8e240a3e /dev-ml | |
| parent | dev-ml/camlp5: drop old 8.00.01 (diff) | |
| download | gentoo-7148e6b523244a5e606fd6c586b3cb2709ca2342.tar.gz gentoo-7148e6b523244a5e606fd6c586b3cb2709ca2342.tar.bz2 gentoo-7148e6b523244a5e606fd6c586b3cb2709ca2342.zip | |
dev-ml/camlp5: drop old 8.00
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/camlp5/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/camlp5/camlp5-8.00.ebuild | 58 |
2 files changed, 0 insertions, 59 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest index e275564c6eb3..672b880356af 100644 --- a/dev-ml/camlp5/Manifest +++ b/dev-ml/camlp5/Manifest @@ -4,5 +4,4 @@ DIST camlp5-7.13.tar.gz 1031832 BLAKE2B 2afd7e269092d9c40f263e9ce92b3b9f66b0b3f0 DIST camlp5-7.14.tar.gz 1044110 BLAKE2B c9aa5be80df8d2c376fc41c157b2cd86658dbb90e1babd346b7681afd7453649c7f3682f95f238e51b74b3b3a7a2c5b5a854be892b30a7d1e3b62c3272f5442e SHA512 1b39949c532ca622b01a8e800aa1dcad34f1c944ffe580003642bd742dedc158f3ee54602f3b05f89c0e259525d7feed101b971ebd589449b6d56046389a5bf6 DIST camlp5-8.00.04.tar.gz 1232659 BLAKE2B 47dd18e9c518b0dccda62d054d7950dffa025a129c81eb673e6caf11f37c2af1644de861288af2ecb8e95ee4d21bf0a1d69da4fe9ed5b3d1cf3bf1012ea06d4c SHA512 0951a9528c8c9b4becf54b352a6f897cb1af26de437a137757d597a3a2ad8aef1160a3c326c9503f783bccd154d8c14a354d3a35baae2bb551611697ce4f5327 DIST camlp5-8.00.05.tar.gz 1237587 BLAKE2B 1028b1e77a048a6b2e8df4ab58171d4e182a21aa1ca01113fc0cb8b7e6f61b5db58e8c3a2f149d05c056fbd48c0c0d97e597121e4b2b55d62f1f62d80e92312b SHA512 f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe -DIST camlp5-8.00.tar.gz 1321320 BLAKE2B 14957ea83e40f3e2f68c7cbbec1ab84325eba1057f38905a37f9516a99a009024ee0b463cf588880d23d94e710b027b835dd51153a429c8bda22be7fe95dc911 SHA512 6a0d19ced4d94cd3afebfbc373d344229c5faf088e8910dea32ed4dfa841dd9844c72849f8a6281e2bce55295665eae90391cf29d062a44b083761a9e04bce93 DIST camlp5-8.02.00.tar.gz 1260249 BLAKE2B d205cf29207c925bc52098c9e1e74c76b851c71514bc7ae6f6c1ff3c7bf971f7cf6974625c484d2ddf252d0befc557e3b2dd7134e8f5bed270d59d40f15be9a8 SHA512 6e3caccc780f8de1d5804ae8f5700d29255f968f7f8ee3f9ef6f3456883d63aeb0abe797233823fd368b40b74feb1f537c3a61ce35d0c9c2737ab06743a09ddd diff --git a/dev-ml/camlp5/camlp5-8.00.ebuild b/dev-ml/camlp5/camlp5-8.00.ebuild deleted file mode 100644 index a45ffdbce718..000000000000 --- a/dev-ml/camlp5/camlp5-8.00.ebuild +++ /dev/null @@ -1,58 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit findlib vcs-clean - -DESCRIPTION="A preprocessor-pretty-printer of ocaml" -HOMEPAGE="https://camlp5.github.io/" -SRC_URI="https://github.com/camlp5/camlp5/archive/rel${PV}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-rel${PV}" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" -IUSE="doc +ocamlopt" - -DEPEND=" - <dev-lang/ocaml-4.13:=[ocamlopt?] -" -RDEPEND="${DEPEND}" - -src_prepare() { - egit_clean - default -} - -src_configure() { - ./configure \ - --strict \ - -prefix /usr \ - -bindir /usr/bin \ - -libdir /usr/$(get_libdir)/ocaml \ - -mandir /usr/share/man || die "configure failed" -} - -src_compile() { - ulimit -s 11530000 - emake out - if use ocamlopt; then - emake opt - emake opt.opt - fi -} - -src_test() { - emake bootstrap -} - -src_install() { - emake DESTDIR="${ED}" install - # findlib support - insinto "$(ocamlfind printconf destdir)/${PN}" - doins etc/META - - dodoc -r doc/* - dodoc CHANGES DEVEL ICHANGES README.md UPGRADING MODE -} |