--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Virus in Beryllium Windows installer?



Hoffen wir, dass du bald eine Antwort bekommst.
copy_array sieht bei mir jetzt so aus:

Jens


Am 10.09.2009 um 11:35 schrieb Christoph Weber:

> Hello,
>
>
> I would like to congratulate you for the release of your new version  
> of
> Frama-c. I also want to thank you for the ongoing  assistance and  
> help.
>
> I had some problems to identify the new version, the download page
> http://frama-c.cea.fr/download.html identifys the new binary as  
> version
> 20081201 when it should say 20090901.
>
> Coming to my real problem.
> When I was executing frama-c I got the message:
>
> $ frama-c -jessie copy_array.C
> [kernel] preprocessing with "gcc -C -E -I.  -dD copy_array.C"
> [jessie] Starting Jessie translation
> [jessie] Producing Jessie files in subdir copy_array.jessie
> [jessie] File copy_array.jessie/copy_array.jc written.
> [jessie] File copy_array.jessie/copy_array.cloc written.
> [jessie] Calling Jessie tool in subdir copy_array.jessie
> Generating Why function copy_array
> [jessie] Calling VCs generator.
> gwhy-bin [...] why/copy_array.why
> Computation of VCs...
> Computation of VCs done.
> Reading GWhy configuration...
> Config file 'C:\cygwin\home\Dreadnought\.gwhyrc' does not exists,  
> using
> default
> config
> Fatal error: exception Not_found
> make: *** [copy_array.stat] Error 2
> [jessie] user error: Jessie subprocess failed: make -f  
> copy_array.makefile
> gui
>
> So far I was unable to identify the problem.
>
>
> Finally, I think I might be of interest, that I have discovered  
> several .svn
> directorys in your frama-c installation (example :
> https://svn.frama-c.com/frama-c/tags/Beryllium-20090901/doc/manuals)
>
> Sincerely
>
> Christoph Weber
> <winmail.dat>_______________________________________________
> 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


-- 

Dr.-Ing. Jens Gerlach
Eingebettete Systeme - EST
Tel.: +49 (0)30 6392 1841
Fax.: +49 (0)30 6392 1805
E-Mail: jens.gerlach at first.fraunhofer.de

Fraunhofer-Institut f?r Rechnerarchitektur und Softwaretechnik, FIRST
Kekul?stra?e 7
12489 Berlin
Germany
http://www.first.fraunhofer.de


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0002.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: copy_array.pdf
Type: application/pdf
Size: 55422 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0001.pdf 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0003.htm