[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