author | Jan Wielemaker |
| Wed Mar 30 15:53:59 2022 +0200 |
committer | Jan Wielemaker |
| Wed Mar 30 15:53:59 2022 +0200 |
commit | a61c518774a4cc8172943e563940dd76fe854cac |
tree | 1d3a7c29f2726e0b7f554e1b4b2b6c3416970c6e |
parent | 49e4fa4029d2cddaa0db04181cc85079e93d25ed |
diff --git a/license.txt b/license.txt
index 76bc327..ef87016 100644
--- a/license.txt
+++ b/license.txt
@@ -44,19 +44,29 @@ additional requirements are loaded into a particular version.
?- license.
```
-The core can be configured to exclude all known GPL and LGPL components
-using one of these options. Excluding `lgpl` also excludes `gpl` and
-thus produces a core system that only contains code distributed under
-a permissive license.
-
-
- ```
- ./configure --without-gpl
- ```
-
-or
-
- ```
- ./configure --without-lgpl
- ```
-
+### GMP
+
+The only non-BSD component in the __core system__ is the __LGPL__ GNU
+library [GMP](https://gmplib.org/) which provides unbounded integers,
+rational numbers and good random numbers to SWI-Prolog. GMP can be
+disabled using
+
+ cmake -DUSE_GMP=OFF [more options]
+
+Note that LGPL components do not affect the license of SWI-Prolog or
+applications running on top of them. However, end users of your
+application must be able to replace the LGPL component. See the LGPL
+license for details.
+
+### Libreadline
+
+From the standard packages, only `library(readline)` is realised using
+the __GPL__ library
+[libreadline](https://tiswww.case.edu/php/chet/readline/rltop.html).
+This library provides command line editing on POSIX systems (MacOS,
+Linux, etc.). Since the migration to BSD, the default line editor is
+based on the BSD [editline (libedit)](https://www.thrysoee.dk/editline/)
+library. End user applications generally do not require a commandline
+editor and are thus normally not affected. Unlike the GMP library above,
+the commandline editors are loaded explictly at runtime and therefore
+the system does not need to be recompiled to remove these components.