diff options
Diffstat (limited to 'dev-ml/camlp5/camlp5-7.00.ebuild')
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.00.ebuild | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/dev-ml/camlp5/camlp5-7.00.ebuild b/dev-ml/camlp5/camlp5-7.00.ebuild deleted file mode 100644 index 2ead52bac719..000000000000 --- a/dev-ml/camlp5/camlp5-7.00.ebuild +++ /dev/null @@ -1,68 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI="5" - -inherit multilib findlib eutils versionator - -MY_P=${P%_p*} -DESCRIPTION="A preprocessor-pretty-printer of ocaml" -HOMEPAGE="https://camlp5.github.io/" -SRC_URI="https://github.com/camlp5/camlp5/archive/rel$(replace_all_version_separators '').tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-rel$(replace_all_version_separators '')" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~alpha ~amd64 ~ppc ~x86" -IUSE="doc +ocamlopt" - -DEPEND=" - >=dev-lang/ocaml-3.10:=[ocamlopt?] - <=dev-lang/ocaml-4.6.0 -" -RDEPEND="${DEPEND}" - -PATCHLEVEL=${PV#*_p} -PATCHLIST="" - -if [ "${PATCHLEVEL}" != "${PV}" ] ; then - for (( i=1; i<=PATCHLEVEL; i++ )) ; do - SRC_URI="${SRC_URI} - http://pauillac.inria.fr/~ddr/camlp5/distrib/src/patch-${PV%_p*}-${i} -> ${MY_P}-patch-${i}.patch" - PATCHLIST="${PATCHLIST} ${MY_P}-patch-${i}.patch" - done -fi - -src_prepare() { - for i in ${PATCHLIST} ; do - epatch "${DISTDIR}/${i}" - done -} - -src_configure() { - ./configure \ - --strict \ - -prefix /usr \ - -bindir /usr/bin \ - -libdir /usr/$(get_libdir)/ocaml \ - -mandir /usr/share/man || die "configure failed" -} - -src_compile(){ - emake out - if use ocamlopt; then - emake opt - emake opt.opt - fi -} - -src_install() { - emake DESTDIR="${D}" install - # findlib support - insinto "$(ocamlfind printconf destdir)/${PN}" - doins etc/META - - use doc && dohtml -r doc/* - - dodoc CHANGES DEVEL ICHANGES README UPGRADING MODE -} |