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
Created attachment 630906 [details] coq-8.9.1-r2:20200406-213131.log buildlog
Created attachment 630908 [details] info emerge --info
8.9 is no longer in the tree.
