* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-01-14 6:34 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2021-01-14 6:34 UTC (permalink / raw
To: gentoo-commits
commit: cfbe60c4ce5c9b12ca8b2e8bc302c4c60a4cf020
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 14 06:34:40 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jan 14 06:34:40 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfbe60c4
dev-ml/num: ML maintains it
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/metadata.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml
index 000cf86e43c..e24f3283a00 100644
--- a/dev-ml/num/metadata.xml
+++ b/dev-ml/num/metadata.xml
@@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>tupone@gentoo.org</email>
- <name>Tupone Alfredo</name>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
</maintainer>
<maintainer type="person">
<email>gienah@gentoo.org</email>
^ permalink raw reply related [flat|nested] 35+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-10-15 15:25 Arthur Zamarin
0 siblings, 0 replies; 35+ messages in thread
From: Arthur Zamarin @ 2024-10-15 15:25 UTC (permalink / raw
To: gentoo-commits
commit: f574943c153a6fe6fb8484157c1793923c350c30
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 15 15:24:42 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue Oct 15 15:24:42 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f574943c
dev-ml/num: Stabilize 1.5 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/num/num-1.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild
index c8c3218945fc..464546380312 100644
--- a/dev-ml/num/num-1.5.ebuild
+++ b/dev-ml/num/num-1.5.ebuild
@@ -12,7 +12,7 @@ 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 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-10-15 15:25 Arthur Zamarin
0 siblings, 0 replies; 35+ messages in thread
From: Arthur Zamarin @ 2024-10-15 15:25 UTC (permalink / raw
To: gentoo-commits
commit: 10ba7b9ce906ef01f2fe93f8742a23832f79b904
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 15 15:24:27 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue Oct 15 15:24:27 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10ba7b9c
dev-ml/num: Stabilize 1.5 ppc64, #941576
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/num/num-1.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild
index dc6883c899fd..c8c3218945fc 100644
--- a/dev-ml/num/num-1.5.ebuild
+++ b/dev-ml/num/num-1.5.ebuild
@@ -12,7 +12,7 @@ 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 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-07-30 5:07 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2024-07-30 5:07 UTC (permalink / raw
To: gentoo-commits
commit: 28494b7a30132d895d48c5fbda9d2cd5adbe2974
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jul 30 05:05:04 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jul 30 05:06:42 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28494b7a
dev-ml/num: fix parallel build
Closes: https://bugs.gentoo.org/936155
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.5.ebuild | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild
index baaacdcf8f0e..f8dc825a611d 100644
--- a/dev-ml/num/num-1.5.ebuild
+++ b/dev-ml/num/num-1.5.ebuild
@@ -20,6 +20,10 @@ BDEPEND="${RDEPEND}"
DEPEND="dev-ml/findlib:=[ocamlopt?]"
src_compile() {
+ emake CFLAGS="${CFLAGS}" \
+ NATDYNLINK="$(usex ocamlopt true false)" \
+ NATIVE_COMPILER="$(usex ocamlopt true false)" \
+ -C src num_top.ml
emake CFLAGS="${CFLAGS}" \
NATDYNLINK="$(usex ocamlopt true false)" \
NATIVE_COMPILER="$(usex ocamlopt true false)"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-06-28 21:05 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2024-06-28 21:05 UTC (permalink / raw
To: gentoo-commits
commit: 37afc75bdf85078452e57c743d7ed4d637362ec3
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 28 21:05:03 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 28 21:05:03 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=37afc75b
dev-ml/num: update EAPI 7 -> 8
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild
index 5b8ad18e290c..baaacdcf8f0e 100644
--- a/dev-ml/num/num-1.5.ebuild
+++ b/dev-ml/num/num-1.5.ebuild
@@ -1,7 +1,7 @@
# Copyright 2020-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
# Not using dune for now, bug #775119
inherit findlib
^ permalink raw reply related [flat|nested] 35+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-06-28 21:04 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2024-06-28 21:04 UTC (permalink / raw
To: gentoo-commits
commit: 654e9db4b6bacedfcc526446fb4c2fdc8a962a3b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 28 20:59:17 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 28 21:03:25 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=654e9db4
dev-ml/num: add 1.5
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/Manifest | 1 +
dev-ml/num/num-1.5.ebuild | 46 ++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 47 insertions(+)
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest
index c545fca9b107..138635061223 100644
--- a/dev-ml/num/Manifest
+++ b/dev-ml/num/Manifest
@@ -1,2 +1,3 @@
DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031
DIST num-1.4.tar.gz 66327 BLAKE2B 59eae642e19f452dd911ef6c32b89978f2034a5fcaece4a358f3da447c8d6cb2b2581c39d032eb117edaf7ecf942583281eb6e31716b06960e768c2a985e099e SHA512 0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f
+DIST num-1.5.tar.gz 67633 BLAKE2B 848dc8174bcdc5756ab036f9ec9cc9f6727d7d8e1079bd1c37611c7cc73939ce5cead4ba6acf4b6a1789640e824afc78faa43e24825e1f4cca37e3a76946e4f1 SHA512 110dd01140c1c96f5f067aa824bb63f74a26411dcaa65aaf04cb6c44b116ca02aaab9505f431c66964388ce4a31d86da5928b4c0e5557800e834de80bed46495
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild
new file mode 100644
index 000000000000..5b8ad18e290c
--- /dev/null
+++ b/dev-ml/num/num-1.5.ebuild
@@ -0,0 +1,46 @@
+# Copyright 2020-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+# Not using dune for now, bug #775119
+inherit 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 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
+BDEPEND="${RDEPEND}"
+DEPEND="dev-ml/findlib:=[ocamlopt?]"
+
+src_compile() {
+ emake CFLAGS="${CFLAGS}" \
+ NATDYNLINK="$(usex ocamlopt true false)" \
+ NATIVE_COMPILER="$(usex ocamlopt true false)"
+}
+
+src_test() {
+ # Override needed to not use dune
+ emake test
+}
+
+src_install() {
+ # OCaml generates textrels on 32-bit arches
+ if use arm || use ppc || use x86 ; then
+ export QA_TEXTRELS='.*'
+ fi
+ findlib_src_install \
+ NATDYNLINK="$(usex ocamlopt true false)" \
+ NATIVE_COMPILER="$(usex ocamlopt true false)"
+
+ if has_version ">=dev-ml/findlib-1.9" ; then
+ # See bug #803275
+ rm "${ED}/usr/$(get_libdir)/ocaml/num-top/META" || die
+ fi
+}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2024-05-31 6:04 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2024-05-31 6:04 UTC (permalink / raw
To: gentoo-commits
commit: d03f021353ae74174f16e30280378c49aeda970e
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri May 31 06:03:13 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri May 31 06:04:00 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d03f0213
dev-ml/num: ignore TEXTRELS on 32 bits arch
Closes: https://bugs.gentoo.org/723750
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.4-r3.ebuild | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r3.ebuild b/dev-ml/num/num-1.4-r3.ebuild
index d9a74072c775..d1de04d9d68e 100644
--- a/dev-ml/num/num-1.4-r3.ebuild
+++ b/dev-ml/num/num-1.4-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2020-2022 Gentoo Authors
+# Copyright 2020-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -31,6 +31,10 @@ src_test() {
}
src_install() {
+ # OCaml generates textrels on 32-bit arches
+ if use arm || use ppc || use x86 ; then
+ export QA_TEXTRELS='.*'
+ fi
findlib_src_install NATDYNLINK="$(usex ocamlopt true false)"
if has_version ">=dev-ml/findlib-1.9" ; then
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2022-12-04 21:20 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2022-12-04 21:20 UTC (permalink / raw
To: gentoo-commits
commit: a2105c749349bd1a82bfb455bb7ac8b3210157b3
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 4 21:20:33 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Dec 4 21:20:33 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a2105c74
dev-ml/num: add github upstream metadata
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml
index c765c1971790..dfc7ef5a48f3 100644
--- a/dev-ml/num/metadata.xml
+++ b/dev-ml/num/metadata.xml
@@ -9,4 +9,7 @@
<email>gienah@gentoo.org</email>
<name>Mark Wright</name>
</maintainer>
+ <upstream>
+ <remote-id type="github">ocaml/num</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 35+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2022-01-07 20:22 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2022-01-07 20:22 UTC (permalink / raw
To: gentoo-commits
commit: 6ca38d474e5207654e713f0e2da090673508bc76
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 7 20:22:00 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jan 7 20:22:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ca38d47
dev-ml/num: fix install with -ocamlopt
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.4-r3.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/num/num-1.4-r3.ebuild b/dev-ml/num/num-1.4-r3.ebuild
index 70fe28fb9f8c..4b0101e0e90f 100644
--- a/dev-ml/num/num-1.4-r3.ebuild
+++ b/dev-ml/num/num-1.4-r3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2020-2021 Gentoo Authors
+# Copyright 2020-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -29,7 +29,7 @@ src_test() {
}
src_install() {
- findlib_src_install
+ findlib_src_install NATDYNLINK="$(usex ocamlopt true false)"
if has_version ">=dev-ml/findlib-1.9" ; then
# See bug #803275
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-11-07 1:25 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-11-07 1:25 UTC (permalink / raw
To: gentoo-commits
commit: bab04cdceaa5297441c9961cd3543e431e1a9ffe
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 7 01:20:40 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Nov 7 01:20:40 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bab04cdc
dev-ml/num: fix handling of ocamlopt
Closes: https://bugs.gentoo.org/821988
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/{num-1.4-r2.ebuild => num-1.4-r3.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r2.ebuild b/dev-ml/num/num-1.4-r3.ebuild
similarity index 93%
rename from dev-ml/num/num-1.4-r2.ebuild
rename to dev-ml/num/num-1.4-r3.ebuild
index cf3d3b3bc4c..70fe28fb9f8 100644
--- a/dev-ml/num/num-1.4-r2.ebuild
+++ b/dev-ml/num/num-1.4-r3.ebuild
@@ -16,7 +16,8 @@ KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-
IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
-DEPEND="dev-ml/findlib:="
+BDEPEND="${RDEPEND}"
+DEPEND="dev-ml/findlib:=[ocamlopt?]"
src_compile() {
emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-10-07 1:45 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-10-07 1:45 UTC (permalink / raw
To: gentoo-commits
commit: 372049e39ab93af18ce0e72e884ee2ca5ea1b5a9
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 7 01:38:34 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 7 01:38:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=372049e3
dev-ml/num: fix collision with newer findlib
Closes: https://bugs.gentoo.org/803275
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/{num-1.4-r1.ebuild => num-1.4-r2.ebuild} | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r2.ebuild
similarity index 80%
rename from dev-ml/num/num-1.4-r1.ebuild
rename to dev-ml/num/num-1.4-r2.ebuild
index cf5b56b7a6d..cf3d3b3bc4c 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r2.ebuild
@@ -16,6 +16,7 @@ KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-
IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
+DEPEND="dev-ml/findlib:="
src_compile() {
emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)"
@@ -27,6 +28,10 @@ src_test() {
}
src_install() {
- findlib_src_preinst
- OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" NATDYNLINK="$(usex ocamlopt true false)"
+ findlib_src_install
+
+ if has_version ">=dev-ml/findlib-1.9" ; then
+ # See bug #803275
+ rm "${ED}/usr/$(get_libdir)/ocaml/num-top/META" || die
+ fi
}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-06-13 20:25 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-06-13 20:25 UTC (permalink / raw
To: gentoo-commits
commit: 03cf4b94164490db6d8468d9331b3664f3f75c04
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 13 18:14:31 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 13 20:24:03 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03cf4b94
dev-ml/num: try to disable ocamlopt
Closes: https://bugs.gentoo.org/795780
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 7068b3f2d92..cf5b56b7a6d 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -18,7 +18,7 @@ IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
src_compile() {
- emake CFLAGS="${CFLAGS}"
+ emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)"
}
src_test() {
@@ -28,5 +28,5 @@ src_test() {
src_install() {
findlib_src_preinst
- OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" NATDYNLINK="$(usex ocamlopt true false)"
}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-06-13 18:31 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2021-06-13 18:31 UTC (permalink / raw
To: gentoo-commits
commit: 990ec56f7bb07b6468537251ac84058c0c5daa14
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 13 18:30:46 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jun 13 18:30:46 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=990ec56f
dev-ml/num: ocamlopt shall be passed to ocaml
Closes: https://bugs.gentoo.org/795780
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index cd7d2f4efd2..7068b3f2d92 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -15,7 +15,7 @@ SLOT="0"
KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
-RDEPEND="dev-lang/ocaml:="
+RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
src_compile() {
emake CFLAGS="${CFLAGS}"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-06-13 8:13 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2021-06-13 8:13 UTC (permalink / raw
To: gentoo-commits
commit: 56f5892bc2fcb42fb1f05b81941d40070d584f0f
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 13 08:13:20 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jun 13 08:13:20 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56f5892b
dev-ml/num: changing compiler need a rebuild, add RDEPEND
Closes: https://bugs.gentoo.org/795711
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index dca4527a23d..cd7d2f4efd2 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -15,6 +15,8 @@ SLOT="0"
KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
+RDEPEND="dev-lang/ocaml:="
+
src_compile() {
emake CFLAGS="${CFLAGS}"
}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-19 0:23 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-19 0:23 UTC (permalink / raw
To: gentoo-commits
commit: 10ee96de2207a7e973f812043bb695b02a681a69
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 19 00:23:05 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Apr 19 00:23:42 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10ee96de
dev-ml/num: Stabilize 1.4-r1 ppc64, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 68f5be2763f..dca4527a23d 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 arm arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="amd64 arm arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-18 6:48 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-18 6:48 UTC (permalink / raw
To: gentoo-commits
commit: 381c12640af79e2369cfcc3acd5363a768867e5d
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 18 06:48:31 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 18 06:48:31 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=381c1264
dev-ml/num: Stabilize 1.4-r1 ppc, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 69fba55dd1d..68f5be2763f 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="amd64 arm arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-18 6:47 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-18 6:47 UTC (permalink / raw
To: gentoo-commits
commit: 5da9a723da8b060c316aee4f6322574a035a2906
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 18 06:46:04 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 18 06:46:04 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5da9a723
dev-ml/num: Stabilize 1.4-r1 amd64, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 33dbdcb4eac..69fba55dd1d 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-18 6:45 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-18 6:45 UTC (permalink / raw
To: gentoo-commits
commit: 4b0949cbbefbd4c144084e7a4d030f2bf65d6b08
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 18 06:45:04 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 18 06:45:04 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b0949cb
dev-ml/num: Stabilize 1.4-r1 x86, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 9ab314f8aed..33dbdcb4eac 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 arm arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-18 6:44 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-18 6:44 UTC (permalink / raw
To: gentoo-commits
commit: 8265ecb4795e4b2ea4c119441ff1f6c7ea10ea44
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 18 06:43:51 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 18 06:43:51 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8265ecb4
dev-ml/num: Stabilize 1.4-r1 arm64, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 39defb4f313..9b480e6aff2 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="~amd64 ~arm arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-04-18 6:44 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-04-18 6:44 UTC (permalink / raw
To: gentoo-commits
commit: 1335924eab952e24dbc44deaecde65391cfca244
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 18 06:44:12 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 18 06:44:12 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1335924e
dev-ml/num: Stabilize 1.4-r1 arm, #783576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 9b480e6aff2..9ab314f8aed 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -12,7 +12,7 @@ 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 ~arm arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
src_compile() {
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-13 15:26 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-03-13 15:26 UTC (permalink / raw
To: gentoo-commits
commit: 8be04c1f1884b59da47602d0ed384f575abfde4a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 13 13:21:34 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 13 15:23:37 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8be04c1f
dev-ml/num: drop 1.3
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.3.ebuild | 33 ---------------------------------
1 file changed, 33 deletions(-)
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
deleted file mode 100644
index 8cea1449708..00000000000
--- a/dev-ml/num/num-1.3.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# 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[ocamlopt]
- >=dev-ml/findlib-1.8.1[ocamlopt]"
-RDEPEND="${DEPEND}"
-BDEPEND="${DEPEND}"
-
-PATCHES=(
- "${FILESDIR}"/${P}-cflags.patch
-)
-
-src_compile() {
- emake CFLAGS="${CFLAGS}"
-}
-
-src_install() {
- findlib_src_preinst
- OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
-}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-13 14:05 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-03-13 14:05 UTC (permalink / raw
To: gentoo-commits
commit: c424edd656ac758494873324388b6b307408d908
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 13 14:05:03 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 13 14:05:03 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c424edd6
dev-ml/num: Stabilize 1.3-r1 ppc64, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.3-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3-r1.ebuild b/dev-ml/num/num-1.3-r1.ebuild
index 60d2f667932..bf05110a88c 100644
--- a/dev-ml/num/num-1.3-r1.ebuild
+++ b/dev-ml/num/num-1.3-r1.ebuild
@@ -11,7 +11,7 @@ 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 ~arm ~arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-09 22:08 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-03-09 22:08 UTC (permalink / raw
To: gentoo-commits
commit: 346a94086d8568db73e1e4dc367a15fbe827fbb2
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 9 22:05:32 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 9 22:08:07 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346a9408
dev-ml/num: fix tests
Closes: https://bugs.gentoo.org/775146
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 1221bd84c22..1d40da0b807 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -3,7 +3,7 @@
EAPI=7
-inherit dune findlib
+inherit findlib
DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic"
HOMEPAGE="https://github.com/ocaml/num"
@@ -18,6 +18,11 @@ src_compile() {
emake CFLAGS="${CFLAGS}"
}
+src_test() {
+ # Override needed to not use dune
+ emake test
+}
+
src_install() {
findlib_src_preinst
OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-09 22:08 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-03-09 22:08 UTC (permalink / raw
To: gentoo-commits
commit: 435a8e1a8abecb45bbc27bf8e00df532b65da7c6
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 9 22:06:02 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 9 22:08:08 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=435a8e1a
dev-ml/num: add note regarding dune
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.4-r1.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 1d40da0b807..39defb4f313 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -3,6 +3,7 @@
EAPI=7
+# Not using dune for now, bug #775119
inherit findlib
DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic"
^ permalink raw reply related [flat|nested] 35+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-09 20:43 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-03-09 20:43 UTC (permalink / raw
To: gentoo-commits
commit: a885177a3e3c7bd8379a8b128ed77819a1cd1fa4
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 9 20:42:51 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 9 20:43:27 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a885177a
dev-ml/num: fix installation
Thanks-to: Jesús P Rey (Chuso) <gentoo <AT> chuso.net>
Closes: https://bugs.gentoo.org/775119
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/{num-1.4.ebuild => num-1.4-r1.ebuild} | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.4.ebuild b/dev-ml/num/num-1.4-r1.ebuild
similarity index 73%
rename from dev-ml/num/num-1.4.ebuild
rename to dev-ml/num/num-1.4-r1.ebuild
index babd9330a77..1221bd84c22 100644
--- a/dev-ml/num/num-1.4.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -3,7 +3,7 @@
EAPI=7
-inherit dune
+inherit dune findlib
DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic"
HOMEPAGE="https://github.com/ocaml/num"
@@ -13,3 +13,12 @@ LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="+ocamlopt"
+
+src_compile() {
+ emake CFLAGS="${CFLAGS}"
+}
+
+src_install() {
+ findlib_src_preinst
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
+}
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-03-04 14:28 Agostino Sarubbo
0 siblings, 0 replies; 35+ messages in thread
From: Agostino Sarubbo @ 2021-03-04 14:28 UTC (permalink / raw
To: gentoo-commits
commit: d456be0422a87f64576bdcac58f65f054f549d9d
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 4 14:27:40 2021 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Thu Mar 4 14:27:40 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d456be04
dev-ml/num: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/num/num-1.3-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3-r1.ebuild b/dev-ml/num/num-1.3-r1.ebuild
index 8559e7e79db..60d2f667932 100644
--- a/dev-ml/num/num-1.3-r1.ebuild
+++ b/dev-ml/num/num-1.3-r1.ebuild
@@ -11,7 +11,7 @@ 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 ~arm ~arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-02-25 17:54 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-02-25 17:54 UTC (permalink / raw
To: gentoo-commits
commit: fbb1048cb18a94cc2903d84d9d48caf715e68c03
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 17:53:58 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 17:53:58 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fbb1048c
dev-ml/num: Stabilize 1.3-r1 x86, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.3-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3-r1.ebuild b/dev-ml/num/num-1.3-r1.ebuild
index 758f0bdf29e..8559e7e79db 100644
--- a/dev-ml/num/num-1.3-r1.ebuild
+++ b/dev-ml/num/num-1.3-r1.ebuild
@@ -11,7 +11,7 @@ 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 ~arm ~arm64 ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-02-25 13:09 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-02-25 13:09 UTC (permalink / raw
To: gentoo-commits
commit: 4501330ec756da526b4bfaa1022e5b98b92952c8
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 13:08:53 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 13:08:53 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4501330e
dev-ml/num: Stabilize 1.3-r1 ppc, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/num-1.3-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3-r1.ebuild b/dev-ml/num/num-1.3-r1.ebuild
index ceaa548dcde..758f0bdf29e 100644
--- a/dev-ml/num/num-1.3-r1.ebuild
+++ b/dev-ml/num/num-1.3-r1.ebuild
@@ -11,7 +11,7 @@ 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 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-02-08 8:00 Sam James
0 siblings, 0 replies; 35+ messages in thread
From: Sam James @ 2021-02-08 8:00 UTC (permalink / raw
To: gentoo-commits
commit: 61921c92598248ef523d248d33a28a7f50a1c274
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 8 08:00:01 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Feb 8 08:00:13 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61921c92
dev-ml/num: bump to 1.4
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/num/Manifest | 1 +
dev-ml/num/num-1.4.ebuild | 15 +++++++++++++++
2 files changed, 16 insertions(+)
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest
index 944b4079b5a..c545fca9b10 100644
--- a/dev-ml/num/Manifest
+++ b/dev-ml/num/Manifest
@@ -1 +1,2 @@
DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031
+DIST num-1.4.tar.gz 66327 BLAKE2B 59eae642e19f452dd911ef6c32b89978f2034a5fcaece4a358f3da447c8d6cb2b2581c39d032eb117edaf7ecf942583281eb6e31716b06960e768c2a985e099e SHA512 0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f
diff --git a/dev-ml/num/num-1.4.ebuild b/dev-ml/num/num-1.4.ebuild
new file mode 100644
index 00000000000..babd9330a77
--- /dev/null
+++ b/dev-ml/num/num-1.4.ebuild
@@ -0,0 +1,15 @@
+# Copyright 2020-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+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 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+IUSE="+ocamlopt"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2021-01-06 19:35 Fabian Groffen
0 siblings, 0 replies; 35+ messages in thread
From: Fabian Groffen @ 2021-01-06 19:35 UTC (permalink / raw
To: gentoo-commits
commit: 28315076507e17d1c9d106540014eed399073e79
Author: Fabian Groffen <grobian <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 6 19:35:15 2021 +0000
Commit: Fabian Groffen <grobian <AT> gentoo <DOT> org>
CommitDate: Wed Jan 6 19:35:15 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28315076
dev-ml/num: drop x86-macos
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Fabian Groffen <grobian <AT> gentoo.org>
dev-ml/num/num-1.3-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/num/num-1.3-r1.ebuild b/dev-ml/num/num-1.3-r1.ebuild
index ca07753a4fd..ceaa548dcde 100644
--- a/dev-ml/num/num-1.3-r1.ebuild
+++ b/dev-ml/num/num-1.3-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2020 Gentoo Authors
+# Copyright 2020-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -11,7 +11,7 @@ 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 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos ~x86-solaris"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2020-05-18 13:02 Agostino Sarubbo
0 siblings, 0 replies; 35+ messages in thread
From: Agostino Sarubbo @ 2020-05-18 13:02 UTC (permalink / raw
To: gentoo-commits
commit: 78f9a314e7b1b9f42bf783900cca04b70bd666e3
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Mon May 18 13:02:04 2020 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Mon May 18 13:02:04 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=78f9a314
dev-ml/num: x86 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/num/num-1.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
index d98f3f5a1e1..aaa82b73caa 100644
--- a/dev-ml/num/num-1.3.ebuild
+++ b/dev-ml/num/num-1.3.ebuild
@@ -11,7 +11,7 @@ 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"
+KEYWORDS="amd64 x86"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2020-05-18 12:55 Agostino Sarubbo
0 siblings, 0 replies; 35+ messages in thread
From: Agostino Sarubbo @ 2020-05-18 12:55 UTC (permalink / raw
To: gentoo-commits
commit: f976bf2cf9160f2d50a276521817e77c0697d7bd
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Mon May 18 12:54:39 2020 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Mon May 18 12:54:39 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f976bf2c
dev-ml/num: amd64 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/num/num-1.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
index 0f68ec7d75b..d98f3f5a1e1 100644
--- a/dev-ml/num/num-1.3.ebuild
+++ b/dev-ml/num/num-1.3.ebuild
@@ -11,7 +11,7 @@ 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"
+KEYWORDS="amd64 ~x86"
IUSE=""
DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt]
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2020-04-07 18:41 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2020-04-07 18:41 UTC (permalink / raw
To: gentoo-commits
commit: a5590b6514a5b93c85532b54a4cb81e03a8a5174
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 7 18:41:04 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Apr 7 18:41:04 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5590b65
dev-ml/num: use ocamlopt
Closes: https://bugs.gentoo.org/710892
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/metadata.xml | 5 ++++-
dev-ml/num/num-1.3.ebuild | 4 ++--
2 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml
index bca0744b282..d0e866f244f 100644
--- a/dev-ml/num/metadata.xml
+++ b/dev-ml/num/metadata.xml
@@ -1,5 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
</pkgmetadata>
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
index e8cffd40ddb..0f68ec7d75b 100644
--- a/dev-ml/num/num-1.3.ebuild
+++ b/dev-ml/num/num-1.3.ebuild
@@ -14,8 +14,8 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE=""
-DEPEND=">=dev-lang/ocaml-4.09.0
- >=dev-ml/findlib-1.8.1"
+DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt]
+ >=dev-ml/findlib-1.8.1[ocamlopt]"
RDEPEND="${DEPEND}"
BDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2020-01-13 20:43 Alfredo Tupone
0 siblings, 0 replies; 35+ messages in thread
From: Alfredo Tupone @ 2020-01-13 20:43 UTC (permalink / raw
To: gentoo-commits
commit: c91d12fc62834d8741294095a719ae187290a1b2
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 13 20:43:20 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Jan 13 20:43:20 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c91d12fc
dev-ml/num: fix dependency
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/num/num-1.3.ebuild | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild
index 930c8cb5166..e8cffd40ddb 100644
--- a/dev-ml/num/num-1.3.ebuild
+++ b/dev-ml/num/num-1.3.ebuild
@@ -14,7 +14,8 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE=""
-DEPEND="dev-lang/ocaml"
+DEPEND=">=dev-lang/ocaml-4.09.0
+ >=dev-ml/findlib-1.8.1"
RDEPEND="${DEPEND}"
BDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 35+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/
@ 2020-01-07 21:01 Jason A. Donenfeld
0 siblings, 0 replies; 35+ messages in thread
From: Jason A. Donenfeld @ 2020-01-07 21:01 UTC (permalink / raw
To: gentoo-commits
commit: 0849f2d4192c441bdd07a752b02c780b5a8b3022
Author: Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 7 20:54:51 2020 +0000
Commit: Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org>
CommitDate: Tue Jan 7 21:00:55 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0849f2d4
dev-ml/num: add for newer ocaml + coq
Fixes: https://bugs.gentoo.org/704928
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Jason A. Donenfeld <zx2c4 <AT> gentoo.org>
dev-ml/num/Manifest | 1 +
dev-ml/num/metadata.xml | 5 +++++
dev-ml/num/num-1.3.ebuild | 24 ++++++++++++++++++++++++
3 files changed, 30 insertions(+)
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest
new file mode 100644
index 00000000000..944b4079b5a
--- /dev/null
+++ b/dev-ml/num/Manifest
@@ -0,0 +1 @@
+DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml
new file mode 100644
index 00000000000..bca0744b282
--- /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 00000000000..930c8cb5166
--- /dev/null
+++ b/dev-ml/num/num-1.3.ebuild
@@ -0,0 +1,24 @@
+# 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"
+RDEPEND="${DEPEND}"
+BDEPEND="${DEPEND}"
+
+src_install() {
+ findlib_src_preinst
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
+}
^ permalink raw reply related [flat|nested] 35+ messages in thread
end of thread, other threads:[~2024-10-15 15:25 UTC | newest]
Thread overview: 35+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-01-14 6:34 [gentoo-commits] repo/gentoo:master commit in: dev-ml/num/ Alfredo Tupone
-- strict thread matches above, loose matches on Subject: below --
2024-10-15 15:25 Arthur Zamarin
2024-10-15 15:25 Arthur Zamarin
2024-07-30 5:07 Alfredo Tupone
2024-06-28 21:05 Alfredo Tupone
2024-06-28 21:04 Alfredo Tupone
2024-05-31 6:04 Alfredo Tupone
2022-12-04 21:20 Alfredo Tupone
2022-01-07 20:22 Alfredo Tupone
2021-11-07 1:25 Sam James
2021-10-07 1:45 Sam James
2021-06-13 20:25 Sam James
2021-06-13 18:31 Alfredo Tupone
2021-06-13 8:13 Alfredo Tupone
2021-04-19 0:23 Sam James
2021-04-18 6:48 Sam James
2021-04-18 6:47 Sam James
2021-04-18 6:45 Sam James
2021-04-18 6:44 Sam James
2021-04-18 6:44 Sam James
2021-03-13 15:26 Sam James
2021-03-13 14:05 Sam James
2021-03-09 22:08 Sam James
2021-03-09 22:08 Sam James
2021-03-09 20:43 Sam James
2021-03-04 14:28 Agostino Sarubbo
2021-02-25 17:54 Sam James
2021-02-25 13:09 Sam James
2021-02-08 8:00 Sam James
2021-01-06 19:35 Fabian Groffen
2020-05-18 13:02 Agostino Sarubbo
2020-05-18 12:55 Agostino Sarubbo
2020-04-07 18:41 Alfredo Tupone
2020-01-13 20:43 Alfredo Tupone
2020-01-07 21:01 Jason A. Donenfeld
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox