--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C sans GUI



salut,

Il semble qu'on ne puisse pas installer Frama-C si le GUI n'est pas activ?.
Je l'ai install? avec la config suivante :

configure: ******************************
configure: * SUMMARY: PLUGINS AVAILABLE *
configure: ******************************
configure: WARNING: Dynamic plugins in native mode are disabled.
configure: syntactic callgraph  : partial (see warning about
/usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cma)
configure: constant propagation : yes
configure: cxx                  : no
configure: from                 : yes
configure: gui                  : no (see warning about
/usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma,/usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
configure: impact               : yes
configure: inout                : yes
configure: jessie               : yes
configure: journal loader       : yes
configure: metrics              : yes
configure: miel                 : no
configure: occurrence           : yes
configure: pdg                  : yes
configure: postdominators       : yes
configure: scope                : yes
configure: security             : yes
configure: semantic callgraph   : yes
configure: slicing              : yes
configure: spare code           : yes
configure: users                : yes
configure: value                : yes
configure: wp                   : yes
configure: ltl to acsl          : no (see warning about ltl2ba)

et ? l'installation j'ai l'erreur :

cp: cannot stat `lib/plugins/Journal_loader_gui.cmo': No such file or
directory

Il semble que d'autres entr?es de l'installation esp?rent que le GUI est
install? par d?faut...

-- 
Yannick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081013/cc64f0c4/attachment.htm