search

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.
https://opam.ocaml.org
Creative Commons Zero v1.0 Universal
517 stars 1.14k forks source link

frama-c gui is not installed #880

Closed mottainai closed 8 years ago

mottainai commented 11 years ago

When installing frama-c.20130601 under OSX 10.8.4 with opam, the Frama-C gui is not installed. (As an aside, I have no problem to install the coqide through opam.) The following excerpt from the output of "opam install --verbose frama-c.20130601" indicates the problem, but I have no idea ho to solve it.

Regards

Jens

configure: WARNING: lablgtksourceview2.cmxa not found configure: WARNING: gui disabled because /Users/jens/.opam/system/lib/lablgtk2/lablgtksourceview2.cmxa missing. configure: WARNING: gui disabled because /Users/jens/.opam/system/lib/lablgtk2/lablgtksourceview2.cmxa missing. configure: WARNING: lablgnomecanvas.cmxa not found configure: WARNING: gui disabled because /Users/jens/.opam/system/lib/lablgtk2/lablgnomecanvas.cmxa missing.

lefessan commented 8 years ago

Closing issue on an old package. Reopen if still relevant.