--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2019 ---
[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>