Frama-c instal
- ubuntu: 20.04.4 LTS
- opam version :2.0.5
ocamlfind 1.9.3 A library manager for OCaml
why3 1.4.1 pinned to version 1.4.0
ocaml -version
The OCaml toplevel, version 4.08.1
I ran as below.
# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.
# 2. Install Frama-C's dependencies
opam install depext
opam depext frama-c
# 3. Install Frama-C itself
opam install frama-c
In step 3, the following error occurs.
@ubuntu:~$ opam install frama-c
The following actions will be performed:
↘ downgrade menhirLib 20220210 to 20211128 [required by menhir]
↘ downgrade menhirSdk 20220210 to 20211128 [required by menhir]
∗ install conf-zlib 1 [required by camlzip]
∗ install ocplib-simplex 0.4 [required by alt-ergo-free]
↘ downgrade menhir 20220210 to 20211128 [required by alt-ergo-free]
∗ install camlzip 1.11 [required by alt-ergo-free]
∗ install psmt2-frontend 0.1 [required by alt-ergo-free]
↻ recompile why3 1.4.1 [uses menhir]
∗ install alt-ergo-free 2.2.0 [required by frama-c]
∗ install frama-c 24.0
===== ∗ 6 ↻ 1 ↘ 3 =====
Do you want to continue? [Y/n] Y
<><> Gathering sources <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[frama-c.24.0] found in cache
[why3.1.4.1] found in cache
[ERROR] The sources of the following couldn't be obtained, aborting:
- alt-ergo-free.2.2.0: Download command failed
- camlzip.1.11: Download command failed
- menhir.20211128: Download command failed
- menhirLib.20211128: Download command failed
- menhirSdk.20211128: Download command failed
- ocplib-simplex.0.4: Download command failed
- psmt2-frontend.0.1: Download command failed
How to solve it? please let me know.