Install frama-c issue

[Vishrutidesai]

While installing frama-c using opam getting following errors

lenovo@vishrutidesai:~$ opam install frama-c.20181101
The following actions will be performed:
  - install frama-c 20181101
       Yojson enables kernel option -json-compilation-database
       Why3 can be used by the WP plug-in for running additional automatic solvers
       Coq can be used with the WP plug-in for proving interactively proof obligations

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[frama-c] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of frama-c failed at "make -j4".
Processing  1/1: [frama-c: rm]
#=== ERROR while installing frama-c.20181101 ==================================#
# opam-version 1.2.2
# os           linux
# command      make -j4
# path         /home/lenovo/.opam/4.02.3/build/frama-c.20181101
# compiler     4.02.3
# exit-code    2
# env-file     /home/lenovo/.opam/4.02.3/build/frama-c.20181101/frama-c-67682-58c514.env
# stdout-file  /home/lenovo/.opam/4.02.3/build/frama-c.20181101/frama-c-67682-58c514.out
# stderr-file  /home/lenovo/.opam/4.02.3/build/frama-c.20181101/frama-c-67682-58c514.err
### stdout ###
# [...]
# Generating   src/plugins/wp/tests/ptests_config
# Ocamlc       src/plugins/aorai/bool3.cmo
# Ocamlc       src/libraries/datatype/structural_descr.cmi
# Ocamlc       src/kernel_services/plugin_entry_points/log.cmi
# Ocamlc       src/libraries/stdlib/integer.cmi
# Ocamlc       src/plugins/aorai/ltl_output.cmi
# Ocamlc       src/kernel_services/abstract_interp/float_sig.cmi
# Ocamlopt     src/libraries/datatype/structural_descr.cmx
# Ocamlopt     src/libraries/stdlib/transitioning.cmx
# Ocamlopt     src/libraries/stdlib/FCBuffer.cmx
### stderr ###
# 4 shift/reduce conflicts.
# 7 shift/reduce conflicts.
# File "src/libraries/stdlib/transitioning.ml", line 104, characters 15-24:
# Error: Unbound value Z.numbits
# Hint: Did you mean to_bits or of_bits?
# make: *** [share/Makefile.generic:89: src/libraries/stdlib/transitioning.cmx] Error 2
# make: *** Waiting for unfinished jobs....



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
  - install frama-c 20181101
No changes have been performed

[maroneze]

Your version of opam (1.2.2) is no longer officially supported, which means for instance we cannot even blacklist certain configuration of packages, so that opam will warn about them. Please consider upgrading to opam 2, which would allow for instance installing more recent versions of Frama-C and, in the worst case, should allow us to reproduce the issue and add package constraints to ensure dependencies are compatible.

For instance, I believe the issue might be that you have a too recent version of the zarith package for that version of Frama-C, but without more details, I'm not sure. But even if that is the case, opam 1.2 being no longer officially supported, you will likely have issues getting the right opam configuration.

[maroneze]

I'm closing this due to inability to reproduce (opam 2 cannot be downgraded to opam 1.2, and it is currently hard to obtain a system with opam 1.2) and inactivity. If you manage to reproduce it with opam 2.0 or newer, or if you have a system which cannot use a newer opam, please give more details (OS version at least) so we can try to help.