Bug 229772 - SWI-Prolog requires GMP since version 5.6.0
SWI-Prolog requires GMP since version 5.6.0
Status: CLOSED NEXTRELEASE
Product: Fedora
Classification: Fedora
Component: pl (Show other bugs)
6
x86_64 Linux
medium Severity medium
: ---
: ---
Assigned To: Gérard Milmeister
Fedora Extras Quality Assurance
:
Depends On:
Blocks:
  Show dependency treegraph
 
Reported: 2007-02-23 07:53 EST by Roberto Bagnara
Modified: 2007-11-30 17:11 EST (History)
0 users

See Also:
Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of:
Environment:
Last Closed: 2007-02-23 12:09:30 EST
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
CRM:
Verified Versions:
Category: ---
oVirt Team: ---
RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: ---


Attachments (Terms of Use)

  None (edit)
Description Roberto Bagnara 2007-02-23 07:53:42 EST
From Bugzilla Helper:
User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.8.1.1) Gecko/20061208 Firefox/2.0.0.1

Description of problem:
Since version 5.6.0, SWI-Prolog supports unbounded integers thanks to GMP.  While it is true that SWI-Prolog works also without GMP, in which case it only offers small integers, the result is of strictly inferior quality (all serious Prolog systems provide unbounded integers).  The solution is to make sure that `pl' BuildRequires `gmp-devel': the SWI-Prolog configuration script will detect it and the right thing will happen.

While we are at it, we may want to upgrade to version 5.6.28.

I can submit a patch, if you want.

Version-Release number of selected component (if applicable):


How reproducible:
Always


Steps to Reproduce:
1. pl


Actual Results:
?- current_prolog_flag(bounded, X).

X = true 

Yes


Expected Results:
?- current_prolog_flag(bounded, X).

X = false 

Yes


Additional info:
Comment 1 Gérard Milmeister 2007-02-23 12:09:30 EST
Thanks for the notification.
The next build will also update to the newest version.

Note You need to log in before you can comment on or make changes to this bug.