Menhirで生成したファイルのライセンスが気になったので。
原文
In the following, "THE LIBRARY" refers to the following files:
1- the file src/standard.mly;
2- the OCaml source files whose basename appears in the file src/menhirLib.mlpack and whose extension is ".ml" or ".mli".
"THE GENERATOR" refers to all other files in this archive or repository, except those in the subdirectory test/, which are not covered by this license.
THE GENERATOR is distributed under the terms of the GNU General Public License version 2 (included below).
THE LIBRARY is distributed under the terms of the GNU Library General Public License version 2 (included below).
As a special exception to the GNU Library General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Library General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by INRIA, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Library General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License.
Menhir source code 20171222中のLICENSEより
怪しい訳
THE LIBRARYには次のファイルが含まれる。 1- src/standard.mly 2- src/menhirLib.mlpackに書かれているbasenameを持つ*.mliまたはmlファイル
THE GENERATORには上記以外のこのリポジトリの全てのファイルが含まれる。 THE GENERATORはGPL General License v2のもとで配布される。 THE LIBRARYはGPL Library License v2のもとで配布される。
GPLの特殊な例外として、追加のGPL6条項を含まず、以下の条項に従って配布されたライブラリを静的ないし動的にリンクして「このライブラリを使った成果物」を作成した場合がある。 「公開されたバージョンのライブラリ」、これはINRIAによって配布されてから変更されてない物又はGPLの3条項で定義された状態の物。 ただし、この例外は他の実行可能ファイルにGPLが適用される理由を無効化するものでは無い。
結論
GPLの例外についての訳が訳になってませんね。
menhirで生成されたファイルに関係するのはTHE LIBRARYのライセンスになりますが、生成されたファイル自体については特にライセンスの制限はかからないようです。ただmenhirから提供されるライブラリ、src/standard.mlyとmenhirLibを使う場合にはこれらはGPLでライセンスされているため考慮する必要があります。 例外では「THE LIBRARYにあたるライブラリを静的ないし動的にリンクしたもの」となっているため、menhirLibを改変していないか改変した部分をGPLで公開した場合はmenhirLibを使ってもGPLにする必要はないようです。
例外についての訳がかなり怪しいので信用はしないでください。
