Package Details: swi-prolog-devel 8.1.23-1

Git Clone URL: (read-only, click to copy)
Package Base: swi-prolog-devel
Description: Prolog environment (development version)
Upstream URL:
Licenses: GPL, LGPL
Conflicts: swi-prolog
Provides: swi-prolog
Submitter: metasyntax
Maintainer: archery
Last Packager: archery
Votes: 14
Popularity: 0.000039
First Submitted: 2011-05-13 22:20
Last Updated: 2020-02-25 01:15

Dependencies (22)

Required by (7)

Sources (1)

Latest Comments

archery commented on 2019-09-14 20:02

Thanks, I added cmake to makedepends, and updated the build to produce 20%-30% faster code using Profile-guided-optimization (PGO).

driib commented on 2019-08-28 08:38

Fails without CMake installed:

PKGBUILD: line 35: cmake: command not found

After installing cmake, one has to rm -rf ~/.cache/pacaur/swi-prolog-devel if you get an error regarding an existing 'build/' folder.

bezirg commented on 2015-06-03 11:12

Updated. Thanks very much for the patch. Added as contributor.

bezirg commented on 2015-04-22 20:57

Updated. Sorry for the delay.

bezirg commented on 2014-11-18 09:49

Updated to latest version.

bezirg commented on 2014-08-20 21:03

Updated to the latest development version.

Matteotom commented on 2013-10-13 23:06

Could you please add

provides=("swi-prolog=${pkgver}" "swi-prolog-devel=${pkgver}")

to the pkgbuild? This allows this package to take the place of swi-prolog for the purpose of dependencies.


metasyntax commented on 2013-01-22 21:41

Oh yes, that is quite out of date. Sorry about that; I had updated it in my Mercurial repository but not in the AUR.

ackalker commented on 2013-01-21 23:16

A newer devel version (6.3.8) is available.
Here is an updated PKGBUILD (just updated pkgver and regenerated md5sums):

Although the INSTALL file suggests using --enable-shared, there are lots of warnings about it being an unrecognized option.