Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 716502 - sci-mathematics/coq-8.9.1-r2 Error: Error during linking
Summary: sci-mathematics/coq-8.9.1-r2 Error: Error during linking
Status: UNCONFIRMED
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:
Depends on:
Blocks:
 
Reported: 2020-04-06 21:54 UTC by Alessandro Barbieri
Modified: 2020-04-06 22:08 UTC (History)
1 user (show)

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


Attachments
coq-8.9.1-r2:20200406-213131.log (coq-8.9.1-r2:20200406-213131.log,557.18 KB, text/plain)
2020-04-06 21:55 UTC, Alessandro Barbieri
Details
info (info,14.25 KB, text/plain)
2020-04-06 21:55 UTC, Alessandro Barbieri
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Alessandro Barbieri 2020-04-06 21:54:28 UTC
cd kernel/byterun/ && "/usr/bin/ocamlfind" ocamlc -thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string -strict-sequence  -ccopt "-Wall -Wno-unused -g -O2" -c coq_fix_code.c
cd kernel/byterun/ && "/usr/bin/ocamlfind" ocamlc -thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string -strict-sequence  -ccopt "-Wall -Wno-unused -g -O2" -c coq_memory.c
cd kernel/byterun/ && "/usr/bin/ocamlfind" ocamlc -thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string -strict-sequence  -ccopt "-Wall -Wno-unused -g -O2" -c coq_values.c
cd kernel/byterun/ && "/usr/bin/ocamlfind" ocamlc -thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string -strict-sequence  -ccopt "-Wall -Wno-unused -g -O2" -c coq_interp.c
cd kernel/byterun/ && \
"/usr/bin/ocamlfind" ocamlmklib -oc coqrun coq_fix_code.o coq_memory.o coq_values.o coq_interp.o
"/usr/bin/ocamlfind" opt -thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string -strict-sequence  -linkall -linkpkg -I coqpp -I config -I clib -I lib -I kernel -I kernel/byterun -I library -I engine -I pretyping -I interp -I proofs -I parsing -I printing -I tactics -I vernac -I stm -I toplevel -I tools -I tools/coqdoc -I plugins/omega -I plugins/romega -I plugins/micromega -I plugins/quote -I plugins/setoid_ring -I plugins/extraction -I plugins/cc -I plugins/funind -I plugins/firstorder -I plugins/derive -I plugins/rtauto -I plugins/nsatz -I plugins/syntax -I plugins/btauto -I plugins/ssrmatching -I plugins/ltac -I plugins/ssr -I "+camlp5" \
                   -package num,str,unix,dynlink,threads -package camlp5.gramlib \
                   clib/clib.cmxa lib/lib.cmxa kernel/kernel.cmxa library/library.cmxa engine/engine.cmxa pretyping/pretyping.cmxa interp/interp.cmxa proofs/proofs.cmxa parsing/parsing.cmxa printing/printing.cmxa tactics/tactics.cmxa vernac/vernac.cmxa stm/stm.cmxa toplevel/toplevel.cmxa  -g     topbin/coqtop_bin.ml -o bin/coqtop.opt
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb168): error: undefined reference to 'camlInt_misc__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb170): error: undefined reference to 'camlNat__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb178): error: undefined reference to 'camlBig_int__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb180): error: undefined reference to 'camlArith_flags__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb188): error: undefined reference to 'camlRatio__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb190): error: undefined reference to 'camlNum__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb198): error: undefined reference to 'camlArith_status__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb330): error: undefined reference to 'camlVersdep__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb338): error: undefined reference to 'camlPloc__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb340): error: undefined reference to 'camlPlexing__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb348): error: undefined reference to 'camlPlexer__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb350): error: undefined reference to 'camlFstream__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb358): error: undefined reference to 'camlGramext__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb360): error: undefined reference to 'camlGrammar__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb368): error: undefined reference to 'camlDiff__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb370): error: undefined reference to 'camlExtfold__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb378): error: undefined reference to 'camlExtfun__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb380): error: undefined reference to 'camlPretty__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb388): error: undefined reference to 'camlPprintf__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb390): error: undefined reference to 'camlEprinter__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb398): error: undefined reference to 'camlStdpp__spacetime_shapes'
/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/temp/camlstartup8c4d4e.o(.data+0xb3a0): error: undefined reference to 'camlToken__spacetime_shapes'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking
make[1]: *** [Makefile.build:425: bin/coqtop.opt] Error 2
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/coq-8.9.1-r2/work/coq-8.9.1'
make: *** [Makefile:166: submake] Error 2
 * ERROR: sci-mathematics/coq-8.9.1-r2::gentoo failed (compile phase):
 *   emake failed
Comment 1 Alessandro Barbieri 2020-04-06 21:55:25 UTC
Created attachment 630906 [details]
coq-8.9.1-r2:20200406-213131.log

buildlog
Comment 2 Alessandro Barbieri 2020-04-06 21:55:50 UTC
Created attachment 630908 [details]
info

emerge --info