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
« First ‹ Previous 1 2
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.