Bugzilla will be upgraded to version 5.0 on a still to be determined date in the near future. The original upgrade date has been delayed.
Bug 229772 - SWI-Prolog requires GMP since version 5.6.0
SWI-Prolog requires GMP since version 5.6.0
Product: Fedora
Classification: Fedora
Component: pl (Show other bugs)
x86_64 Linux
medium Severity medium
: ---
: ---
Assigned To: Gérard Milmeister
Fedora Extras Quality Assurance
Depends On:
  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:
Last Closed: 2007-02-23 12:09:30 EST
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
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: Gecko/20061208 Firefox/

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:

Steps to Reproduce:
1. pl

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

X = true 


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

X = false 


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.