Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-C sans GUI
  • From: yannick.moy at (Yannick Moy)
  • Date: Mon Oct 13 16:08:11 2008


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: ******************************
configure: WARNING: Dynamic plugins in native mode are disabled.
configure: syntactic callgraph  : partial (see warning about
configure: constant propagation : yes
configure: cxx                  : no
configure: from                 : yes
configure: gui                  : no (see warning about
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

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

-------------- next part --------------
An HTML attachment was scrubbed...