summaryrefslogtreecommitdiff
path: root/dev-ml/astring
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/astring
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/astring')
-rw-r--r--dev-ml/astring/Manifest3
-rw-r--r--dev-ml/astring/astring-0.8.3.ebuild25
-rw-r--r--dev-ml/astring/metadata.xml11
3 files changed, 39 insertions, 0 deletions
diff --git a/dev-ml/astring/Manifest b/dev-ml/astring/Manifest
new file mode 100644
index 000000000000..6f82c70bb4e4
--- /dev/null
+++ b/dev-ml/astring/Manifest
@@ -0,0 +1,3 @@
+DIST astring-0.8.3.tbz 38710 BLAKE2B 253fe07b51996eb7b5f84e18d171b0f65cbb5abba9b241a02aa679765f3190edc636c1ba989910fde374a20c7615db1887eb73d8607f3bb8311e20ab6e67f670 SHA512 c7230e47b7ef14e6040fb18284a3d5aa8da1428b721cf91a7f17104cfb853be24b9c2aaa0b118bf3e050158aa8748311435417c6cf9014d260fb4379e4ead3e1
+EBUILD astring-0.8.3.ebuild 544 BLAKE2B 92711e64cdd1c9357949d5269ef6f5abafdcbf586a8ad12a6080a304eb75c6cd02aa26796956021165a5c576708213da6914fed03befcab301f2d6a277d0380d SHA512 f82e7914443e9f80fdea42b4d3a2603b2fcb66343648798c79d52965e6107b8a15135248b02feb1fcef967193ce922d86ae2b6b81c20338fffca896b87de52bf
+MISC metadata.xml 328 BLAKE2B ac4cbca0d613fa5e3f06dbba3f77400b40b1469dbf4c4980b212bb3bfc6d782a4beb42918aafcc99a713acb07049e40dfd73a3c045592c2a861afd95976fe18d SHA512 d160a180c4cdfb31180232edd9ad5ba724e667c15a384c09010351e2053d726a1709cf5fe045f72fbdc2046214909a10e70ab202ee617da9a57f74964b2c8de8
diff --git a/dev-ml/astring/astring-0.8.3.ebuild b/dev-ml/astring/astring-0.8.3.ebuild
new file mode 100644
index 000000000000..cd17e8514586
--- /dev/null
+++ b/dev-ml/astring/astring-0.8.3.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit opam
+
+DESCRIPTION="Alternative String module for OCaml"
+HOMEPAGE="http://erratique.ch/software/astring https://github.com/dbuenzli/astring"
+SRC_URI="http://erratique.ch/software/astring/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="dev-lang/ocaml:=[ocamlopt]"
+DEPEND="${RDEPEND}
+ dev-ml/topkg
+ dev-ml/ocamlbuild
+ dev-ml/findlib"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}
diff --git a/dev-ml/astring/metadata.xml b/dev-ml/astring/metadata.xml
new file mode 100644
index 000000000000..7f44ca0a6b88
--- /dev/null
+++ b/dev-ml/astring/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>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">dbuenzli/astring</remote-id>
+ </upstream>
+</pkgmetadata>