opam install why3
The following actions will be performed:
 - install why3-base.0.86 [required by why3]
 - install why3.0.86
     Coq realizations of Why3 theories are only available if Coq is installed.
2 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
Do you want to continue ? [Y/n] Y

=-=-= Installing why3-base.0.86 =-=-=
Building why3-base.0.86:
  ./configure --prefix /home/gpietro/.opam/system --disable-frama-c
  make opt byte
  make install install-lib
[ERROR] The compilation of why3-base.0.86 failed.
Removing why3-base.0.86.

[ERROR] Due to some errors while processing why3-base.0.86, the following actions will NOT proceed:
 - install why3.0.86

===== ERROR while installing why3-base.0.86 =====
# opam-version 1.1.1
# os           linux
# command      make install install-lib
# path         /home/gpietro/.opam/system/build/why3-base.0.86
# compiler     system (4.01.0)
# exit-code    2
# env-file     /home/gpietro/.opam/system/build/why3-base.0.86/why3-base-32689-ffb3fd.env
# stdout-file  /home/gpietro/.opam/system/build/why3-base.0.86/why3-base-32689-ffb3fd.out
# stderr-file  /home/gpietro/.opam/system/build/why3-base.0.86/why3-base-32689-ffb3fd.err
### stdout ###
# ...[truncated]
# Ocamlc   lib/ocaml/why3__IntAux.ml
# Ocamlc   lib/ocaml/why3__Array.ml
# Linking  lib/why3/why3extract.cmo
# Linking  lib/why3/why3extract.cma
# Ocamlc   src/why3doc/doc_html.ml
# Ocamlc   src/why3doc/doc_def.ml
# Ocamlc   src/why3doc/doc_lexer.ml
# Ocamlc   src/why3doc/doc_main.ml
# Linking  bin/why3doc.byte
# rm -rf /home/gpietro/.opam/system/lib/why3
### stderr ###
# ...[truncated]
# Warning: you are using the standard library and/or the %inline keyword. We
# recommend switching on --infer in order to avoid obscure type error messages.
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3extract.a’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3extract.cmx’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3extract.cma’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3extract.cmi’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3.o’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3.cmxa’: Permission denied
# rm: cannot remove ‘/home/gpietro/.opam/system/lib/why3/why3.cmx’: Permission denied
# make: *** [clean_old_install] Error 1

'opam install why3' failed.