--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on September 2009 ---
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