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/integers | |
parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/integers')
-rw-r--r-- | dev-ml/integers/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/integers/integers-0.2.2.ebuild | 32 | ||||
-rw-r--r-- | dev-ml/integers/metadata.xml | 11 |
3 files changed, 0 insertions, 46 deletions
diff --git a/dev-ml/integers/Manifest b/dev-ml/integers/Manifest deleted file mode 100644 index 6e2e2868e928..000000000000 --- a/dev-ml/integers/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST integers-0.2.2.tbz 9155 BLAKE2B 7dcbf0a10cdd2f65683c590dcc18ab7a67540eb39b78500506b303afaf881d6322ac8014dff9a772d7b43cb9b4765dbf85cdb2d31a3a5a78cf5a8e674f18dfea SHA512 957ec87f385916a847eeccef1142d706cf2bf9024a4f0b97120f73a2eda4c049261078bc27227db14bfed53bf014da14a93ef75b515a851af72088bd8b04081a -EBUILD integers-0.2.2.ebuild 724 BLAKE2B b8a46e4a19a2ba854cbdfad4844e44d18da832d3ebfffa61599f37168125643c7f9973026f70317106ce58f0032b696f8509f5420cf0cd8fcccb689a269156a1 SHA512 e70e8cb10db7e476ed2590025f8b7ae23657199dce1c2bdf4ed2e8a2a8a0dd876ea10c3aa3882d59f9a426bc24db02268c1f58f53d7d4c1cc6c1f2622bceca59 -MISC metadata.xml 336 BLAKE2B f48e8874302f1baebe61f0c9f1f44ce0a9cc75755c35b8b53bad762b17847d0b9b2d535135798fa67956e15c770d0d2f1aef49f3e67e4c54449f5127f08a5da3 SHA512 b7461b0c3d899ba8cc254fdecc4665d7238296516d3ce8d2aac02ba14a65fd1352eafa20762979f9f9d4118d832a365100488c09b136c9916906608d3d718635 diff --git a/dev-ml/integers/integers-0.2.2.ebuild b/dev-ml/integers/integers-0.2.2.ebuild deleted file mode 100644 index 4c4999134304..000000000000 --- a/dev-ml/integers/integers-0.2.2.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -DESCRIPTION="Various signed and unsigned integer types for OCaml" -HOMEPAGE="https://github.com/ocamllabs/ocaml-integers" -SRC_URI="https://github.com/ocamllabs/ocaml-integers/releases/download/v${PV}/${P}.tbz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~x86" -IUSE="" - -RDEPEND="dev-lang/ocaml:=" -DEPEND="${RDEPEND} - dev-ml/ocamlbuild - dev-ml/opam - dev-ml/topkg - dev-ml/findlib" - -src_compile() { - ocaml pkg/pkg.ml build || die -} - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${PN}.install || die -} diff --git a/dev-ml/integers/metadata.xml b/dev-ml/integers/metadata.xml deleted file mode 100644 index 637f8241fbad..000000000000 --- a/dev-ml/integers/metadata.xml +++ /dev/null @@ -1,11 +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> - <upstream> - <remote-id type="github">ocamllabs/ocaml-integers</remote-id> - </upstream> -</pkgmetadata> |