summaryrefslogtreecommitdiff
path: root/dev-ml/logs
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/logs
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/logs')
-rw-r--r--dev-ml/logs/Manifest3
-rw-r--r--dev-ml/logs/logs-0.6.2.ebuild54
-rw-r--r--dev-ml/logs/metadata.xml16
3 files changed, 73 insertions, 0 deletions
diff --git a/dev-ml/logs/Manifest b/dev-ml/logs/Manifest
new file mode 100644
index 000000000000..b8e89a971a79
--- /dev/null
+++ b/dev-ml/logs/Manifest
@@ -0,0 +1,3 @@
+DIST logs-0.6.2.tbz 18558 BLAKE2B 824bad0b568c3cc08343cb99eab3848d6e8f7deca548599caf12a05f5980e5ecf78978480e5fd95e938ca4b06fb94cee8b4ecf241f4a0238c3d3851c4be8c9f5 SHA512 a669e373652bac6789626ad1d58e414c6d156c646bf0706c9d55b04151850113d45a5c28077707514d1a27d46fcc0f90b39b8652ce7a3980f79675e9874db8b4
+EBUILD logs-0.6.2.ebuild 1206 BLAKE2B 6d6850b9430306ad482c6fea20c77c488052fbfbe5e2092b5c945ac15a97578c55f41fd7ef3586c84157cadfbe5575108749baece42da1c05dc848a5ed524c65 SHA512 e579a30fe8e591f08df2080253d6c4ffff6db4dc736051bf0ac886e1858341bbbfa3ce455a246db395d315b5d0d11f06d86ea9809e8d11dfcf5e6f07b20d7c15
+MISC metadata.xml 601 BLAKE2B abddc0fba65ed335ef50ce87e576a9b522bdddd6317c8f3a6c3efe701f44d0ac911948428db6ea9f0175d101b81cd13a7eaaea228da3f7e459b0d1e37674735c SHA512 1dd217ce0c2e77bd1cddde1b4ef71a58cd1199895ba8d8361a28fa2792725d1367d49b188f118bfd5db64ac080d27d4f935ba3b0e11615dca65917021833d1be
diff --git a/dev-ml/logs/logs-0.6.2.ebuild b/dev-ml/logs/logs-0.6.2.ebuild
new file mode 100644
index 000000000000..65f024a9d4b1
--- /dev/null
+++ b/dev-ml/logs/logs-0.6.2.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit findlib
+
+DESCRIPTION="Logging infrastructure for OCaml"
+HOMEPAGE="http://erratique.ch/software/logs https://github.com/dbuenzli/logs"
+SRC_URI="http://erratique.ch/software/logs/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="javascript +fmt cli +lwt test"
+
+RDEPEND="
+ dev-ml/result:=[ocamlopt]
+ dev-lang/ocaml:=[ocamlopt]
+ javascript? ( dev-ml/js_of_ocaml:= )
+ fmt? ( dev-ml/fmt:= )
+ cli? ( dev-ml/cmdliner:=[ocamlopt] )
+ lwt? ( dev-ml/lwt:= )
+"
+DEPEND="${RDEPEND}
+ dev-ml/opam
+ dev-ml/topkg
+ dev-ml/ocamlbuild
+ dev-ml/findlib
+ test? ( dev-ml/mtime )
+"
+
+src_compile() {
+ ocaml pkg/pkg.ml build \
+ --with-js_of_ocaml $(usex javascript true false) \
+ --with-fmt $(usex fmt true false) \
+ --with-cmdliner $(usex cli true false) \
+ --with-lwt $(usex fmt true false) \
+ --tests $(usex test true false) \
+ || die
+}
+
+src_test() {
+ ocaml pkg/pkg.ml test || die
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md README.md
+}
diff --git a/dev-ml/logs/metadata.xml b/dev-ml/logs/metadata.xml
new file mode 100644
index 000000000000..181c271e3665
--- /dev/null
+++ b/dev-ml/logs/metadata.xml
@@ -0,0 +1,16 @@
+<?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>
+ <use>
+ <flag name="cli">Enables the Logs_cli library that provides command line support for controlling Logs.</flag>
+ <flag name="fmt">Enables the Logs_fmt reporter.</flag>
+ <flag name="lwt">Enables the Logs_lwt library that provides Lwt logging functions.</flag>
+ </use>
+ <upstream>
+ <remote-id type="github">dbuenzli/logs</remote-id>
+ </upstream>
+</pkgmetadata>