diff options
Diffstat (limited to 'dev-ml/ocamlweb/ocamlweb-1.41.ebuild')
| -rw-r--r-- | dev-ml/ocamlweb/ocamlweb-1.41.ebuild | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/ocamlweb/ocamlweb-1.41.ebuild b/dev-ml/ocamlweb/ocamlweb-1.41.ebuild new file mode 100644 index 000000000000..1024343cc3c3 --- /dev/null +++ b/dev-ml/ocamlweb/ocamlweb-1.41.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit latex-package + +DESCRIPTION="O'Caml literate programming tool" +HOMEPAGE="https://www.lri.fr/~filliatr/ocamlweb/" +SRC_URI="https://www.lri.fr/~filliatr/ftp/ocamlweb/${P}.tar.gz" + +LICENSE="LGPL-2" +SLOT="0" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" + +DEPEND=">=dev-lang/ocaml-4.08.0:= + virtual/latex-base + dev-texlive/texlive-latexextra + " + +PATCHES=( + "${FILESDIR}/${PN}-1.41-strip.patch" + "${FILESDIR}/${PN}-1.41-ocaml-4.08.0.patch" + ) + +src_compile() { + emake +} + +src_install() { + emake UPDATETEX="" prefix="${D}/usr" MANDIR="${D}/usr/share/man" BASETEXDIR="${D}/${TEXMF}" install + dodoc README CHANGES +} |
