Did you know ... Search Documentation:
GIT commit info
Updated license conditions (outdated instructions).
authorJan Wielemaker
Wed Mar 30 15:53:59 2022 +0200
committerJan Wielemaker
Wed Mar 30 15:53:59 2022 +0200
Diff style: patch stat
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
-  ```
-  ```
-  ./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
+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.