[MacPorts] #64463: ocaml-hacl-star-raw @20210824-4b197eb_1: build hangs

MacPorts noreply at macports.org
Tue Jan 18 12:35:39 UTC 2022


#64463: ocaml-hacl-star-raw @20210824-4b197eb_1: build hangs
----------------------------------+----------------------
  Reporter:  jmroot               |      Owner:  landonf
      Type:  defect               |     Status:  assigned
  Priority:  Normal               |  Milestone:
 Component:  ports                |    Version:
Resolution:                       |   Keywords:
      Port:  ocaml-hacl-star-raw  |
----------------------------------+----------------------

Comment (by ryandesign):

 In fact, hangs after failing to build:
 {{{
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 Fatal error while running:  ocamlfind opt -package fstarlib -linkpkg -g -I
 /opt/local/var/macports/build
 /_opt_bblocal_var_buildworker_ports_build_ports_ocaml_ocaml-hacl-star
 /ocaml-hacl-star-raw/work/hacl-star-
 4b197eb54b41056e6c051f0162cf57a50ad5b380/obj -w -8-20-26 -c
 obj/Vale_Lib_Seqs_s.ml -o obj/Vale_Lib_Seqs_s.cmx
 Failed after: 0:01.23
 Full log is in obj/Vale_Lib_Seqs_s.cmx.{out,err}, see excerpt below:
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 Fatal error while running:  ocamlfind opt -package fstarlib -linkpkg -g -I
 /opt/local/var/macports/build
 /_opt_bblocal_var_buildworker_ports_build_ports_ocaml_ocaml-hacl-star
 /ocaml-hacl-star-raw/work/hacl-star-
 4b197eb54b41056e6c051f0162cf57a50ad5b380/obj -w -8-20-26 -c
 obj/Vale_Def_Opaque_s.ml -o obj/Vale_Def_Opaque_s.cmx
 Failed after: 0:00.68
 Full log is in obj/Vale_Def_Opaque_s.cmx.{out,err}, see excerpt below:
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 Fatal error while running:  ocamlfind opt -package fstarlib -linkpkg -g -I
 /opt/local/var/macports/build
 /_opt_bblocal_var_buildworker_ports_build_ports_ocaml_ocaml-hacl-star
 /ocaml-hacl-star-raw/work/hacl-star-
 4b197eb54b41056e6c051f0162cf57a50ad5b380/obj -w -8-20-26 -c
 obj/Vale_Def_Words_s.ml -o obj/Vale_Def_Words_s.cmx
 Failed after: 0:00.83
 Full log is in obj/Vale_Def_Words_s.cmx.{out,err}, see excerpt below:
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 gmake[2]: *** [Makefile:473: obj/Vale_Def_Words_s.cmx] Error 1
 gmake[2]: *** Waiting for unfinished jobs....
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 File "_none_", line 1:
 Error: Cannot load ppx_deriving.std: implementation mismatch on
 Stdlib__sys
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
 gmake[2]: *** [Makefile:473: obj/Vale_Def_Opaque_s.cmx] Error 1
 gmake[2]: *** [Makefile:473: obj/Vale_Lib_Seqs_s.cmx] Error 1
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/64463#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list