Search Criteria
Package Details: swi-prolog-devel 8.1.0-1
| Git Clone URL: | https://aur.archlinux.org/swi-prolog-devel.git (read-only) |
|---|---|
| Package Base: | swi-prolog-devel |
| Description: | Prolog environment (development version) |
| Upstream URL: | http://www.swi-prolog.org/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | metasyntax |
| Maintainer: | eazar001 |
| Last Packager: | eazar001 |
| Votes: | 14 |
| Popularity: | 0.022625 |
| First Submitted: | 2011-05-13 22:20 |
| Last Updated: | 2019-01-26 19:35 |
Dependencies (16)
- gmp (gmp-hg)
- libarchive (libarchive-git)
- openssl (openssl-via-padlock, openssl-no-aesni, libressl-git, openssl-purify, openssl-git, openssl-zlib, openssl-chacha20, libressl)
- readline (readline-athame-git)
- libjpeg (libjpeg-droppatch, mozjpeg-git, mozjpeg, libjpeg-turbo) (make)
- libxft (make)
- libxinerama (make)
- libxpm (make)
- unixodbc (make)
- java-environment (jdk5, zulu-jdk, jdk9-openj9-bin, jdk7, tuxjdk, jdk7-openjdk-infinality, java-8-openjdk-shenandoah, jdk8-openjdk-infinality, java-gcj-compat, jdk10-openjdk-openj9-bin, jdk8-openjdk-shenandoah, jdk9, zulu-10-bin, jdk-devel, jdk10, jdk-arm, jdk6, jdk-dcevm, jdk8-arm, jdk8-arm64, intellij-jdk, jdk11-openj9-bin, jdk8-openj9-bin, jdk8-openjdk-jetbrains, jdk-adoptopenjdk, zulu-11-bin, zulu-12-bin, jdk, jdk11, jdk7r1-j9-bin, jdk7-j9-bin, jdk8-j9-bin, jdk11-adoptopenjdk, graal-bin, java-openjdk-ea-bin, jdk12-openj9-bin, jdk8, jdk-openjdk, jdk10-openjdk, jdk7-openjdk, jdk8-openjdk) (optional) – for interfacing java with the jpl package
- libjpeg (libjpeg-droppatch, mozjpeg-git, mozjpeg, libjpeg-turbo) (optional) – for using the pl2xpce library
- libxft (optional) – for using the pl2xpce library
- libxinerama (optional) – for using the pl2xpce library
- libxpm (optional) – for using the pl2xpce library
- unixodbc (optional) – for using the odbc4pl library
- uuid (optional) – for using the uuid library
Required by (7)
- camisole-languages (requires swi-prolog)
- logtalk (requires swi-prolog) (optional)
- plgi (requires swi-prolog)
- quine-relay (requires swi-prolog)
- swish
- swish-cplint
- swish-cplint-bin
Latest Comments
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.
Thanks.
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): http://pastie.org/5798302
Although the INSTALL file suggests using --enable-shared, there are lots of warnings about it being an unrecognized option.