Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 881129 - dev-ml/zarith-1.12 - Error: Unbound module Zarith_version
Summary: dev-ml/zarith-1.12 - Error: Unbound module Zarith_version
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-11-12 18:07 UTC by Toralf Förster
Modified: 2023-01-25 22:00 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,17.85 KB, text/plain)
2022-11-12 18:07 UTC, Toralf Förster
Details
dev-ml:zarith-1.12:20221112-123424.log (dev-ml:zarith-1.12:20221112-123424.log,3.84 KB, text/plain)
2022-11-12 18:07 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,100.83 KB, text/plain)
2022-11-12 18:07 UTC, Toralf Förster
Details
environment (environment,64.20 KB, text/plain)
2022-11-12 18:07 UTC, Toralf Förster
Details
etc.clang.tar.bz2 (etc.clang.tar.bz2,702 bytes, application/x-bzip)
2022-11-12 18:07 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,12.99 KB, application/x-bzip)
2022-11-12 18:07 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,20.08 KB, application/x-bzip)
2022-11-12 18:07 UTC, Toralf Förster
Details
var.tmp.clang.tar.bz2 (var.tmp.clang.tar.bz2,223 bytes, application/x-bzip)
2022-11-12 18:07 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-11-12 18:07:26 UTC
ocamlc -I +compiler-libs -bin-annot  -c z.ml
File "z.ml", line 410, characters 14-36:
410 | let version = Zarith_version.version
                    ^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Zarith_version
make: *** [project.mak:129: z.cmo] Error 2 shuffle=3073087072
 * ERROR: dev-ml/zarith-1.12::gentoo failed (compile phase):

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_hardened-j4-20221111-181859

  -------------------------------------------------------------------

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
CC=clang
CXX=clang++
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.4
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.4
Python 3.10.8
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-bin-1.65.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
2)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):

  HEAD of ::gentoo
commit bcff7a22b80651bf72ae52bec151bc5df7adebe0
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Nov 12 11:16:50 2022 +0000

    2022-11-12 11:16:50 UTC

emerge -qpvO dev-ml/zarith
[ebuild  N    ] dev-ml/zarith-1.12  USE="ocamlopt -doc -mpir"
Comment 1 Toralf Förster gentoo-dev 2022-11-12 18:07:27 UTC
Created attachment 832033 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-11-12 18:07:28 UTC
Created attachment 832035 [details]
dev-ml:zarith-1.12:20221112-123424.log
Comment 3 Toralf Förster gentoo-dev 2022-11-12 18:07:30 UTC
Created attachment 832037 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-11-12 18:07:31 UTC
Created attachment 832039 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-11-12 18:07:32 UTC
Created attachment 832041 [details]
etc.clang.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-11-12 18:07:33 UTC
Created attachment 832043 [details]
etc.portage.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-11-12 18:07:34 UTC
Created attachment 832045 [details]
temp.tar.bz2
Comment 8 Toralf Förster gentoo-dev 2022-11-12 18:07:35 UTC
Created attachment 832047 [details]
var.tmp.clang.tar.bz2
Comment 9 Larry the Git Cow gentoo-dev 2023-01-25 22:00:05 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=89d0f9d2d7c603f9e8dc44530539d970b332a62e

commit 89d0f9d2d7c603f9e8dc44530539d970b332a62e
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2023-01-25 21:59:27 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2023-01-25 21:59:50 +0000

    dev-ml/zarith: fix make
    
    Closes: https://bugs.gentoo.org/881129
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 +++++++++++
 dev-ml/zarith/zarith-1.12.ebuild              |  4 +++-
 2 files changed, 14 insertions(+), 1 deletion(-)