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/fmt | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/fmt')
-rw-r--r-- | dev-ml/fmt/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/fmt/fmt-0.8.4.ebuild | 32 | ||||
-rw-r--r-- | dev-ml/fmt/metadata.xml | 11 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/fmt/Manifest b/dev-ml/fmt/Manifest new file mode 100644 index 000000000000..9648475deb33 --- /dev/null +++ b/dev-ml/fmt/Manifest @@ -0,0 +1,3 @@ +DIST fmt-0.8.4.tbz 14079 BLAKE2B c4b6fc35a27734e8d878ef1abfa900b659d4acafc20757b0413aec1404378aed6e57c6a1a0e5c7dbda7e60fdd911d38fa1fecc76d670299ddf6ed14930fbcc28 SHA512 d17407f15447172ad444fa288b9a16962b0e4829cb73f62004b0f8dad2bec60a7911ad11fd05545d61d7fdb88099e53694548c73368399ba183c53383e1dfd31 +EBUILD fmt-0.8.4.ebuild 739 BLAKE2B 038709a7969bf7425bb522b4cb6df4ae1c15db70122631365b66de52cb809ae0338d3ab3ed20bb734304d4ad98cdd34ec65ee1f9d44466f9e4e78acad41eff56 SHA512 4cfa9e919996cd995e9627369f29c26f94ffb742b597db54f39b74cd54629e334b0ab2def6e5ceaaf3f0f14d6623053cac69a20335217c7b8b0208734ede8ce4 +MISC metadata.xml 324 BLAKE2B 4dee20ac6aa22eaff662820f7ca3373ef0c237020ac50e206c748503565976faff08d8233ccd3a0618ba99da8244788053f12a7e4f46362612070fabf6967b5c SHA512 f66912e2b4675364a04efea78003d4ed0c23b8c8d6978d18f6352f96c9bdca3bc66ef02ca1311be06b98190da2d0341ff00ef9980e4ef7e682e0d7b098b78078 diff --git a/dev-ml/fmt/fmt-0.8.4.ebuild b/dev-ml/fmt/fmt-0.8.4.ebuild new file mode 100644 index 000000000000..19b27b4284d0 --- /dev/null +++ b/dev-ml/fmt/fmt-0.8.4.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI="5" + +inherit findlib opam + +DESCRIPTION="Combinators to devise OCaml Format pretty-printing functions" +HOMEPAGE="http://erratique.ch/software/fmt https://github.com/dbuenzli/fmt" +SRC_URI="http://erratique.ch/software/fmt/releases/${P}.tbz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="test" + +RDEPEND="dev-ml/result:=[ocamlopt] + dev-lang/ocaml:=[ocamlopt] + dev-ml/uchar:=[ocamlopt] + dev-ml/cmdliner:=[ocamlopt]" +DEPEND="${RDEPEND} + >=dev-ml/topkg-0.9 + dev-ml/ocamlbuild + dev-ml/findlib" + +src_compile() { + ocaml pkg/pkg.ml build --tests $(usex test 'true' 'false') || die +} + +src_test() { + ocaml pkg/pkg.ml test || die +} diff --git a/dev-ml/fmt/metadata.xml b/dev-ml/fmt/metadata.xml new file mode 100644 index 000000000000..655131108a30 --- /dev/null +++ b/dev-ml/fmt/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/fmt</remote-id> + </upstream> +</pkgmetadata> |