--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on March 2019 ---
By the way, my recommended way to use Frama-C for large projects is the following: 1. Use the command-line for preprocessing and parsing, giving all files and parsing-related options, then adding "-save framac.sav" (or something similar) at the end; this will usually fail at first for large projects, so fixing everything in the command-line is faster; 2. Then run Frama-C again (either command-line or GUI), starting with "-load framac.sav" before running the analyses/plugins. If you forget the "-load", you may get the error message you mentioned. On 08/03/2019 10:00, Andre Maroneze wrote: > > 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 > > _______________________________________________ > 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/6ea57c45/attachment.html>