Re: [Haskell-cafe] Announce: Haskell Platform 8.6.5 (Gershom B) - clarification
Dear All, The license issue can be summarized as follows: Whenever a program is compiled with GHC and is distributed on another platform than OS X, anybody can claim that the source code of that program must be provided due to the LGPL license, since integer-gmp, the ghc code, and that program's code are statically linked! Not convinced? Read e.g. https://gitlab.haskell.org/ghc/ghc/wikis/replacing-gmp-notes that discussed both the LGPL license and the usage of static libraries by GHC. For convenience, I have include the most relevant parts: ``` GMP is licensed under the GNU Lesser General Public License (LGPL), a kind of "copyleft" license. According to the terms of the LGPL, paragraph 5, you may distribute a program that is designed to be compiled and dynamically linked with the library under the terms of your choice (i.e., commercially) but if your program incorporates portions of the library, if it is linked statically, then your program is a "derivative"--a "work based on the library"--and according to paragraph 2, section c, you "must cause the whole of the work to be licensed" under the terms of the LGPL (including for free). The LGPL licensing for GMP is a problem for the overall licensing of binary programs compiled with GHC because most distributions (and builds) of GHC use static libraries. (Dynamic libraries are currently distributed only for OS X.) The LGPL licensing situation may be worse: even though The Glasgow Haskell Compiler License is essentially a "free software" license (BSD3), according to paragraph 2 of the LGPL, GHC must be distributed under the terms of the LGPL! ``` So the problem is real and seems to be underestimated by the Haskell user community based on the many (partly) incorrect responses on this mailing list. I still would like to know what GHC's strategy is to tackle this problem! Greetings, Pierre ________________________________ The information contained in this message may be confidential and legally protected under applicable law. The message is intended solely for the addressee(s). If you are not the intended recipient, you are hereby notified that any use, forwarding, dissemination, or reproduction of this message is strictly prohibited and may be unlawful. If you are not the intended recipient, please contact the sender by return e-mail and destroy all copies of the original message.
Hello Pierre, On Tue, May 21, 2019 at 09:54:11AM +0000, Pierre_van_der_Laar (Functional Account) via Haskell-Cafe wrote:
So the problem is real and seems to be underestimated by the Haskell user community based on the many (partly) incorrect responses on this mailing list. I still would like to know what GHC's strategy is to tackle this problem!
Could you please answer Stefan Monnier's question? On Tue, May 14, 2019 at 11:23:30AM -0400, Stefan Monnier wrote:
I think you're confusing the GPL and the LGPL here. Otherwise, please clarify what you mean by "enforces a LGPL license on my code".
The authentic interpretation [1] by the FSF itself seems pretty clear: "If you statically link against an LGPLed library, you must also provide your application in an object (not necessarily source) format, so that a user has the opportunity to modify the library and relink the application." [1] http://www.gnu.org/licenses/gpl-faq.html#LGPLStaticVsDynamic
For some reason your mail seems to miss the rest of the thread so I have no
idea what had been said before do maybe I am repeating something that was
already said.
GHC doesn't produce statically linked binaries by default. So they are
dynamically linked against libgmp, libc and libz, not statically. The
issue you linked is about the fact that it would be best to replace libgmp
such that we can _allow_ static linking without licensing issues. It does
not say we currently statically link. (You can reaffirm this by running ld
on a GHC produced binary)
On Tue, May 21, 2019, 11:54 Pierre_van_der_Laar (Functional Account) via
Haskell-Cafe
Dear All,
The license issue can be summarized as follows:
Whenever a program is compiled with GHC and is distributed on another platform than OS X, anybody can claim that the source code of that program must be provided due to the LGPL license, since integer-gmp, the ghc code, and that program's code are statically linked!
Not convinced? Read e.g. https://gitlab.haskell.org/ghc/ghc/wikis/replacing-gmp-notes that discussed both the LGPL license and the usage of static libraries by GHC. For convenience, I have include the most relevant parts:
``` GMP is licensed under the GNU Lesser General Public License (LGPL), a kind of "copyleft" license. According to the terms of the LGPL, paragraph 5, you may distribute a program that is designed to be compiled and dynamically linked with the library under the terms of your choice (i.e., commercially) but if your program incorporates portions of the library, if it is linked statically, then your program is a "derivative"--a "work based on the library"--and according to paragraph 2, section c, you "must cause the whole of the work to be licensed" under the terms of the LGPL (including for free).
The LGPL licensing for GMP is a problem for the overall licensing of binary programs compiled with GHC because most distributions (and builds) of GHC use static libraries. (Dynamic libraries are currently distributed only for OS X.) The LGPL licensing situation may be worse: even though The Glasgow Haskell Compiler License is essentially a "free software" license (BSD3), according to paragraph 2 of the LGPL, GHC must be distributed under the terms of the LGPL! ```
So the problem is real and seems to be underestimated by the Haskell user community based on the many (partly) incorrect responses on this mailing list. I still would like to know what GHC's strategy is to tackle this problem!
Greetings, Pierre
________________________________ The information contained in this message may be confidential and legally protected under applicable law. The message is intended solely for the addressee(s). If you are not the intended recipient, you are hereby notified that any use, forwarding, dissemination, or reproduction of this message is strictly prohibited and may be unlawful. If you are not the intended recipient, please contact the sender by return e-mail and destroy all copies of the original message. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
participants (3)
-
Arian van Putten -
Francesco Ariis -
Pierre_van_der_Laar (Functional Account)