Search Criteria
Package Details: swi-prolog-devel 9.3.16-1
Package Actions
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: | GPL, LGPL |
Conflicts: | swi-prolog |
Provides: | swi-prolog |
Submitter: | metasyntax |
Maintainer: | archery |
Last Packager: | archery |
Votes: | 12 |
Popularity: | 0.000000 |
First Submitted: | 2011-05-13 22:20 (UTC) |
Last Updated: | 2024-12-04 03:48 (UTC) |
Dependencies (22)
- gmp (gmp-hgAUR)
- libarchive (libarchive-gitAUR)
- libyaml (libyaml-gitAUR)
- openssl (openssl-gitAUR, openssl-staticAUR)
- readline (readline-gitAUR)
- cmake (cmake-gitAUR) (make)
- jdk-openjdk (jdk16-adoptopenjdkAUR, zing-21-binAUR, jdk21-temurinAUR, jdk11-temurinAUR, jdk17-temurinAUR, jdk-temurinAUR) (make)
- junit (make)
- libjpeg (mozjpeg-gitAUR, libjpeg-turbo-gitAUR, mozjpegAUR, libjpeg-turbo) (make)
- libxft (libxft-gitAUR) (make)
- libxinerama (libxinerama-randr-gitAUR) (make)
- libxpm (libxpm-gitAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- unixodbc (unixodbc-gitAUR) (make)
- java-runtime (jre10AUR, jre12AUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, jre7AUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jre11-jbr-xdgAUR, jre16-openjdkAUR, jre14-openjdkAUR, jre15AUR, jre14AUR, jre13AUR, jre16AUR, jre18-openjdkAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jre-openj9AUR, jdk11-graalvm-ee-binAUR, jre12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk8-graalvm-ee-binAUR, jdk20-openj9-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jre11AUR, jdk8-j9-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jdk8-dragonwell-extendedAUR, jre13-openjdkAUR, jre15-openjdkAUR, jdk21-graalvm-binAUR, jre17-jetbrainsAUR, jdk8-openj9-binAUR, jre-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, liberica-nik-24-full-binAUR, jre21-jetbrains-gitAUR, jdk21-jetbrains-gitAUR, zulu-17-binAUR, zulu-11-binAUR, zulu-8-binAUR, mandrel-binAUR, mandrel24-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jdk17-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk22-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk22-graalvm-binAUR, jre19-openjdkAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, jre21-jetbrainsAUR, jdk17-zulu-prime-binAUR, zing-21-binAUR, zing-8-binAUR, jdk23-graalvm-ee-binAUR, jre17AUR, java-openjdk-binAUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, jdk21-temurinAUR, amazon-corretto-8AUR, amazon-corretto-11AUR, jdk11-temurinAUR, liberica-jdk-full-binAUR, liberica-jdk-21-full-binAUR, liberica-jdk-8-full-binAUR, jdk17-temurinAUR, jdk8-temurinAUR, zulu-21-binAUR, jdk-temurinAUR, jre8AUR, jdk8AUR, zulu-17-fx-binAUR, jdk8-perfAUR, zulu-jre-fx-binAUR, zulu-fx-binAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, jdk-openj9-binAUR, jdk11-openj9-binAUR, jre-jetbrainsAUR, jre-openjdk-wakefieldAUR, jdk-openjdk-wakefieldAUR, jdk21-openj9-binAUR, zulu-23-binAUR, jreAUR, jdkAUR, jdk21-jetbrains-binAUR, jre-zulu-binAUR, jre-zulu-fx-binAUR, jdk21-dragonwell-standard-binAUR, jdk21-dragonwell-extended-binAUR, jdk-android-studioAUR, jdk17-openj9-binAUR, java-openjdk-ea-binAUR, jre-zuluAUR, jre-zulu-fxAUR, jre21-zulu-binAUR, jre17-zulu-binAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk) (optional) – for using Prolog from Java
- jdk-openjdk (jdk16-adoptopenjdkAUR, zing-21-binAUR, jdk21-temurinAUR, jdk11-temurinAUR, jdk17-temurinAUR, jdk-temurinAUR) (optional) – for using Prolog from Java
- libjpeg (mozjpeg-gitAUR, libjpeg-turbo-gitAUR, mozjpegAUR, libjpeg-turbo) (optional) – for using the pl2xpce library
- libxft (libxft-gitAUR) (optional) – for using the pl2xpce library
- libxinerama (libxinerama-randr-gitAUR) (optional) – for using the pl2xpce library
- libxpm (libxpm-gitAUR) (optional) – for using the pl2xpce library
- Show 2 more dependencies...
Required by (7)
- camisole-languages (requires swi-prolog)
- logtalk (requires swi-prolog) (optional)
- pakcs (requires swi-prolog)
- prologs (requires swi-prolog) (optional)
- r-rolog (requires swi-prolog)
- terminusdb (requires swi-prolog)
- terminusdb-dashboard (requires swi-prolog)
Latest Comments
1 2 3 Next › Last »
Chewing_Bever commented on 2023-02-12 07:04 (UTC)
This package fails to build for me in a clean chroot:
The reported file is provided by the
libedit
package. The strange part is that cmake does report it as being found beforehand:Got a clue as to why this happens?
Full logs: https://r8r.be/femC
lllrdgz commented on 2022-05-08 09:56 (UTC)
Hello, I have a problem with Swi-Prolog 8.5.11 for x86_64 - Arch Linux.
How can I fix this?
archery commented on 2020-06-01 18:44 (UTC)
The hanging problem was fixed upstream a while ago.
redfast00 commented on 2020-03-26 23:52 (UTC)
Does not seem to build anymore on my machine: it gets stuck after:
archery commented on 2019-09-14 20:02 (UTC)
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 (UTC) (edited on 2019-08-28 08:42 (UTC) by driib)
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.1 2 3 Next › Last »