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

  • Subject: [Frama-c-discuss] Can't import the whole project
  • From: newbieroc at (newbieroc)
  • Date: Fri, 8 Mar 2019 16:18:25 +0800 (CST)

  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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>