dev-lang / yap

YAP is a high-performance Prolog compiler

Official package sites : http://www.dcc.fc.up.pt/~vsc/Yap/ ·

v6.3.3-r1 :: 0 :: gentoo

Modified
License
Artistic LGPL-2
Keywords
amd64 x86
USE flags
R debug doc examples gmp java mpi mysql odbc readline static threads

v6.3.3 :: 0 :: gentoo

Modified
License
Artistic LGPL-2
Keywords
amd64 x86
USE flags
R debug doc examples gmp java mpi mysql odbc readline static threads

General

R
Enable support for connecting R to Prolog
debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
gmp
Add support for dev-libs/gmp (GNU MP library)
java
Add support for Java
mpi
Add MPI (Message Passing Interface) layer to the apps that support it
mysql
Add mySQL Database support
odbc
Add ODBC Support (Open DataBase Connectivity)
readline
Enable support for libreadline, a GNU line-editing library that almost everyone wants
static
!!do not set this during bootstrap!! Causes binaries to be statically linked instead of dynamically
threads
Add threads support for various packages. Usually pthreads

elibc

FreeBSD
ELIBC setting for systems that use the FreeBSD C library

app-text / texi2html : Perl script that converts Texinfo to HTML

dev-db / mysql-connector-c : C client library for MariaDB/MySQL

dev-db / unixODBC : A complete ODBC driver manager

dev-java / java-config : Java environment configuration query tool

dev-lang / R : Language and environment for statistical computing and graphics

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

sys-libs / ncurses : console display library

sys-libs / readline : Another cute console display library

sys-libs / zlib : Standard (de)compression library

virtual / jdk : Virtual for Java Development Kit (JDK)

virtual / mpi : Virtual for Message Passing Interface (MPI) v2.0 implementation

virtual / mysql : Virtual for MySQL database server

dev-db / mysql-connector-c : C client library for MariaDB/MySQL

dev-db / unixODBC : A complete ODBC driver manager

dev-java / java-config : Java environment configuration query tool

dev-lang / R : Language and environment for statistical computing and graphics

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

sys-libs / ncurses : console display library

sys-libs / readline : Another cute console display library

sys-libs / zlib : Standard (de)compression library

virtual / jdk : Virtual for Java Development Kit (JDK)

virtual / mpi : Virtual for Message Passing Interface (MPI) v2.0 implementation

virtual / mysql : Virtual for MySQL database server

dev-lang / interprolog : InterProlog is a Java front-end and enhancement for Prolog

Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
dev-lang/yap: x86 stable (bug #690980)
Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: stable on amd64. Bug #690980
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: consolidate YAP patches
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
dev-lang/yap: Fix building against GCC 9
Closes: https://bugs.gentoo.org/686048 Package-Manager: Portage-2.3.67, Repoman-2.3.15 Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Brian Evans · gentoo
dev-lang/yap: Fix dependency, QA error and update EAPI
Non-maintainer commit Bug: https://bugs.gentoo.org/665872 Package-Manager: Portage-2.3.59, Repoman-2.3.12 Signed-off-by: Brian Evans <grknight@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
dev-lang/yap: drop ppc keywords
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: stream-trylock fixes for GCC-7
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: patch CLPBN package for gcc 7
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Keri Harris · gentoo
dev-lang/yap: remove old versions
Package-Manager: portage-2.3.0
Agostino Sarubbo · gentoo
dev-lang/yap: ppc stable wrt bug #576994
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Thomas Deutschmann · gentoo
dev-lang/yap: x86 stable (bug #576994)
Package-Manager: Portage-2.3.2, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/yap: disable outdated gecode bindings. Closes #590960
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/yap: avoid compile-time MPE-YAP interface redefinitions. Closes #589186
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: do not build jpl docs as they are not installed and have been superceded by pldocs
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: fix gcc-5 compilation of swi-minisat
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: always inline cp-float-unaligned instructions. Closes #577106
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: differentiate between mysql & odbc during MYDDAS config checks
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: 6.3.3 stable on amd64. #576994
Package-Manager: portage-2.2.26
Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/sbraz/syncthing'
Pull Request: https://github.com/gentoo/gentoo/pull/990
Keri Harris · gentoo
dev-lang/yap: avoid missing SWI-YAP interface definitions with USE=-readline
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: avoid compile-time MPI-YAP interface redefinitions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: provide clean YAP/SWI interface
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/yap: bump EAPI to 5; support compiling ODBC Prolog package on x86
Package-Manager: portage-2.2.26
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed