--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on October 2008 ---
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