Opened 3 years ago

Last modified 3 years ago

#64463 assigned defect

ocaml-hacl-star-raw @20210824-4b197eb_1: build hangs

Reported by: jmroot (Joshua Root) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: ocaml-hacl-star-raw

Change History (1)

comment:1 Changed 3 years ago by ryandesign (Ryan Carsten Schmidt)

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
Note: See TracTickets for help on using tickets.