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