summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-08-16 13:49:14 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-08-16 13:49:14 +0200
commitdb36efc18571f6e50aae5a7f9c2a1716b1ba3eb6 (patch)
treeaff8c40a304b6106eddacfd54502fee07196679f
parentdev-ml/menhir: bump to 20160808 (diff)
downloadgentoo-db36efc18571f6e50aae5a7f9c2a1716b1ba3eb6.tar.gz
gentoo-db36efc18571f6e50aae5a7f9c2a1716b1ba3eb6.tar.bz2
gentoo-db36efc18571f6e50aae5a7f9c2a1716b1ba3eb6.zip
dev-ml/gen: initial import; ebuild by me
Package-Manager: portage-2.3.0
-rw-r--r--dev-ml/gen/Manifest1
-rw-r--r--dev-ml/gen/gen-0.4.0.1.ebuild25
-rw-r--r--dev-ml/gen/metadata.xml8
3 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/gen/Manifest b/dev-ml/gen/Manifest
new file mode 100644
index 000000000000..f6fc455310b0
--- /dev/null
+++ b/dev-ml/gen/Manifest
@@ -0,0 +1 @@
+DIST gen-0.4.0.1.tar.gz 72415 SHA256 ab6389821f807ac22857002c85b57f737f41bc9d4f1b81cf6472b113040792cd SHA512 30722cca6d9b360a9a7d4a97f7553935d5425d5e3d49a7ae265bd0aee5961628a20d182775767a125cf367e1cd218ce4e782f025951468a4f95975163a1f4d76 WHIRLPOOL 571be71cfb3c8be6223f09ce78c61a219d07909e1d0045f63ce9e11882e1e113159a9ad90a5bc284d65c22947bda12493f7995f4736a5593cf9958bdd9638c29
diff --git a/dev-ml/gen/gen-0.4.0.1.ebuild b/dev-ml/gen/gen-0.4.0.1.ebuild
new file mode 100644
index 000000000000..8ec569e9df47
--- /dev/null
+++ b/dev-ml/gen/gen-0.4.0.1.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="Simple, efficient iterators for OCaml"
+HOMEPAGE="https://github.com/c-cube/gen"
+SRC_URI="https://github.com/c-cube/gen/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND=""
+DEPEND="${RDEPEND}
+ test? ( dev-ml/ounit dev-ml/qcheck )
+"
+DOCS=( "README.md" "CHANGELOG.md" )
diff --git a/dev-ml/gen/metadata.xml b/dev-ml/gen/metadata.xml
new file mode 100644
index 000000000000..ffac4d7ebc01
--- /dev/null
+++ b/dev-ml/gen/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+</maintainer>
+</pkgmetadata>