Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Windows binary version error: Global kernel
- Subject: [Frama-c-discuss] Windows binary version error: Global kernel
- From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
- Date: Mon, 23 Nov 2009 08:48:44 -0600
Julien, 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/d7bef9c8/attachment-0001.htm -------------- next part -------------- A non-text attachment was scrubbed... Name: Error message.docx Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document Size: 113795 bytes Desc: Error message.docx Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091123/d7bef9c8/attachment-0001.bin
- Prev by Date: [Frama-c-discuss] Using Frama-C as Caduceus
- Next by Date: [Frama-c-discuss] Windows binary version error: Global kernel
- Previous by thread: [Frama-c-discuss] Using Frama-C as Caduceus
- Next by thread: [Frama-c-discuss] Windows binary version error: Global kernel
- Index(es):