GitLab

my ubuntu version is Ubuntu 20.04.3 LTS opam version is 4.08.1

After run 'opam install frama-c error', happening this issue.

[ERROR] The compilation of alt-ergo failed at
        "/home/jaeyoung/.opam/opam-init/hooks/sandbox.sh build make".
∗ installed why3.1.4.1

#=== ERROR while compiling alt-ergo.1.01 ======================================#
# context     2.0.5 | linux/x86_64 | ocaml-system.4.08.1 | https://opam.ocaml.org#257f9ce1
# path        ~/.opam/default/.opam-switch/build/alt-ergo.1.01
# command     ~/.opam/opam-init/hooks/sandbox.sh build make
# exit-code   2
# env-file    ~/.opam/log/alt-ergo-23270-89b24d.env
# output-file ~/.opam/log/alt-ergo-23270-89b24d.out
### output ###
# [...]
# ocamlopt.opt -c -annot -inline 100 -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/myUnix.ml
# ocamlc.opt -c -annot -g -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.mli
# ocamlopt.opt -c -annot -inline 100 -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/util.ml
# ocamlc.opt -c -annot -g -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.mli
# ocamlopt.opt -c -annot -inline 100 -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/lists.ml
# ocamlc.opt -c -annot -g -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numbersInterface.mli
# ocamlc.opt -c -annot -g -I /home/jaeyoung/.opam/default/lib/zarith  -I /home/jaeyoung/.opam/default/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/util/numsNumbers.mli
# File "src/util/numsNumbers.mli", line 24, characters 47-62:
# 24 | module Z : NumbersInterface.ZSig with type t = Big_int.big_int
#                                                     ^^^^^^^^^^^^^^^
# Error: Unbound module Big_int
# make: *** [Makefile.users:220: src/util/numsNumbers.cmi] Error 2



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build alt-ergo 1.01
└─ 
┌─ The following changes have been performed (the rest was aborted)
│ ∗ install conf-autoconf      0.1
│ ∗ install conf-gmp           4
│ ∗ install conf-gnomecanvas   2
│ ∗ install conf-graphviz      0.1
│ ∗ install conf-gtk2          1
│ ∗ install conf-gtksourceview 2
│ ∗ install lablgtk            2.18.12
│ ∗ install ocamlgraph_gtk     2.0.0
│ ∗ install why3               1.4.1
│ ∗ install zarith             1.12
└─ 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    opam switch import
"/home/jaeyoung/.opam/default/.opam-switch/backup/state-20220315135530.export"

I'm not sure how to handle the bottom part.