Installation Issue - Githubissues

alicorn0618 commented 2 years ago

My env is macOS x86-64 Monterey 12.5.1 My opam version is 2.1.3, but when I install Frama-C, errors will be raise 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.14.0 | https://opam.ocaml.org#cb4d2b35
# path        ~/.opam/4.14.0/.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-87828-262cb6.env
# output-file ~/.opam/log/frama-c-87828-262cb6.out
### output ###
# [...]
# Error: Unbound module Cil_types
# make: *** [share/Makefile.generic:78: src/plugins/aorai/logic_simplification.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

maroneze commented 2 years ago

Could you please confirm if it was the same issue as https://git.frama-c.com/pub/frama-c/-/issues/2626 (closed), and if so, close it? Otherwise, we'll likely need more info to be able to reproduce it.

alicorn0618 commented 2 years ago

Sorry, I have closed it. Sent from my iPhone

On Aug 29, 2022, at 19:40, Andre @.***> wrote:

Could you please confirm if it was the same issue as https://git.frama-c.com/pub/frama-c/-/issues/2626 (closed), and if so, close it? Otherwise, we'll likely need more info to be able to reproduce it.

— Reply to this email directly, view it on GitHubhttps://github.com/Frama-C/Frama-C-snapshot/issues/48#issuecomment-1230170249, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AOPPKMPH3MDXTECUPFXTUJDV3SOTLANCNFSM567YZFXQ. You are receiving this because you authored the thread.Message ID: @.***>

Frama-C / Frama-C-snapshot

Installation Issue #48