Search Criteria
Package Details: yap 7.6.0-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/yap.git (read-only, click to copy) |
---|---|
Package Base: | yap |
Description: | A high-performance Prolog compiler |
Upstream URL: | http://www.dcc.fc.up.pt/~vsc/yap/ |
Keywords: | prolog |
Licenses: | LGPL-3.0-only |
Submitter: | keenerd |
Maintainer: | hurufu |
Last Packager: | hurufu |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2015-06-22 05:21 (UTC) |
Last Updated: | 2024-11-09 13:57 (UTC) |
Dependencies (15)
- gmp (gmp-hgAUR)
- libmariadbclient (libmysqlclient55AUR, libmysqlclient56AUR, mariadb-libs-gitAUR, libmysqlclient81AUR, libmysqlclient57AUR, libmysqlclient80AUR, libmysqlclientAUR, mariadb-libs, mariadb-lts-libs)
- unixodbc (unixodbc-gitAUR)
- doxygen (doxygen-gitAUR, doxygen-yapAUR) (make)
- jdk7-openjdk (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- texi2html (make)
- texinfo (texinfo-gitAUR) (make)
- cudd (optional) – For Problog
- gecodeAUR (optional) – For contstraints solving
- java-runtime-headless (jre10AUR, jre12AUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, jre7AUR, amazon-corretto-16AUR, jdk16-adoptopenjdkAUR, jdk8-armAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jre11-jbr-xdg-headlessAUR, jre16-openjdk-headlessAUR, jre14-openjdk-headlessAUR, jre15AUR, jre14AUR, jre13AUR, jre16AUR, jre18-openjdk-headlessAUR, amazon-corretto-19-binAUR, liberica-jre-11-full-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jre-openj9-headlessAUR, jre12-openjdk-headlessAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, zulu-15-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, jre13-openjdk-headlessAUR, jre15-openjdk-headlessAUR, jdk8-openj9-binAUR, jre-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, liberica-nik-24-full-binAUR, zulu-17-binAUR, zulu-11-binAUR, zulu-8-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jre19-openjdk-headlessAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, jdk21-openj9-binAUR, jreAUR, jdkAUR, zing-21-binAUR, zing-8-binAUR, jre17AUR, jdk21-jetbrains-binAUR, java-openjdk-binAUR, jre21-zulu-binAUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, jre17-zulu-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, 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, jdk17-openj9-binAUR, jre-jetbrainsAUR, java-openjdk-ea-binAUR, jre-openjdk-wakefield-headlessAUR, jre-openjdk-wakefieldAUR, jdk-openjdk-wakefieldAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre-openjdk-headless, jre11-openjdk, jre11-openjdk-headless, jre17-openjdk, jre17-openjdk-headless, jre21-openjdk, jre21-openjdk-headless, jre8-openjdk-headless) (optional) – Java Interface Library JPL
- openmpi (openmpi-gitAUR) (optional)
- python3 (python) (optional) – For using Python from YAP
- r (r352AUR, r-mklAUR) (optional) – For R bindings
- swig (swig-gitAUR) (optional)