Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#16089 - [ppl] Add SWI Prolog support

Attached to Project: Arch Linux
Opened by Israel Herraiz (herraiz) - Monday, 07 September 2009, 23:36 GMT
Last edited by Allan McRae (Allan) - Wednesday, 09 September 2009, 13:06 GMT
Task Type Feature Request
Category Packages: Core
Status Closed
Assigned To Allan McRae (Allan)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: PPL is not compiled with SWI Prolog support

Compiling PPL with SWI Prolog support would be desirable because some Prolog applications use the PPL library. If the bundled version of PPL is not compile with this option, users will have to install the upstream sources instead of this package.

Additional info:
* package version(s): 0.10.2
* I am attaching a patch for the PKGBUILD file. It has been tested on ArchLinux i686.
   PKGBUILD.patch (0.2 KiB)
This task depends upon

Closed by  Allan McRae (Allan)
Wednesday, 09 September 2009, 13:06 GMT
Reason for closing:  Won't implement
Additional comments about closing:  see final comment
Comment by Allan McRae (Allan) - Tuesday, 08 September 2009, 00:33 GMT
Well.... swi-prolog is definitely not going to be a depends for ppl as that would force everybody to install it.

It could be added as an optdepends but given the AUR package "ppl-swi-prolog-interface-cvs" (which seems to the only package with swi-prolog support for ppl) has no votes or packages requiring it, I see no demand for this support and I will not be implementing it at this stage.
Comment by Israel Herraiz (herraiz) - Tuesday, 08 September 2009, 08:58 GMT
We are releasing a tool written in Proglog and using PPL soon. We would like to get it included in ArchLinux. That's the demand for this support :-).

In the other hand, that AUR package is completely outdated, it even depends on a package that does not exist (parma-polyhedra-library). But I guess that it will be easier to add my own package to the AUR. Anyway, I would prefer this support to be directly included in the PPL package.
Comment by Allan McRae (Allan) - Wednesday, 09 September 2009, 13:06 GMT
For the time being, creating a ppl-swi-prolog package in the AUR is the way to go. We can revisit this if popularity indicates the need.

Loading...