--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on January 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Licensing clarification re: Q Modified License



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