diff options
Diffstat (limited to 'dev-ml/camlp5/camlp5-7.11.ebuild')
-rw-r--r-- | dev-ml/camlp5/camlp5-7.11.ebuild | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/dev-ml/camlp5/camlp5-7.11.ebuild b/dev-ml/camlp5/camlp5-7.11.ebuild new file mode 100644 index 000000000000..542b744b42f5 --- /dev/null +++ b/dev-ml/camlp5/camlp5-7.11.ebuild @@ -0,0 +1,48 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit findlib + +DESCRIPTION="A preprocessor-pretty-printer of ocaml" +HOMEPAGE="https://camlp5.github.io/" +SRC_URI="https://github.com/camlp5/camlp5/archive/rel$(ver_rs 1- '').tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-rel$(ver_rs 1- '')" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~alpha ~amd64 ~ppc ~x86" +IUSE="doc +ocamlopt" + +DEPEND="dev-lang/ocaml" +RDEPEND="${DEPEND}" + +DOCS="CHANGES DEVEL ICHANGES README.md UPGRADING MODE" + +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() { + use doc && HTML_DOCS="doc/*" + + default + + # findlib support + insinto "$(ocamlfind printconf destdir)/${PN}" + doins etc/META +} |