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] Licensing clarification re: Q Modified License


  • Subject: [Frama-c-discuss] Licensing clarification re: Q Modified License
  • From: amdunn at gmail.com (Alan Dunn)
  • Date: Fri, 15 Jan 2010 10:19:20 -0600

Can someone clarify the part about the Q modified license
(licenses/Q_MODIFIED_LICENSE) included in the Frama C distribution?
There are files that cite this license, but the beginning of its text
doesn't seem to make sense in the context of these files.

Looking at the license file, it describes two parts "the Library", a
file standard.mly, which doesn't seem to be in the distribution, and
"the Generator", which is "all files marked 'Copyright INRIA' in the
main directory", which appears to be the Makefile and config files,
despite the fact that these are marked as LGPL v2.1. Neither of these
seems right. For reference I am referring to the Frama-C Beryllium 2
source distribution without Jessie.

Thanks,
- Alan