emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/sweeprolog 97440dda21 043/166: DOC: update the manual to r


From: ELPA Syncer
Subject: [nongnu] elpa/sweeprolog 97440dda21 043/166: DOC: update the manual to reflect the latest GMP deconflication
Date: Fri, 30 Sep 2022 04:59:24 -0400 (EDT)

branch: elpa/sweeprolog
commit 97440dda214c69b4bbffb408d1d1e42a9da3d527
Author: Eshel Yaron <me@eshelyaron.com>
Commit: Eshel Yaron <me@eshelyaron.com>

    DOC: update the manual to reflect the latest GMP deconflication
---
 README.org | 23 +----------------------
 1 file changed, 1 insertion(+), 22 deletions(-)

diff --git a/README.org b/README.org
index d1bc1cefa3..e9e691cefe 100644
--- a/README.org
+++ b/README.org
@@ -79,8 +79,7 @@ The different parts of =sweep= are structured as follows:
    #+end_src
 
    If =sweep-module= is not already built, =sweep= will suggest to build
-   it when loaded. Note that this may take a couple of minutes as the
-   SWI-Prolog runtime may need to be built as well.
+   it when loaded.
 
 * Prolog initialization and cleanup
 :PROPERTIES:
@@ -298,26 +297,6 @@ or upgrade a SWI-Prolog =pack=. When selecting a =pack= to 
install, the
 completion candidates are annotated with description and the version
 of each package.
 
-* Known issues
-:PROPERTIES:
-:CUSTOM_ID: known-issues
-:END:
-
-** Collision between Emacs' and SWI-Prolog's use of GMP
-:PROPERTIES:
-:CUSTOM_ID: gmp-collision
-:END:
-
-Currently, =sweep= builds the SWI-Prolog runtime without GMP support
-(using the =cmake= flag =-DUSE_GMP=OFF=). Initializing SWI-Prolog inside
-Emacs with GMP support /enabled/ for SWI-Prolog causes Emacs to crash
-during garbage collection, because the SWI-Prolog =mp_free= routine is
-mistakenly invoked to cleanup Elisp big integers.
-
-Aside from the obvious problem of not being able to utilize SWI-Prolog
-support for unbounded integer arithmetic, this issue also prevents us
-from using an existing =libswipl= since it is most likely to have been
-built with GMP enabled.
 
 * Indices
 :PROPERTIES:



reply via email to

[Prev in Thread] Current Thread [Next in Thread]