--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on August 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie plug-in



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                    |