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

[Frama-c-discuss] Windows binary version error: Global kernel




From: Talmage Wesley
Sent: Monday, November 23, 2009 9:00 AM
To: 'frama-c-discuss at lists.gforge.inria.fr'
Subject: [Frama-c-discuss] Windows binary version error: Global kernel

Julien,

Third try for Attachment format:
[cid:image001.jpg at 01CA6C1C.8D83CE30]

Thank for the responses in the Frama-c-discuss] Windows binary version error: Global kernel could not find entry point: main thread.

I used the sample file first.c which has a main() function?  Also an aside:  How does one reply to a specific thread?

Anyway,  a little background information:
I am trying to evaluate the Frama-C but am using a different preprocessor (should not matter right).  On the command line of the attached screen dump, you
will find the command I used:  C:\Frama-C\bin > frama-C-gui -val -cpp-command "pp.exe first.c -o first.i"

Keep in mind I placed pp.exe and first.c in the folder C:\Frama-C\bin.  My preprocessor does work as you might notice the C:\Frama-C\bin > pp.exe -v output
on the command line listing the pp.exe options.

Based on this new information if you have any addition insight please let me know.


Thanks
Talmage


Talmage Wesley
Product Development Team Leader
A.J. Antunes & Co.
180 Kehoe Boulevard
Carol Stream, IL 60188
(630) 784-3458
www.ajantunes.com<http://www.ajantunes.com>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091123/e7e87778/attachment-0001.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 35684 bytes
Desc: image001.jpg
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091123/e7e87778/attachment-0001.jpg