Hi everyone!
I’m posting this to announce that future Linux binaries available in the Releases tab of the PureScript repository after v0.15.15 / 9dd761 are now fully statically-linked. This was made possible by ghc-musl, which is what Stack and Pandoc use as well.
There shouldn’t be any difference between the dynamically-linked and statically-linked versions of the compiler in terms of functionality, just the way that it accesses its dependencies. This change should help make distributing the compiler much easier in exotic runtime environments.
These builds may link to the GMP library, which is licensed under the GNU Lesser General Public License Version 3, 29 June 2007. We’ve included a copy of this license in the LICENSE file.
As always, the compiler’s source code is freely available, should you need to modify or relink GMP portion, or build dynamically-linked versions of the compiler.
Please let me know if you have any concerns or questions.