--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on August 2012 ---
Bonjour, D?sol? pour la r?ponse tardive. Le 26/07/2012 17:34, DAHAN Mickael a ?crit : > I want to know if it?s possible to launch Jessie from Frama-C > GUI(Nitrogen version). Oui ! > Moreover, during the launch of Jessie, the following problems appear: > > ? > > [jessie] Calling VCs generator. > > why3ml [...] float_array.mlw > > [Info] Init the GTK interface... done. > > [Info] reading IDE config file... > > syntax error in /usr/local/lib/why/why3/why3.conf: invalid keyval pair > starting with / Pouvez-vous m'envoyer le contenu de /usr/local/lib/why/why3/why3.conf pour que je comprenne le probleme ? C'est un fichier autog?n?r? mais tres court Cordialement, - Claude March? > > make: *** [why3ml] Error 1 > > [jessie] user error: Jessie subprocess failed: make -f > float_array.makefile why3ml > > [@@THALES GROUP RESTRICTED@@] > > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |