4 ms·
Yes. Gcc does that and there is no problem, but the post is not about gcc (as far as I can tell from my tiny mobile screen)
by andi999 5y ago
Yes. Gcc does that and there is no problem, but the post is not about gcc (as far as I can tell from my tiny mobile screen)
- tyingq 5y ago>but the post is not about gcc Right. It's about a compiler with a GPL license but without a similar exception. I was making a comparison.
- dwheeler 5y agoThe CompCert compiler is not under the GPL or LGPL, it is under a proprietary license. Some parts may be released with other licenses, but that is different.
- deleted 5y ago[deleted]
- deleted 5y ago[deleted]
- tyingq 5y agoThat's not the point going down this thread. If part of it is GPL (and not LGPL), it makes it impossible to release compiled binaries made with it that are not GPL. It appears they attempted to switch to LGPL to fix that two months ago[1], but perhaps missed some parts. [1] https://github.com/AbsInt/CompCert/commit/04f499c632a76e460560fc9ec4e14d8216e7fc18 https://github.com/AbsInt/CompCert/commit/04f499c632a76e4605...