--- layout: fc_discuss_archives title: Message 24 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



Hello,

On Jan 15, 2010, at 5:19 PM, Alan Dunn wrote:

> 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.

The files that cite this license are external/ptmap.ml{,i}.
These is indeed the exact set of files covered by this
license inside Frama-C Beryllium 2.

> 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.

Sorry about the confusion here. These files were taken from Menhir
(as stated in each file's header). The license file was taken as-is,
and this is why it does not seem to make much sense.

- "the Library" was not copied from Menhir at all.

- "the Generator" is a set of files in Menhir including ptmap.ml and
ptmap.mli, among other files that were not copied at all.

Note that the functions provided by files ptmap.ml{,i} were heavily
modified in order to obtain the exact flavor of Patricia trees
that was needed for Frama-C.

Pascal