Search Criteria
Package Details: swi-prolog-devel 8.1.16-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: | https://www.swi-prolog.org/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | metasyntax |
| Maintainer: | archery |
| Last Packager: | archery |
| Votes: | 14 |
| Popularity: | 0.000277 |
| First Submitted: | 2011-05-13 22:20 |
| Last Updated: | 2019-11-14 12:08 |
Dependencies (22)
- gmp (gmp-hg)
- libarchive (libarchive-git)
- libyaml (libyaml-git)
- openssl (openssl-via-padlock, openssl-no-aesni, libressl-git, openssl-purify, openssl-git, openssl-zlib, openssl-chacha20)
- readline (readline-athame-git)
- cmake (cmake-git) (make)
- jdk-openjdk (jdk11-adoptopenjdk, jdk-adoptopenjdk) (make)
- junit (make)
- libjpeg (libjpeg-droppatch, mozjpeg-git, mozjpeg, libjpeg-turbo) (make)
- libxft (make)
- libxinerama (libxinerama-randr-git) (make)
- libxpm (make)
- ninja (ninja-git, ninja-kitware) (make)
- unixodbc (erlang-unixodbc-git) (make)
- java-runtime (server-jre, jdk5, jdk9-openj9-bin, tuxjdk, jre7-openjdk-infinality, java-8-openjdk-shenandoah, jre8-openjdk-infinality, java-gcj-compat, jdk10-openjdk-openj9-bin, jdk9, jre9, jdk-devel, jdk10, jre10, jdk-dcevm, jdk8-arm, jdk8-arm64, jre8-openjdk-shenandoah, jre8-openjdk-jetbrains, jdk8-j9-bin, jdk6, jdk-arm, jdk12-openj9-bin, zulu-12-bin, jdk7-j9-bin, jdk7r1-j9-bin, jetbrains-jre, jetbrains-jre8, java-openjdk-bin, jdk13-openj9-bin, java-openjdk-ea-bin, jre8, jdk8, jre11, jdk8-openj9-bin, jdk7, jre7, jdk11-adoptopenjdk, zulu-embedded-jdk11, jre, jre6, jdk-openj9-bin, jdk-adoptopenjdk, zulu-11-bin, graal-bin, jre12, amazon-corretto-8, amazon-corretto-11, jdk8-jetbrains, jdk11-openj9-bin, jdk-jetbrains, jre-openjdk, jre10-openjdk, jre11-openjdk, jre7-openjdk, jre8-openjdk) (optional) – for using Prolog from Java
- jdk-openjdk (jdk11-adoptopenjdk, jdk-adoptopenjdk) (optional) – for using Prolog from Java
- libjpeg (libjpeg-droppatch, mozjpeg-git, mozjpeg, libjpeg-turbo) (optional) – for using the pl2xpce library
- libxft (optional) – for using the pl2xpce library
- libxinerama (libxinerama-randr-git) (optional) – for using the pl2xpce library
- libxpm (optional) – for using the pl2xpce library
- unixodbc (erlang-unixodbc-git) (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
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-develif 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.
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.