Search Criteria
Package Details: swi-prolog-devel 8.3.22-1
Git Clone URL: | https://aur.archlinux.org/swi-prolog-devel.git (read-only, click to copy) |
---|---|
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: | 12 |
Popularity: | 0.000000 |
First Submitted: | 2011-05-13 22:20 |
Last Updated: | 2021-04-06 19:49 |
Dependencies (22)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- libarchive (libarchive-git)
- libyaml (libyaml-git)
- openssl (libressl-git, openssl-purify, openssl-zlib, openssl-git, openssl-weak-ciphers, openssl-hardened)
- readline (readline-athame-git, readline-git)
- cmake (cmake-git) (make)
- jdk-openjdk (jdk8-openjdk-dcevm, jdk11-openjdk-dcevm, jdk11-openjdk-dcevm-conflicts-fixed, jdk11-adoptopenjdk, jdk-adoptopenjdk, jdk15-adoptopenjdk) (make)
- junit (make)
- libjpeg (libjpeg-droppatch, mozjpeg-git, libjpeg-turbo-git, libjpeg-turbo-minimal-git, mozjpeg, libjpeg-turbo) (make)
- libxft (libxft-bgra-git, libxft-bgra) (make)
- libxinerama (libxinerama-randr-git) (make)
- libxpm (make)
- ninja (ninja-git, ninja-samurai, ninja-mem, ninja-kitware, ninja-bin) (make)
- unixodbc (erlang-unixodbc-git) (make)
- java-runtime (jdk5, tuxjdk, jre7-openjdk-infinality, java-8-openjdk-shenandoah, jre8-openjdk-infinality, java-gcj-compat, jdk9, jre9, jdk-devel, jre10, jdk8-arm64, jdk6, jdk12-openj9-bin, zulu-12-bin, jre6, jre12, jdk8-openjdk-dcevm, jdk11-graalvm-ee-bin, server-jre, jdk8-arm, jdk13-openj9-bin, jdk9-openj9-bin, jdk10, jdk11-openjdk-dcevm, jre8-openjdk-jetbrains, jre8-openjdk-shenandoah, jdk10-openj9-bin, jdk14-openj9-bin, jdk7, jre7, jre14, jdk8-jetbrains, jdk7r1-j9-bin, jdk7-j9-bin, zulu-14-bin, zulu-13-bin, jdk-bcl, jre-bcl, amazon-corretto-15, jdk11-openj9-bin, amazon-corretto-8, amazon-corretto-11, jdk11-openjdk-dcevm-conflicts-fixed, jre8, jdk8, jdk11-adoptopenjdk, zulu-15-bin, liberica-jre-8-full-bin, jdk8-j9-bin, zulu-embedded-jdk11, jdk8-openj9-bin, zulu-embedded-jdk8, jre11, sapmachine-jdk-bin, jre8-adoptopenjdk, jre11-jetbrains-imfix, java-openjdk-bin, jdk-adoptopenjdk, zulu-16-bin, jdk15-adoptopenjdk, jre-openj9, zulu-embedded-jdk, java-openjdk-ea-bin, jdk16-graalvm-bin, java-openjdk-loom-ea-bin, zulu-8-bin, zulu-11-bin, jre-jetbrains, jdk-jetbrains, jdk-arm, jdk8-graalvm-bin, jdk11-graalvm-bin, liberica-jdk-8-full-bin, liberica-jdk-11-bin, liberica-jdk-11-full-bin, liberica-jdk-11-lite-bin, liberica-jdk-full-bin, liberica-jre-11-bin, liberica-jre-11-full-bin, amazon-corretto-16, jdk-openj9-bin, jre, jre-openjdk, jre11-openjdk, jre7-openjdk, jre8-openjdk) (optional) – for using Prolog from Java
- jdk-openjdk (jdk8-openjdk-dcevm, jdk11-openjdk-dcevm, jdk11-openjdk-dcevm-conflicts-fixed, jdk11-adoptopenjdk, jdk-adoptopenjdk, jdk15-adoptopenjdk) (optional) – for using Prolog from Java
- libjpeg (libjpeg-droppatch, mozjpeg-git, libjpeg-turbo-git, libjpeg-turbo-minimal-git, mozjpeg, libjpeg-turbo) (optional) – for using the pl2xpce library
- libxft (libxft-bgra-git, libxft-bgra) (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 (8)
- camisole-languages (requires swi-prolog)
- logtalk (requires swi-prolog) (optional)
- pakcs (requires swi-prolog)
- plgi (requires swi-prolog)
- quine-relay (requires swi-prolog)
- swish
- swish-cplint
- swish-cplint-bin
Latest Comments
1 2 Next › Last »
archery commented on 2020-06-01 18:44
The hanging problem was fixed upstream a while ago.
redfast00 commented on 2020-03-26 23:52
Does not seem to build anymore on my machine: it gets stuck after:
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.
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.