pflap845085:~ seb$ opam install frama-c-base
The following actions will be performed:
  ∗  install frama-c-base 20170501
       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-base] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫 
[ERROR] The compilation of frama-c-base failed at "make -j4".
Processing  1/1: [frama-c-base: rm]
#=== ERROR while installing frama-c-base.20170501 =============================#
# opam-version 1.2.2
# os           darwin
# command      make -j4
# path         /Users/seb/.opam/system/build/frama-c-base.20170501
# compiler     system (4.06.0)
# exit-code    2
# env-file     /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.env
# stdout-file  /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.out
# stderr-file  /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.err
### stdout ###
# [...]
# Ocamlc       src/libraries/stdlib/transitioning.cmo
# Ocamlc       src/libraries/stdlib/FCSet.cmo
# Ocamlc       src/libraries/stdlib/FCMap.cmo
# Ocamlc       src/libraries/stdlib/FCBuffer.cmi
# Ocamlc       src/libraries/stdlib/FCHashtbl.cmo
# Ocamlc       src/libraries/stdlib/extlib.cmo
# Ocamlc       src/libraries/datatype/unmarshal.cmo
# Ocamlc       src/libraries/datatype/unmarshal_z.cmi
# Ocamlc       src/libraries/utils/pretty_utils.cmo
# Ocamlc       src/libraries/utils/hook.cmo
### stderr ###
# 4 shift/reduce conflicts.
# 7 shift/reduce conflicts.
# File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19:
# Error: This expression has type string but an expression was expected of type
#          bytes
# make[1]: *** [numbers.cmo] Error 2
# make[1]: *** Waiting for unfinished jobs....
# make: *** [src/plugins/wp/qed/bin/Qed.cmo] Error 2
# make: *** Waiting for unfinished jobs....



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫 
The following actions failed
  ∗  install frama-c-base 20170501
No changes have been performed