Install error
Steps to reproduce the issue
follow the recommended ways of installing Frama-c on Mac
Expected behaviour
Install frama-c successfully
Actual behaviour
Errors in installing Frama-C
Contextual information
- Frama-C installation mode: Opam
- Frama-C version: 25.0
- Plug-in used: Plug-in used
- OS name: MacOS X64
- OS version: Monterey 12.5.1
Additional information (optional)
when I use command
opam install frama-cErrors will be raised like
The following actions will be performed:
- install frama-c 25.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved frama-c.25.0 (cached)
[ERROR] The compilation of frama-c.25.0 failed at "make -j11".
#=== ERROR while compiling frama-c.25.0 =======================================#
# context 2.1.3 | macos/x86_64 | ocaml-base-compiler.4.12.0 | https://opam.ocaml.org#cb4d2b35
# path ~/.opam/cs3110-2021fa/.opam-switch/build/frama-c.25.0
# command ~/.opam/opam-init/hooks/sandbox.sh build make -j11
# exit-code 2
# env-file ~/.opam/log/frama-c-25672-338565.env
# output-file ~/.opam/log/frama-c-25672-338565.out
### output ###
# [...]
# make: *** [share/Makefile.generic:78: src/plugins/aorai/promelaoutput.cmo] Error 2
# make: *** [share/Makefile.generic:78: src/plugins/aorai/bool3.cmo] Error 2
# File "src/plugins/aorai/data_for_aorai.ml", line 26, characters 5-16:
# 26 | open Logic_ptree
# ^^^^^^^^^^^
# Error: Unbound module Logic_ptree
# File "src/plugins/aorai/aorai_utils.ml", line 26, characters 5-8:
# 26 | open Cil
# ^^^
# Error: Unbound module Cil
# make: *** [share/Makefile.generic:78: src/plugins/aorai/data_for_aorai.cmo] Error 2
# make: *** [share/Makefile.generic:78: src/plugins/aorai/aorai_utils.cmo] Error 2
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build frama-c 25.0
+-
- No changes have been performed
<><> frama-c.25.0 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> Why3 provers setup: rm -f ~/.why3.conf ; why3 config detect