Hi, I have an installation question. When I run `opam install why3` I get the error below. I also tried it with ocaml 4.09.0
Any pointers would be much appreciated. This is on macOS Catalina 10.15.6 Thanks in advance. [ERROR] The compilation of why3 failed at "/Users/daniel/.opam/opam-init/hooks/sandbox.sh build make -j3 all opt byte". #=== ERROR while compiling why3.1.3.1 =========================================# # context 2.0.6 | macos/x86_64 | ocaml-base-compiler.4.11.1 | https://opam.ocaml.org#dfa28ec9 # path ~/.opam/with-archetype-and-ocaml-4.11.1/.opam-switch/build/why3.1.3.1 # command ~/.opam/opam-init/hooks/sandbox.sh build make -j3 all opt byte # exit-code 2 # env-file ~/.opam/log/why3-20781-d2c37b.env # output-file ~/.opam/log/why3-20781-d2c37b.out ### output ### # [...] # src/server/server-unix.c:221:22: note: include the header <string.h> or explicitly provide a declaration for 'strdup' # 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] # memcpy(addr.sun_path, filen, strlen(filen) + 1); # ^ # 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' # 6 errors generated. # make: *** [src/server/server-unix.o] Error 1 # make: *** Waiting for unfinished jobs.... <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫 ┌─ The following actions failed │ λ build why3 1.3.1 └─ ╶─ No changes have been performed - Daniel
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
