diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-08 21:28:31 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-08 21:28:31 +0100 |
commit | fcd00f02f3d3ec2d37625d68ee736a3e7381fb87 (patch) | |
tree | 134a22ca77e1f8a9393f7dd5c1504bb6204427f3 /dev-ml/camlp5/camlp5-8.01.00.ebuild | |
parent | 6721bc6137dee68e53e7b86a72184911e982697f (diff) |
gentoo auto-resync : 08:08:2023 - 21:28:31
Diffstat (limited to 'dev-ml/camlp5/camlp5-8.01.00.ebuild')
-rw-r--r-- | dev-ml/camlp5/camlp5-8.01.00.ebuild | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/dev-ml/camlp5/camlp5-8.01.00.ebuild b/dev-ml/camlp5/camlp5-8.01.00.ebuild deleted file mode 100644 index 3338ff08f328..000000000000 --- a/dev-ml/camlp5/camlp5-8.01.00.ebuild +++ /dev/null @@ -1,60 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit findlib vcs-clean - -DESCRIPTION="A preprocessor-pretty-printer of ocaml" -HOMEPAGE="https://camlp5.github.io/" -SRC_URI="https://github.com/${PN}/${PN}/archive/refs/tags/${PV}.tar.gz - -> ${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" -IUSE="doc +ocamlopt" - -RDEPEND=" - dev-ml/camlp-streams:= - dev-ml/rresult:= - dev-ml/bos:= - dev-ml/pcre-ocaml:= -" - -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 -} |