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] Can't import the whole project

Please be specific on your questions, it helps us to understand exactly 
what is going on and save time.

"import the whole project" - there is no "import" option in the Frama-C 
GUI. In the File menu, there are "Source files", "Load session", etc. 
The first will open a file selector for C source files, the second will 
open a Frama-C saved file (there is no preferred extension for these 
files, but typical usage is ".sav").

The error message you mention is a typical symptom of giving Frama-C a 
save file without option -load, which means the file will be considered 
as a source file, then given to gcc for preprocessing, which will not 
recognize it, by default assume it must be a linker input file, and emit 
the warning. But it comes from the preprocessing, which is then passed 
on to Frama-C.

Ideally, trying to perform the operations with the command-line version 
of Frama-C is easier to understand because then we can have the exact 
commands to reproduce them, and more complete error messages. If not 
possible, at least please try to describe in as much detail as possible 
the operations performed on the GUI, which speeds up understanding and 
resolution.


On 08/03/2019 09:18, newbieroc wrote:
> Hi,
>   When I try to import the whole project from frama-c-gui, it reports 
> a warning:
>         linker input file unused because linking not done.
>   Shall I input files of the project single by single? But it has so 
> many files. Or, does it have other sollutions?
>
> Best regards.
> newbieroc
>
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss

-- 
André Maroneze
Researcher/Engineer CEA/List
Software Reliability and Security Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190308/36c86f69/attachment.html>