From 26cef08541d8697c0cb6004b9ebcf379312f6491 Mon Sep 17 00:00:00 2001 From: Florian Kanngiesser Date: Thu, 13 Dec 2012 19:23:49 +0100 Subject: development/swi-prolog: Updated for version 6.2.4. Signed-off-by: Matteo Bernardini --- development/swi-prolog/README | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'development/swi-prolog/README') diff --git a/development/swi-prolog/README b/development/swi-prolog/README index a6dbcc9b6e..ecd0b46689 100644 --- a/development/swi-prolog/README +++ b/development/swi-prolog/README @@ -1,10 +1,9 @@ SWI-Prolog is a comprehensive Prolog environment. Its development started in 1987 and has been driven by real-world applications. -SWI-Prolog is widely used in research, education, and commercial +SWI-Prolog is widely used in research, education, and commercial applications. -swi-prolog is build without BerkeleyDB support at the moment (too -experimental and won't build) and without GMP support. If you want -GMP support with swiprolog, you need to build GMPlib (there is -currently no build script at SlackBuilds.org from http://gmplib.org/ -and run the script with GMP=yes ./swi-prolog.SlackBuild +swi-prolog is build without BerkeleyDB support at the moment +(too experimental and won't build) and without GMP support. +If you want GMP support with swiprolog run the script with + GMP=yes ./swi-prolog.SlackBuild -- cgit v1.2.3