--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on July 2012 ---
I want to know if it's possible to launch Jessie from Frama-C GUI(Nitrogen version). 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 / make: *** [why3ml] Error 1 [jessie] user error: Jessie subprocess failed: make -f float_array.makefile why3ml [@@THALES GROUP RESTRICTED@@] -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120726/3a8b23d9/attachment.html>