Hi,
can anyone help with this installation failure?
Thanks,
Sandrine
% opam install why3
The following actions will be performed:
∗ install why3 1.3.1
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
[why3.1.3.1] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
[ERROR] The compilation of why3 failed at
"/Users/blazy/.opam/opam-init/hooks/sandbox.sh build make -j15 all opt byte".
#=== ERROR while compiling why3.1.3.1 =========================================#
# context 2.0.7 | macos/x86_64 | ocaml-system.4.09.0 |
https://opam.ocaml.org#3b3a3c0d <https://opam.ocaml.org/#3b3a3c0d>
# path ~/.opam/default/.opam-switch/build/why3.1.3.1
# command ~/.opam/opam-init/hooks/sandbox.sh build make -j15 all opt byte
# exit-code 2
# env-file ~/.opam/log/why3-97766-d2c37b.env
# output-file ~/.opam/log/why3-97766-d2c37b.out
### output ###
# src/server/server-unix.c:244:3: error: implicitly declaring library function
'memcpy' with type 'void *(void *, const void *, unsigned long)'
[-Werror,-Wimplicit-function-declaration]
# [...]
# ^
# src/server/server-unix.c:244:3: note: include the header <string.h> or
explicitly provide a declaration for 'memcpy'
# src/server/server-unix.c:356:37: error: implicitly declaring library function
'strerror' with type 'char *(int)' [-Werror,-Wimplicit-function-declaration]
# unix_argv[0],unix_argv[0],strerror(errno));
# ^
# src/server/server-unix.c:356:37: note: include the header <string.h> or
explicitly provide a declaration for 'strerror'
# Ocamlopt src/util/mlmpfr_wrapper.ml
# 6 errors generated.
# Ocamlopt src/util/util.ml
# make: *** [src/server/server-unix.o] Error 1
# make: *** Waiting for unfinished jobs....
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
