commit: 1198068d5fbf0f7a925186e31682b8c543e5c984 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> AuthorDate: Tue Jun 20 21:26:34 2017 +0000 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> CommitDate: Tue Jun 20 21:26:34 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1198068d
dev-ml/fpath: initial import Package-Manager: Portage-2.3.6, Repoman-2.3.2 dev-ml/fpath/Manifest | 1 + dev-ml/fpath/fpath-0.7.2.ebuild | 36 ++++++++++++++++++++++++++++++++++++ dev-ml/fpath/metadata.xml | 11 +++++++++++ 3 files changed, 48 insertions(+) diff --git a/dev-ml/fpath/Manifest b/dev-ml/fpath/Manifest new file mode 100644 index 00000000000..108d1ca52c2 --- /dev/null +++ b/dev-ml/fpath/Manifest @@ -0,0 +1 @@ +DIST fpath-0.7.2.tbz 24142 SHA256 2ce2ae81a9d945696771c62082e817fbe49ed39499d8ad9a63b8e2bb502b20c3 SHA512 d8ab8d6f183a1742d74a3a3220cc1d62e7df38a6f3ca1c04fad18426a0897152255382305ad14d058b5b85ab55a27536c39a62deffac8d46984a730a2a18405d WHIRLPOOL 14b8ab716e890535345cd42a992ad2c13737ebf07116c5f2a469d642b31473adead47db67696a665f1d7cf984fdb208619743c02e35dc70b3bcb2f2892e89741 diff --git a/dev-ml/fpath/fpath-0.7.2.ebuild b/dev-ml/fpath/fpath-0.7.2.ebuild new file mode 100644 index 00000000000..8696bff4270 --- /dev/null +++ b/dev-ml/fpath/fpath-0.7.2.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="File system paths for OCaml" +HOMEPAGE="http://erratique.ch/software/fpath https://github.com/dbuenzli/fpath"; +SRC_URI="http://erratique.ch/software/fpath/releases/${P}.tbz"; + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-lang/ocaml:= + dev-ml/result:= + dev-ml/astring:= +" +DEPEND="${RDEPEND} + dev-ml/topkg + dev-ml/ocamlbuild + dev-ml/findlib +" + +src_compile() { + ocaml pkg/pkg.ml build || die +} + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die +} diff --git a/dev-ml/fpath/metadata.xml b/dev-ml/fpath/metadata.xml new file mode 100644 index 00000000000..120208f31d2 --- /dev/null +++ b/dev-ml/fpath/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> +<pkgmetadata> +<maintainer type="project"> + <email>[email protected]</email> + <name>Gentoo ML Project</name> +</maintainer> + <upstream> + <remote-id type="github">dbuenzli/fpath</remote-id> + </upstream> +</pkgmetadata>
