sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log

sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log (text/plain), 28.02 KB, created by Toralf Förster on 2022-04-18 08:09:10 UTC

 * Package:    sci-mathematics/coq-serapi-0.15.0-r1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/ejgallego/coq-serapi/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking coq-serapi-0.15.0.tar.gz to /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work/coq-serapi-8.15.0-0.15.0 ...
 * Applying coq-serapi-sertop.el-path.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work/coq-serapi-8.15.0-0.15.0 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work/coq-serapi-8.15.0-0.15.0 ...
 * Building ...
File "serapi/serapi_protocol.ml", line 604, characters 51-67:
604 |   | Vernac q       -> let pa = Pcoq.Parsable.make (Stream.of_string q) in
                                                         ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 708, characters 33-49:
708 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
                                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 715, characters 33-49:
715 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
                                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 940, characters 19-35:
940 |         let istr = Stream.of_string input in
                         ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 604, characters 51-67:
604 |   | Vernac q       -> let pa = Pcoq.Parsable.make (Stream.of_string q) in
                                                         ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 708, characters 33-49:
708 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
                                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 715, characters 33-49:
715 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
                                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "serapi/serapi_protocol.ml", line 940, characters 19-35:
940 |         let istr = Stream.of_string input in
                         ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "_none_", line 1:   
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_base, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_arg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque
File "sertop/sercomp.ml", line 83, characters 21-38:
83 |        let in_strm = Stream.of_channel in_chan in
                          ^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sercomp.ml", line 234, characters 4-13:
234 |     Term.info "sercomp" ~version:sercomp_version ~doc:sercomp_doc ~man:sercomp_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sercomp.ml", line 237, characters 12-21:
237 |   try match Term.eval ~catch:false sercomp_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "sertop/sertop_bin.ml", line 84, characters 2-11:
84 |   Term.info "sertop" ~version:sertop_version ~doc ~man
       ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sertop_bin.ml", line 87, characters 8-17:
87 |   match Term.eval sertop_cmd with
             ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "sertop/sertok.ml", line 100, characters 16-33:
100 |   let in_strm = Stream.of_channel in_chan in
                      ^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sertok.ml", line 119, characters 17-33:
119 |       let sstr = Stream.of_string istr in
                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sertok.ml", line 214, characters 4-13:
214 |     Term.info "sertok" ~version:sertok_version ~doc:sertok_doc ~man:sertok_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sertok.ml", line 217, characters 12-21:
217 |   try match Term.eval ~catch:false sertok_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "sertop/sername.ml", line 97, characters 19-35:
97 |      let in_strm = Stream.of_string sent in
                        ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sername.ml", line 221, characters 4-13:
221 |     Term.info "sername" ~version:sername_version ~doc:sername_doc ~man:sername_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sername.ml", line 224, characters 12-21:
224 |   try match Term.eval ~catch:false sername_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "sertop/sertop_bin.ml", line 84, characters 2-11:
84 |   Term.info "sertop" ~version:sertop_version ~doc ~man
       ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sertop_bin.ml", line 87, characters 8-17:
87 |   match Term.eval sertop_cmd with
             ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term_deprecated, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque
File "sertop/sercomp.ml", line 83, characters 21-38:
83 |        let in_strm = Stream.of_channel in_chan in
                          ^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sercomp.ml", line 234, characters 4-13:
234 |     Term.info "sercomp" ~version:sercomp_version ~doc:sercomp_doc ~man:sercomp_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sercomp.ml", line 237, characters 12-21:
237 |   try match Term.eval ~catch:false sercomp_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_base, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_arg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term_deprecated, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque
File "sertop/sertok.ml", line 100, characters 16-33:
100 |   let in_strm = Stream.of_channel in_chan in
                      ^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sertok.ml", line 119, characters 17-33:
119 |       let sstr = Stream.of_string istr in
                       ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sertok.ml", line 214, characters 4-13:
214 |     Term.info "sertok" ~version:sertok_version ~doc:sertok_doc ~man:sertok_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sertok.ml", line 217, characters 12-21:
217 |   try match Term.eval ~catch:false sertok_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_base, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_arg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term_deprecated, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term, and its interface was not compiled with -opaque
File "sertop/sername.ml", line 97, characters 19-35:
97 |      let in_strm = Stream.of_string sent in
                        ^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "sertop/sername.ml", line 221, characters 4-13:
221 |     Term.info "sername" ~version:sername_version ~doc:sername_doc ~man:sername_man
          ^^^^^^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
File "sertop/sername.ml", line 224, characters 12-21:
224 |   try match Term.eval ~catch:false sername_cmd with
                  ^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_info, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_base, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_arg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Cmdliner_term_deprecated, and its interface was not compiled with -opaque
File "_none_", line 1:
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/cmdliner/cmdliner.cmxa /usr/lib64/ocaml/coq-core/config/config.cmxa /usr/lib64/ocaml/coq-core/boot/boot.cmxa /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/threads/threads.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/coq-core/clib/clib.cmxa /usr/lib64/ocaml/coq-core/lib/lib.cmxa /usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxa /usr/lib64/ocaml/zarith/zarith.cmxa -I /usr/lib64/ocaml/zarith /usr/lib64/ocaml/coq-core/vm/coqrun.cmxa -I /usr/lib64/ocaml/coq-core/vm /usr/lib64/ocaml/coq-core/kernel/kernel.cmxa /usr/lib64/ocaml/coq-core/library/library.cmxa /usr/lib64/ocaml/coq-core/engine/engine.cmxa /usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxa /usr/lib64/ocaml/coq-core/interp/interp.cmxa /usr/lib64/ocaml/coq-core/parsing/parsing.cmxa /usr/lib64/ocaml/coq-core/proofs/proofs.cmxa /usr/lib64/ocaml/coq-core/printing/printing.cmxa /usr/lib64/ocaml/coq-core/tactics/tactics.cmxa /usr/lib64/ocaml/coq-core/vernac/vernac.cmxa /usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxa /usr/lib64/ocaml/coq-core/stm/stm.cmxa /usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxa /usr/lib64/ocaml/bigarray.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/sexplib0/sexplib0.cmxa /usr/lib64/ocaml/base/caml/caml.cmxa /usr/lib64/ocaml/parsexp/parsexp.cmxa /usr/lib64/ocaml/sexplib/sexplib.cmxa serapi/serapi.cmxa /usr/lib64/ocaml/ppx_sexp_conv/runtime-lib/ppx_sexp_conv_lib.cmxa /usr/lib64/ocaml/result/result.cmxa /usr/lib64/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxa /usr/lib64/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxa /usr/lib64/ocaml/easy-format/easy_format.cmx /usr/lib64/ocaml/biniou/biniou.cmxa /usr/lib64/ocaml/yojson/yojson.cmxa serlib/serlib.cmxa serlib/plugins/ltac/serlib_ltac.cmxa sertop/sertop.cmxa sertop/.sertop_bin.eobjs/native/dune__exe.cmx sertop/.sertop_bin.eobjs/native/dune__exe__Sercomp.cmx -linkall)
/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'
/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_data_segments':
:(.data+0xb7c8): undefined reference to `camlCmdliner__data_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xb7d0): undefined reference to `camlCmdliner__data_end'
/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_code_segments':
:(.data+0xe420): undefined reference to `camlCmdliner__code_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xe428): undefined reference to `camlCmdliner__code_end'
/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_frametable':
:(.data+0x10bf0): undefined reference to `camlCmdliner__frametable'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking (exit code 1)
    ocamlopt sertop/sername.exe (exit 2)
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -o sertop/sername.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/cmdliner/cmdliner.cmxa /usr/lib64/ocaml/coq-core/config/config.cmxa /usr/lib64/ocaml/coq-core/boot/boot.cmxa /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/threads/threads.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/coq-core/clib/clib.cmxa /usr/lib64/ocaml/coq-core/lib/lib.cmxa /usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxa /usr/lib64/ocaml/zarith/zarith.cmxa -I /usr/lib64/ocaml/zarith /usr/lib64/ocaml/coq-core/vm/coqrun.cmxa -I /usr/lib64/ocaml/coq-core/vm /usr/lib64/ocaml/coq-core/kernel/kernel.cmxa /usr/lib64/ocaml/coq-core/library/library.cmxa /usr/lib64/ocaml/coq-core/engine/engine.cmxa /usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxa /usr/lib64/ocaml/coq-core/interp/interp.cmxa /usr/lib64/ocaml/coq-core/parsing/parsing.cmxa /usr/lib64/ocaml/coq-core/proofs/proofs.cmxa /usr/lib64/ocaml/coq-core/printing/printing.cmxa /usr/lib64/ocaml/coq-core/tactics/tactics.cmxa /usr/lib64/ocaml/coq-core/vernac/vernac.cmxa /usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxa /usr/lib64/ocaml/coq-core/stm/stm.cmxa /usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxa /usr/lib64/ocaml/bigarray.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/sexplib0/sexplib0.cmxa /usr/lib64/ocaml/base/caml/caml.cmxa /usr/lib64/ocaml/parsexp/parsexp.cmxa /usr/lib64/ocaml/sexplib/sexplib.cmxa serapi/serapi.cmxa /usr/lib64/ocaml/ppx_sexp_conv/runtime-lib/ppx_sexp_conv_lib.cmxa /usr/lib64/ocaml/result/result.cmxa /usr/lib64/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxa /usr/lib64/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxa /usr/lib64/ocaml/easy-format/easy_format.cmx /usr/lib64/ocaml/biniou/biniou.cmxa /usr/lib64/ocaml/yojson/yojson.cmxa serlib/serlib.cmxa serlib/plugins/ltac/serlib_ltac.cmxa sertop/sertop.cmxa sertop/.sertop_bin.eobjs/native/dune__exe.cmx sertop/.sertop_bin.eobjs/native/dune__exe__Sername.cmx -linkall)
/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/camlstartup215dad.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/camlstartup215dad.o: in function `caml_globals':
:(.data+0x6e0): undefined reference to `camlCmdliner__gc_roots'
/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/camlstartup215dad.o: in function `caml_data_segments':
:(.data+0xb7c8): undefined reference to `camlCmdliner__data_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xb7d0): undefined reference to `camlCmdliner__data_end'
/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/camlstartup215dad.o: in function `caml_code_segments':
:(.data+0xe420): undefined reference to `camlCmdliner__code_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xe428): undefined reference to `camlCmdliner__code_end'
/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/camlstartup215dad.o: in function `caml_frametable':
:(.data+0x10bf0): undefined reference to `camlCmdliner__frametable'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking (exit code 1)
    ocamlopt sertop/sertok.exe (exit 2)
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -o sertop/sertok.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/cmdliner/cmdliner.cmxa /usr/lib64/ocaml/coq-core/config/config.cmxa /usr/lib64/ocaml/coq-core/boot/boot.cmxa /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/threads/threads.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/coq-core/clib/clib.cmxa /usr/lib64/ocaml/coq-core/lib/lib.cmxa /usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxa /usr/lib64/ocaml/zarith/zarith.cmxa -I /usr/lib64/ocaml/zarith /usr/lib64/ocaml/coq-core/vm/coqrun.cmxa -I /usr/lib64/ocaml/coq-core/vm /usr/lib64/ocaml/coq-core/kernel/kernel.cmxa /usr/lib64/ocaml/coq-core/library/library.cmxa /usr/lib64/ocaml/coq-core/engine/engine.cmxa /usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxa /usr/lib64/ocaml/coq-core/interp/interp.cmxa /usr/lib64/ocaml/coq-core/parsing/parsing.cmxa /usr/lib64/ocaml/coq-core/proofs/proofs.cmxa /usr/lib64/ocaml/coq-core/printing/printing.cmxa /usr/lib64/ocaml/coq-core/tactics/tactics.cmxa /usr/lib64/ocaml/coq-core/vernac/vernac.cmxa /usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxa /usr/lib64/ocaml/coq-core/stm/stm.cmxa /usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxa /usr/lib64/ocaml/bigarray.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/sexplib0/sexplib0.cmxa /usr/lib64/ocaml/base/caml/caml.cmxa /usr/lib64/ocaml/parsexp/parsexp.cmxa /usr/lib64/ocaml/sexplib/sexplib.cmxa serapi/serapi.cmxa /usr/lib64/ocaml/ppx_sexp_conv/runtime-lib/ppx_sexp_conv_lib.cmxa /usr/lib64/ocaml/result/result.cmxa /usr/lib64/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxa /usr/lib64/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxa /usr/lib64/ocaml/easy-format/easy_format.cmx /usr/lib64/ocaml/biniou/biniou.cmxa /usr/lib64/ocaml/yojson/yojson.cmxa serlib/serlib.cmxa serlib/plugins/ltac/serlib_ltac.cmxa sertop/sertop.cmxa sertop/.sertop_bin.eobjs/native/dune__exe.cmx sertop/.sertop_bin.eobjs/native/dune__exe__Sertok.cmx -linkall)
/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/camlstartup99a761.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/camlstartup99a761.o: in function `caml_globals':
:(.data+0x6e0): undefined reference to `camlCmdliner__gc_roots'
/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/camlstartup99a761.o: in function `caml_data_segments':
:(.data+0xb7c8): undefined reference to `camlCmdliner__data_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xb7d0): undefined reference to `camlCmdliner__data_end'
/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/camlstartup99a761.o: in function `caml_code_segments':
:(.data+0xe420): undefined reference to `camlCmdliner__code_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xe428): undefined reference to `camlCmdliner__code_end'
/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/camlstartup99a761.o: in function `caml_frametable':
:(.data+0x10bf0): undefined reference to `camlCmdliner__frametable'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking (exit code 1)
    ocamlopt sertop/sertop_bin.exe (exit 2)
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -o sertop/sertop_bin.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/cmdliner/cmdliner.cmxa /usr/lib64/ocaml/coq-core/config/config.cmxa /usr/lib64/ocaml/coq-core/boot/boot.cmxa /usr/lib64/ocaml/str.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/unix.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/threads/threads.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/coq-core/clib/clib.cmxa /usr/lib64/ocaml/coq-core/lib/lib.cmxa /usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxa /usr/lib64/ocaml/zarith/zarith.cmxa -I /usr/lib64/ocaml/zarith /usr/lib64/ocaml/coq-core/vm/coqrun.cmxa -I /usr/lib64/ocaml/coq-core/vm /usr/lib64/ocaml/coq-core/kernel/kernel.cmxa /usr/lib64/ocaml/coq-core/library/library.cmxa /usr/lib64/ocaml/coq-core/engine/engine.cmxa /usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxa /usr/lib64/ocaml/coq-core/interp/interp.cmxa /usr/lib64/ocaml/coq-core/parsing/parsing.cmxa /usr/lib64/ocaml/coq-core/proofs/proofs.cmxa /usr/lib64/ocaml/coq-core/printing/printing.cmxa /usr/lib64/ocaml/coq-core/tactics/tactics.cmxa /usr/lib64/ocaml/coq-core/vernac/vernac.cmxa /usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxa /usr/lib64/ocaml/coq-core/stm/stm.cmxa /usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxa /usr/lib64/ocaml/bigarray.cmxa -I /usr/lib64/ocaml /usr/lib64/ocaml/sexplib0/sexplib0.cmxa /usr/lib64/ocaml/base/caml/caml.cmxa /usr/lib64/ocaml/parsexp/parsexp.cmxa /usr/lib64/ocaml/sexplib/sexplib.cmxa serapi/serapi.cmxa /usr/lib64/ocaml/ppx_sexp_conv/runtime-lib/ppx_sexp_conv_lib.cmxa /usr/lib64/ocaml/result/result.cmxa /usr/lib64/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxa /usr/lib64/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxa /usr/lib64/ocaml/easy-format/easy_format.cmx /usr/lib64/ocaml/biniou/biniou.cmxa /usr/lib64/ocaml/yojson/yojson.cmxa serlib/serlib.cmxa serlib/plugins/ltac/serlib_ltac.cmxa sertop/sertop.cmxa sertop/.sertop_bin.eobjs/native/dune__exe.cmx sertop/.sertop_bin.eobjs/native/dune__exe__Sertop_bin.cmx -linkall)
/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/camlstartupaed294.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/camlstartupaed294.o: in function `caml_globals':
:(.data+0x6e0): undefined reference to `camlCmdliner__gc_roots'
/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/camlstartupaed294.o: in function `caml_data_segments':
:(.data+0xb7c8): undefined reference to `camlCmdliner__data_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xb7d0): undefined reference to `camlCmdliner__data_end'
/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/camlstartupaed294.o: in function `caml_code_segments':
:(.data+0xe420): undefined reference to `camlCmdliner__code_begin'
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: :(.data+0xe428): undefined reference to `camlCmdliner__code_end'
/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/camlstartupaed294.o: in function `caml_frametable':
:(.data+0x10bf0): undefined reference to `camlCmdliner__frametable'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking (exit code 1)
 [ !! ]                  
 * ERROR: sci-mathematics/coq-serapi-0.15.0-r1::gentoo failed (compile phase):
 *   (no error message)
 * 
 * Call stack:
 *     ebuild.sh, line 127:  Called src_compile
 *   environment, line 835:  Called dune_src_compile
 *   environment, line 431:  Called die
 * The specific snippet of code:
 *       eend $? || die
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/coq-serapi-0.15.0-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-serapi-0.15.0-r1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work/coq-serapi-8.15.0-0.15.0'
 * S: '/var/tmp/portage/sci-mathematics/coq-serapi-0.15.0-r1/work/coq-serapi-8.15.0-0.15.0'