You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since PrintCsyntax is dual-licensed, I expected it could be used in a GPL project. But according to tools/modorder .depend.extr cfrontend/PrintCsyntax.cmx (using opam coq-compcert v3.8 package, in case it matters), it indirectly depends on some NCL-only source files.
The problem comes (at least in part) from its dependency on cfrontend/C2C.ml which is dual-licensed but directly depends on NCL-only sources such as cfrontend/Initializers.v, driver/Configuration.ml, etc.
The text was updated successfully, but these errors were encountered:
Since
PrintCsyntax
is dual-licensed, I expected it could be used in a GPL project. But according totools/modorder .depend.extr cfrontend/PrintCsyntax.cmx
(using opamcoq-compcert
v3.8 package, in case it matters), it indirectly depends on some NCL-only source files.The problem comes (at least in part) from its dependency on
cfrontend/C2C.ml
which is dual-licensed but directly depends on NCL-only sources such ascfrontend/Initializers.v
,driver/Configuration.ml
, etc.The text was updated successfully, but these errors were encountered: