Re:Ask HN: What tech that's right around the corner are you ...
by exikyut on Saturday August 05, 2017 @04:58AM
(#14934867)
Oh, another C compiler! I like collecting these - thanks! :)
Question for anyone handing out unofficial legal opinions:
This one is dual-licensed. There are a small kerfuffle of custom licenses that say "no commercial use", but everything is also variously covered by the GPL (v2 or later), LGPL v3, and BSD 3-clause.
I'm curious if I could use this in a commercial setting if I perfectly comply with the various GPL and BSD licenses.
If I could, that could be a problem for this group, because the repo readme (at https://github.com/AbsInt/CompCert) explicitly states "this is not free software."
Question for anyone handing out unofficial legal opinions:
This one is dual-licensed. There are a small kerfuffle of custom licenses that say "no commercial use", but everything is also variously covered by the GPL (v2 or later), LGPL v3, and BSD 3-clause.
Ref: https://github.com/AbsInt/CompCert/blob/master/LICENSE
I'm curious if I could use this in a commercial setting if I perfectly comply with the various GPL and BSD licenses.
If I could, that could be a problem for this group, because the repo readme (at https://github.com/AbsInt/CompCert) explicitly states "this is not free software."