diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
| commit | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch) | |
| tree | e48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/logs | |
| parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/logs')
| -rw-r--r-- | dev-ml/logs/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/logs/logs-0.6.2.ebuild | 54 | ||||
| -rw-r--r-- | dev-ml/logs/metadata.xml | 16 |
3 files changed, 0 insertions, 73 deletions
diff --git a/dev-ml/logs/Manifest b/dev-ml/logs/Manifest deleted file mode 100644 index b8e89a971a79..000000000000 --- a/dev-ml/logs/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -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 deleted file mode 100644 index 65f024a9d4b1..000000000000 --- a/dev-ml/logs/logs-0.6.2.ebuild +++ /dev/null @@ -1,54 +0,0 @@ -# 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 deleted file mode 100644 index 181c271e3665..000000000000 --- a/dev-ml/logs/metadata.xml +++ /dev/null @@ -1,16 +0,0 @@ -<?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> |