Frama-c.txt

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[ERROR] The compilation of conf-gnomecanvas failed at "/Users/keep_learning/.opam/opam-init/hooks/sandbox.sh build pkg-config libgnomecanvas-2.0".
[ERROR] The compilation of conf-gtksourceview failed at "/Users/keep_learning/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0".

#=== ERROR while compiling conf-gtksourceview.2 ===============================#
# context     2.0.5 | macos/x86_64 | ocaml-base-compiler.4.07.0 | https://opam.ocaml.org#136fdfd4
# path        ~/.opam/4.07.0/.opam-switch/build/conf-gtksourceview.2
# command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0
# exit-code   1
# env-file    ~/.opam/log/conf-gtksourceview-22760-2dea01.env
# output-file ~/.opam/log/conf-gtksourceview-22760-2dea01.out
### output ###
# Package 'libffi', required by 'gobject-2.0', not found


#=== ERROR while compiling conf-gnomecanvas.2 =================================#
# context     2.0.5 | macos/x86_64 | ocaml-base-compiler.4.07.0 | https://opam.ocaml.org#136fdfd4
# path        ~/.opam/4.07.0/.opam-switch/build/conf-gnomecanvas.2
# command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config libgnomecanvas-2.0
# exit-code   1
# env-file    ~/.opam/log/conf-gnomecanvas-22760-335865.env
# output-file ~/.opam/log/conf-gnomecanvas-22760-335865.out



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
┌─ The following actions failed
│ λ build conf-gnomecanvas   2
│ λ build conf-gtksourceview 2
└─ 
╶─ No changes have been performed

The packages you requested declare the following system dependencies. Please make sure they are installed before retrying:
    gtksourceview libgnomecanvas libxml2
    
keep-learnings-MacBook-Pro:Ccodeanalysis keep_learning$ uname -a
Darwin keep-learnings-MacBook-Pro.local 18.7.0 Darwin Kernel Version 18.7.0: Tue Aug 20 16:57:14 PDT 2019; root:xnu-4903.271.2~2/RELEASE_X86_64 x86_64
keep-learnings-MacBook-Pro:Ccodeanalysis keep_learning$ opam --version
2.0.5

keep-learnings-MacBook-Pro:Ccodeanalysis keep_learning$ brew install pkg-config gtksourceview libxml2
Warning: pkg-config 0.29.2 is already installed and up-to-date
To reinstall 0.29.2, run `brew reinstall pkg-config`
Warning: gtksourceview 2.10.5_4 is already installed and up-to-date
To reinstall 2.10.5_4, run `brew reinstall gtksourceview`
Warning: libxml2 2.9.9_2 is already installed and up-to-date
To reinstall 2.9.9_2, run `brew reinstall libxml2`