[gentoo-commits] repo/gentoo:master commit in: dev-ml/num/, dev-ml/num/files/

[Maciej Barć]

commit:     862387fc00c5aab00ba92916801bb35ea19d4714
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Aug 27 14:58:47 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Aug 27 15:35:37 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=862387fc

dev-ml/num: patch META file to fix build of easycrypt

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-ml/num/files/num-1.6-META-directory.patch    | 10 ++++++++++
 dev-ml/num/{num-1.6.ebuild => num-1.6-r1.ebuild} |  5 ++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/dev-ml/num/files/num-1.6-META-directory.patch 
b/dev-ml/num/files/num-1.6-META-directory.patch
new file mode 100644
index 000000000000..b7f32bcd7b15
--- /dev/null
+++ b/dev-ml/num/files/num-1.6-META-directory.patch
@@ -0,0 +1,10 @@
+--- a/src/Makefile
++++ b/src/Makefile
+@@ -48,6 +48,7 @@ META.num:
+       @echo 'version = "$(VERSION)"' >> $@
+       @echo 'description = "Arbitrary-precision rational arithmetic"' >> $@
+       @echo 'package "core" (' >> $@
++      @echo '  directory = ".."' >> $@
+       @echo '  version = "$(VERSION)"' >> $@
+       @echo '  browse_interfaces = ""' >> $@
+       @echo '  archive(byte) = "nums.cma"' >> $@

diff --git a/dev-ml/num/num-1.6.ebuild b/dev-ml/num/num-1.6-r1.ebuild
similarity index 93%
rename from dev-ml/num/num-1.6.ebuild
rename to dev-ml/num/num-1.6-r1.ebuild
index d097fa62875a..62e6da64f914 100644
--- a/dev-ml/num/num-1.6.ebuild
+++ b/dev-ml/num/num-1.6-r1.ebuild
@@ -15,7 +15,10 @@ SLOT="0"
 KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux 
~ppc-macos"
 IUSE="+ocamlopt"
 
-PATCHES=( "${FILESDIR}"/${P}-META.patch )
+PATCHES=(
+       "${FILESDIR}/num-1.6-META-directory.patch"
+       "${FILESDIR}/num-1.6-META.patch"
+)
 
 src_compile() {
        emake CFLAGS="${CFLAGS}" \