summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-06-06 14:41:11 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-06-08 16:18:56 +0200
commitce8f252e3d60948ebebcba2e1ff1eda65473498e (patch)
tree7a0ae79d6dff66e375dc329fd9ec6e715bcafe78 /dev-ml
parentsys-cluster/zetcd: Initial version (diff)
downloadgentoo-ce8f252e3d60948ebebcba2e1ff1eda65473498e.tar.gz
gentoo-ce8f252e3d60948ebebcba2e1ff1eda65473498e.tar.bz2
gentoo-ce8f252e3d60948ebebcba2e1ff1eda65473498e.zip
dev-ml/configurator: bump to 0.9.1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/configurator/Manifest1
-rw-r--r--dev-ml/configurator/configurator-0.9.1.ebuild32
2 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest
index fa4dabf8f79e..1ce6a1aed360 100644
--- a/dev-ml/configurator/Manifest
+++ b/dev-ml/configurator/Manifest
@@ -1 +1,2 @@
DIST configurator-0.9.0.tar.gz 10221 SHA256 05e2f6f7bd92cfda01a95f3993db75e8c377434bc10ebad71f34dad610b4de5a SHA512 3ed50093ecdeabd1e9bf7eeb99305fa64f2166093c75d616d627eb5aeb0df07092f7b43234140cba6ecec5c0e876d45f8e72b65f00b3486efa2bc5576252199e WHIRLPOOL e30c18e188403142de1fb021f0f1fac7f919343dedc6ee31cc4155fcdd38f4a274ed7e2bcf68fce86e4011acf7b76eeb3629c496fa9aaff48a850a50277831db
+DIST configurator-0.9.1.tar.gz 10231 SHA256 f93c68f4d9d2939555fdcfb5ad02cd06bbfc116374bdfb7779d80f2ab1affb96 SHA512 43d864d3317241dd66829747dd956ac42614cc687bbca23e2575cb1b3ab9d0c628dfbdd8f026bcd4d76cb87cf282d955d6a90f0e69543ee1ee1f01a1efa9b54b WHIRLPOOL 1b771aff10a9676ce2fab2c24057f612c414e211c504ee63fd54652dab6edc2d1d35708643bee98764677ba85811650e93ddd720c06cefc4af8e431061643d10
diff --git a/dev-ml/configurator/configurator-0.9.1.ebuild b/dev-ml/configurator/configurator-0.9.1.ebuild
new file mode 100644
index 000000000000..2d78c8695c78
--- /dev/null
+++ b/dev-ml/configurator/configurator-0.9.1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Helper library for gathering system configuration"
+HOMEPAGE="https://github.com/janestreet/configurator"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-lang/ocaml:=
+ dev-ml/base:=
+ dev-ml/ppx_base:=
+ dev-ml/ppx_driver:=
+ dev-ml/stdio:=
+ dev-ml/ocaml-migrate-parsetree:=
+ "
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}