summaryrefslogtreecommitdiff
path: root/dev-ml/xstr
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/xstr
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/xstr')
-rw-r--r--dev-ml/xstr/Manifest3
-rw-r--r--dev-ml/xstr/metadata.xml8
-rw-r--r--dev-ml/xstr/xstr-0.2.1.ebuild32
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/xstr/Manifest b/dev-ml/xstr/Manifest
new file mode 100644
index 000000000000..524d9f422bdf
--- /dev/null
+++ b/dev-ml/xstr/Manifest
@@ -0,0 +1,3 @@
+DIST xstr-0.2.1.tar.gz 14703 BLAKE2B 5fc64bba6359d8ea9d1517c291d65aeb5493222829c6b6ac6f350918aae0b2b2a6b997dc9a5b65ab2ac57fbb9f84afdfb738cbc79b2cfc0153fef78544e817be SHA512 aeb518353191d48c446641937bbf78660911dd9cbb34689790777fdf47c8ab57640fd0ee04b077a74cbbe46a07bc0ef71062a1b4b7f8a627a9524ef04a03b28e
+EBUILD xstr-0.2.1.ebuild 594 BLAKE2B 02af8461c708d312f1bcc211cc1ee6f67da036ca1c0dbd1c9f5b7dcc1923e31ddc3414768e03701cd4504f6f2088e7e9c76d03e425b94185e79e5318dd1059f0 SHA512 5bf3c8cffff8551b8a105da6491511602ae6b540678c80f60fab4c8b855c62fbc963cd20a44a2534e70c18cca34ce769456a5ec9c5ccf36071e9d4ac7644cf58
+MISC metadata.xml 243 BLAKE2B 010ca240ae06e9a9f6d7ba213eb06df36d9ba862ff2d2458d98a9fea1a1e7f3026d13832a73bce1b3ad9345029425e6abfae9e03bf126f2329b3f030ed3753fd SHA512 1c5b4b2163017e496999d1f87e5c9c5ac6c11b2e9187450ccfb3df258f34e54d278972f04ee0e8429476c6f87e091a869ac2a28c6e8c8e6d20678c3e74061449
diff --git a/dev-ml/xstr/metadata.xml b/dev-ml/xstr/metadata.xml
new file mode 100644
index 000000000000..ffac4d7ebc01
--- /dev/null
+++ b/dev-ml/xstr/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>
diff --git a/dev-ml/xstr/xstr-0.2.1.ebuild b/dev-ml/xstr/xstr-0.2.1.ebuild
new file mode 100644
index 000000000000..3d53842f7509
--- /dev/null
+++ b/dev-ml/xstr/xstr-0.2.1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="Thread-safe implementation of string searching/matching/splitting"
+HOMEPAGE="http://www.ocaml-programming.de/packages/"
+SRC_URI="http://www.ocaml-programming.de/packages/${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ppc x86"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-3.10:=[ocamlopt]"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN}"
+
+src_compile()
+{
+ make all || die
+ make opt || die
+}
+
+src_install()
+{
+ findlib_src_install
+ dodoc README RELEASE
+}