Note: This is a beta release of Red Hat Bugzilla 5.0. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Also email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback here.

Bug 229772

Summary: SWI-Prolog requires GMP since version 5.6.0
Product: [Fedora] Fedora Reporter: Roberto Bagnara <bagnara>
Component: plAssignee: Gérard Milmeister <gemi>
Status: CLOSED NEXTRELEASE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: medium    
Version: 6   
Target Milestone: ---   
Target Release: ---   
Hardware: x86_64   
OS: Linux   
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2007-02-23 17:09:30 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Roberto Bagnara 2007-02-23 12:53:42 UTC
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 17:09:30 UTC
Thanks for the notification.
The next build will also update to the newest version.