News for hackers. Stuff that matters.

A comment on CompCert – Formally-verified C compiler. Parent comment

Re:CompCert – Formally-verified C compiler by dosshell on Sunday June 27, 2021 @08:41AM (#27651112)
INAL

LGPL is not GPL. You are for example allowed to dynamic link from proprietary code to LGPL libraries. This is not the case with GPL shared libraries. You should take look at the LGPL license agreement and then see how the code is used.

[ Parent | on HN ]
Re:CompCert – Formally-verified C compiler by astrange on Sunday June 27, 2021 @03:12PM (#27654328)
You can link to GPL libraries from proprietary code if you buy a commercial license from the library's copyright owner.
[ Parent | on HN ]