Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 839102 - sci-mathematics/coq-serapi-0.15.0-r1 - :(.text+<snip>): undefined reference to camlCmdliner_entry
Summary: sci-mathematics/coq-serapi-0.15.0-r1 - :(.text+<snip>): undefined reference t...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
: 846914 (view as bug list)
Depends on:
Blocks:
 
Reported: 2022-04-18 08:09 UTC by Toralf Förster
Modified: 2022-05-22 09:17 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,19.48 KB, text/plain)
2022-04-18 08:09 UTC, Toralf Förster
Details
emerge-history.txt.bz2 (emerge-history.txt.bz2,76.35 KB, application/x-bzip)
2022-04-18 08:09 UTC, Toralf Förster
Details
environment (environment,33.88 KB, text/plain)
2022-04-18 08:09 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,33.74 KB, application/x-bzip)
2022-04-18 08:09 UTC, Toralf Förster
Details
sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log (sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log,28.02 KB, text/plain)
2022-04-18 08:09 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,13.53 KB, application/x-bzip)
2022-04-18 08:09 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-04-18 08:09:03 UTC
too long lines were shrinked:

Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque
    ocamlopt sertop/sercomp.exe (exit 2)
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -o sertop/sercomp.exe -linkall /usr/lib64/ocaml/findlib/findlib.cmxa /usr/lib64/ocaml/dynlink.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/findlib/findlib_dynload.cmxa sertop/.sertop_bin.eobjs/native/findlib_initl.cmx /usr/lib64/ocaml/cmdl
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/build5f0dea.dune/camlstartup178237.o: in function `caml_program':
:(.text+0x915): undefined reference to `camlCmdliner__entry'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/build5f0dea.dune/camlstartup178237.o: in function `caml_globals':
:(.data+0x6e0): undefined reference to `camlCmdliner__gc_roots'

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

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

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.3.1
 [2] x86_64-pc-linux-gnu-11.2.1 *
clang/llvm (if any):
clang version 14.0.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/14/bin
/usr/lib/llvm/14
14.0.1
Python 3.9.12
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby27 (with Rubygems)
  [3]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.60.0
  [2]   rust-1.60.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11]
*)	Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-11 

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

  HEAD of ::gentoo
commit 1e4b758f06bef4a0c40c4b5e86fc9e46b3b3ed80
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Mon Apr 18 00:24:09 2022 +0000

    2022-04-18 00:24:06 UTC

emerge -qpvO sci-mathematics/coq-serapi
[ebuild   R   ] sci-mathematics/coq-serapi-0.15.0-r1  USE="ocamlopt -emacs -test"
Comment 1 Toralf Förster gentoo-dev 2022-04-18 08:09:04 UTC
Created attachment 771500 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-04-18 08:09:06 UTC
Created attachment 771503 [details]
emerge-history.txt.bz2
Comment 3 Toralf Förster gentoo-dev 2022-04-18 08:09:07 UTC
Created attachment 771506 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-04-18 08:09:09 UTC
Created attachment 771509 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-04-18 08:09:10 UTC
Created attachment 771512 [details]
sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log
Comment 6 Toralf Förster gentoo-dev 2022-04-18 08:09:11 UTC
Created attachment 771515 [details]
temp.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-05-22 09:17:19 UTC
*** Bug 846914 has been marked as a duplicate of this bug. ***