Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some dual-licensed code, such as PrintCsyntax, depends on NCL-only sources #379

Open
shym opened this issue Dec 17, 2020 · 0 comments
Open

Comments

@shym
Copy link

shym commented Dec 17, 2020

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant