Installing Frama-C with opam fails
Hello,
several students of mine were struggling today to install frama-c on their Ubuntu. Can someone provide some feedback on the following error.
Example on Ubuntu 20.04, standard installation.
sudo apt-get remove opam
rm -fr ~/.opam
sudo apt-get install opam
opam init
eval $(opam env)
opam install frama-c
leads to the following error
#=== ERROR while compiling alt-ergo-lib.2.4.2 =================================#
# context 2.0.5 | linux/x86_64 | ocaml-system.4.08.1 | https://opam.ocaml.org#0cd336b3
# path ~/.opam/default/.opam-switch/build/alt-ergo-lib.2.4.2
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p alt-ergo-lib -j 1
# exit-code 1
# env-file ~/.opam/log/alt-ergo-lib-66410-e6f851.env
# output-file ~/.opam/log/alt-ergo-lib-66410-e6f851.out
### output ###
# 639 | [@ocaml.ppwarning "TODO: detect when there are no changes "]
# [...]
# Warning 22: TODO: detect when there are no changes
# (cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /home/yussef/.opam/default/lib/ocplib-simplex -I /home/yussef/.opam/default/lib/seq -I /home/yussef/.opam/default/lib/stdlib-shims -I /home/yussef/.opam/default/lib/zarith -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed.cmi -c -intf src/lib/structur[...]
# File "src/lib/structures/parsed.mli", line 32, characters 17-24:
# 32 | | ConstReal of Num.num
# ^^^^^^^
# Error: Unbound module Num
# (cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /home/yussef/.opam/default/lib/ocplib-simplex -I /home/yussef/.opam/default/lib/seq -I /home/yussef/.opam/default/lib/stdlib-shims -I /home/yussef/.opam/default/lib/zarith -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Typed.cmi -c -intf src/lib/structure[...]
# File "src/lib/structures/typed.mli", line 58, characters 13-20:
# 58 | | Treal of Num.num (** Real constant. *)
# ^^^^^^^
# Error: Unbound module Num
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build alt-ergo-lib 2.4.2
└─