Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 795780 - dev-ml/num-1.4-r1 - make[1]: ocamlopt: No such file or directory
Summary: dev-ml/num-1.4-r1 - make[1]: ocamlopt: No such file or directory
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: 2021-06-13 17:58 UTC by Toralf Förster
Modified: 2021-06-13 20:25 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,16.18 KB, text/plain)
2021-06-13 17:58 UTC, Toralf Förster
Details
dev-ml:num-1.4-r1:20210613-175118.log (dev-ml:num-1.4-r1:20210613-175118.log,3.74 KB, text/plain)
2021-06-13 17:58 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,96.23 KB, text/plain)
2021-06-13 17:58 UTC, Toralf Förster
Details
environment (environment,20.41 KB, text/plain)
2021-06-13 17:58 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,14.79 KB, application/x-bzip)
2021-06-13 17:58 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,7.52 KB, application/x-bzip)
2021-06-13 17:58 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 2021-06-13 17:58:47 UTC
ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
make[1]: ocamlopt: No such file or directory
make[1]: *** [Makefile:66: int_misc.cmx] Error 127
make[1]: Leaving directory '/var/tmp/portage/dev-ml/num-1.4-r1/work/num-1.4/src'
make: *** [Makefile:2: all] Error 2
 * ERROR: dev-ml/num-1.4-r1::gentoo failed (compile phase):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_gnome_systemd-j3-20210612-125153

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.1.0 *
clang version 12.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/12/bin
/usr/lib/llvm/12
12.0.0
Python 3.9.5
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.52.1 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.292_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4
  HEAD of ::gentoo
commit d04c6ea950b4fd35cf1eb062b2919f1e1618b9b5
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Jun 13 17:20:20 2021 +0000

    2021-06-13 17:20:19 UTC

emerge -qpvO dev-ml/num
[ebuild  N    ] dev-ml/num-1.4-r1  USE="-ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2021-06-13 17:58:48 UTC
Created attachment 715746 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-06-13 17:58:49 UTC
Created attachment 715749 [details]
dev-ml:num-1.4-r1:20210613-175118.log
Comment 3 Toralf Förster gentoo-dev 2021-06-13 17:58:51 UTC
Created attachment 715752 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-06-13 17:58:52 UTC
Created attachment 715755 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-06-13 17:58:53 UTC
Created attachment 715758 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-06-13 17:58:54 UTC
Created attachment 715761 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2021-06-13 18:31:04 UTC
The bug has been closed via the following commit(s):

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

commit 990ec56f7bb07b6468537251ac84058c0c5daa14
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-06-13 18:30:46 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-06-13 18:30:46 +0000

    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@gentoo.org>

 dev-ml/num/num-1.4-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
Comment 8 Larry the Git Cow gentoo-dev 2021-06-13 20:25:31 UTC
The bug has been closed via the following commit(s):

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

commit 03cf4b94164490db6d8468d9331b3664f3f75c04
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-06-13 18:14:31 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-06-13 20:24:03 +0000

    dev-ml/num: try to disable ocamlopt
    
    Closes: https://bugs.gentoo.org/795780
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/num/num-1.4-r1.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)