Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 831496 - dev-ml/num-1.4-r3 - /.../install: cannot stat nums.cmxa: No such file or directory
Summary: dev-ml/num-1.4-r3 - /.../install: cannot stat nums.cmxa: No such file or dire...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-01-19 16:15 UTC by Toralf Förster
Modified: 2022-01-19 20:22 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,17.15 KB, text/plain)
2022-01-19 16:15 UTC, Toralf Förster
Details
dev-ml:num-1.4-r3:20220119-155516.log (dev-ml:num-1.4-r3:20220119-155516.log,6.33 KB, text/plain)
2022-01-19 16:15 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,199.12 KB, text/plain)
2022-01-19 16:15 UTC, Toralf Förster
Details
environment (environment,23.67 KB, text/plain)
2022-01-19 16:15 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,16.13 KB, application/x-bzip)
2022-01-19 16:15 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,9.00 KB, application/x-bzip)
2022-01-19 16:15 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-01-19 16:15:39 UTC
ocamlfind install num META
Installed /var/tmp/portage/dev-ml/num-1.4-r3/image/usr/lib64/ocaml/num/META
rm -f META
install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx /var/tmp/portage/dev-ml/num-1.4-r3/image/usr/lib64/ocaml
/usr/bin/install: cannot stat 'nums.cmxa': No such file or directory
/usr/bin/install: cannot stat 'nums.a': No such file or directory
/usr/bin/install: cannot stat 'int_misc.cmx': No such file or directory

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop-j4-20220118-000004

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.1 *
clang/llvm (if any):
/usr/lib/llvm/13
13.0.0
Python 3.9.10
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby27 (with Rubygems)
  [3]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.58.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 11.0.13_p8 [openjdk-bin-11]
2)	AdoptOpenJDK 8.312_p07 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:

  HEAD of ::gentoo
commit e35ae399e3b2ec07b1ca3014da705c20a974731f
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed Jan 19 14:52:01 2022 +0000

    2022-01-19 14:52:00 UTC

emerge -qpvO dev-ml/num
[ebuild  N    ] dev-ml/num-1.4-r3  USE="-ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2022-01-19 16:15:40 UTC
Created attachment 762683 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-01-19 16:15:40 UTC
Created attachment 762684 [details]
dev-ml:num-1.4-r3:20220119-155516.log
Comment 3 Toralf Förster gentoo-dev 2022-01-19 16:15:42 UTC
Created attachment 762685 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-01-19 16:15:43 UTC
Created attachment 762686 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-01-19 16:15:44 UTC
Created attachment 762687 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-01-19 16:15:45 UTC
Created attachment 762688 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2022-01-19 20:22:56 UTC
The bug has been closed via the following commit(s):

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

commit e6f35556d8f0ec4503ce7864d500ec1f08827882
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-01-19 20:22:37 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-01-19 20:22:37 +0000

    dev-ml/num: fix install with -ocamlopt
    
    Closes: https://bugs.gentoo.org/831496
    Package-Manager: Portage-3.0.28, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/num/files/num-1.4-ocamlopt.patch | 12 ++++++++++++
 1 file changed, 12 insertions(+)