diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/astring | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/astring')
-rw-r--r-- | dev-ml/astring/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/astring/astring-0.8.3.ebuild | 25 | ||||
-rw-r--r-- | dev-ml/astring/metadata.xml | 11 |
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> |