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/integers | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (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, 46 insertions, 0 deletions
diff --git a/dev-ml/integers/Manifest b/dev-ml/integers/Manifest new file mode 100644 index 000000000000..6e2e2868e928 --- /dev/null +++ b/dev-ml/integers/Manifest @@ -0,0 +1,3 @@ +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 new file mode 100644 index 000000000000..4c4999134304 --- /dev/null +++ b/dev-ml/integers/integers-0.2.2.ebuild @@ -0,0 +1,32 @@ +# 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 new file mode 100644 index 000000000000..637f8241fbad --- /dev/null +++ b/dev-ml/integers/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">ocamllabs/ocaml-integers</remote-id> + </upstream> +</pkgmetadata> |