diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/num | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/num')
| -rw-r--r-- | dev-ml/num/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/num/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/num/num-1.3.ebuild | 25 |
3 files changed, 33 insertions, 0 deletions
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest new file mode 100644 index 000000000000..a685fc31bdea --- /dev/null +++ b/dev-ml/num/Manifest @@ -0,0 +1,3 @@ +DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031 +EBUILD num-1.3.ebuild 614 BLAKE2B 27b3a99d17ce5efe055d9f418b01a9e37379a2637f1e8dadf85665059b6ba83478bfa45d4db61eedff3452770d4c2067fca8c5a2148486506afe95a6d4d638c4 SHA512 e3e66279346c7d24c0cf0d31e7489b1fb34788008abcc6d4500a9693e26d277ecadf4edb7970c486e004133a18a6f68fd1d31082db55104bc250d8e84b1f39de +MISC metadata.xml 170 BLAKE2B 596d3ac9dabce24bba0cde2371d477e82ca5f9200bfeda69429558c79d4b59db07d8cb368f7eac09605bd132564778c12a20934e61cfede0197b9ebf69a3b5ca SHA512 ad26626abac376b8d9cb5b3125c4361c443524ef85ec99212acd972ca75190b15fe2f701c00c5110c74efc2171db92e41d580786ae2356bf1248e7808b6c67b8 diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml new file mode 100644 index 000000000000..bca0744b282e --- /dev/null +++ b/dev-ml/num/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild new file mode 100644 index 000000000000..e8cffd40ddb3 --- /dev/null +++ b/dev-ml/num/num-1.3.ebuild @@ -0,0 +1,25 @@ +# Copyright 2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multilib findlib + +DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic" +HOMEPAGE="https://github.com/ocaml/num" +SRC_URI="https://github.com/ocaml/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="" + +DEPEND=">=dev-lang/ocaml-4.09.0 + >=dev-ml/findlib-1.8.1" +RDEPEND="${DEPEND}" +BDEPEND="${DEPEND}" + +src_install() { + findlib_src_preinst + OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" +} |