dev-lang / yap

YAP is a high-performance Prolog compiler

Official package sites : https://web.archive.org/web/20181115131216/http://www.dcc.fc.up.pt/~vsc/Yap/ ·

v7.1.0 :: 0 :: gentoo

Modified
License
Artistic LGPL-2
Keywords
~amd64 ~x86
USE flags
R debug doc examples java mpi mysql odbc postgres python raptor readline sqlite static threads xml

v7.0.1 :: 0 :: gentoo

Modified
License
Artistic LGPL-2
Keywords
amd64 ~x86
USE flags
R debug doc examples java mpi mysql odbc postgres python raptor readline sqlite static threads xml

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
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)
postgres
Add support for the postgresql database
python
Add optional support/bindings for the Python language
raptor
Enable support for Raptor RDF syntax libarary
readline
Enable support for libreadline, a GNU line-editing library that almost everyone wants
sqlite
Add support for sqlite - embedded sql database
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
xml
Add support for XML files

python_single_target

python3_10
Build for Python 3.10 only
python3_11
Build for Python 3.11 only

app-text / doxygen : Documentation system for most programming languages

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

dev-db / postgresql : PostgreSQL RDBMS

dev-db / sqlite : SQL database engine

dev-db / unixODBC : Complete ODBC driver manager

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

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / swig : Simplified Wrapper and Interface Generator

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

dev-libs / libutf8proc : A clean C Library for processing UTF-8 Unicode data

dev-libs / libxml2 : XML C parser and toolkit

dev-python / numpy : Fast array and numerical python library

dev-python / wheel : A built-package format for Python

media-libs / raptor : The RDF Parser Toolkit

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

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

dev-db / postgresql : PostgreSQL RDBMS

dev-db / sqlite : SQL database engine

dev-db / unixODBC : Complete ODBC driver manager

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

dev-lang / python : An interpreted, interactive, object-oriented programming language

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

dev-libs / libutf8proc : A clean C Library for processing UTF-8 Unicode data

dev-libs / libxml2 : XML C parser and toolkit

dev-python / numpy : Fast array and numerical python library

dev-python / wheel : A built-package format for Python

media-libs / raptor : The RDF Parser Toolkit

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

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

828707
dev-lang/yap-6.3.4-r1 - One or more CMake variables were not used by the project:
832090
dev-lang/yap-7.1.0 - ninja: build stopped: subcommand failed.
832217
dev-lang/yap-7.1.0 - stack smashing detected : terminated
855662
dev-lang/yap-7.1.0 fails to compile (lto): exec.c:982:7: error: type of MkErrorTerm does not match original declaration [-Werror=lto-type-mismatch]
874585
dev-lang/yap-7.1.0 - /.../arrays.c: error: incompatible integer to pointer conversion passing Term (aka unsigned long) to paramete
895030
dev-lang/yap-7.1.0 fails to compile (MUSL-CLANG-SYSTEM): sysbits.h:194:9: error: call to undeclared library function va_start with type void (struct __va_list_tag , ...); ISO C99 and later do not support implicit function declarations [-Wimplicit-functio
913641
dev-lang/yap-7.1.0 - FAILED: startup.yss .../startup.yss
917521
dev-lang/yap-7.1.0 - FAILED: .../java_compiled_jpl
917531
dev-lang/yap-7.1.0: calls javac directly
929405
dev-lang/yap: needs upgrade to Python 3.12 (PythonCompatUpdate)
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
dev-lang/yap: remove unused eclass
In the 2021 bump to 7.x, use of append-flags was dropped, but the corresponding eclass wasn't dropped with it. Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/yap: do not require python_setup to run if not USE=python
We don't need to check for a python impl, since python itself is optional. This is especially relevant given that it hasn't been migrated to python 3.12, so by default there is no available implementation selected, and python support is also NOT built by default, so this change makes it build by default. Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Eli Schwartz · gentoo
dev-lang/yap: update HOMEPAGE to web.archive.org
Use the most recent archived copy that works. You may ask: why use archive.org as homepage, if github exists? Answer: because the git repository is very... sparse... on details. No README, no other website... and archive.org has documentation! Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
Move {app-doc → app-text}/doxygen
Per the category metadata, app-doc/ is reserved for documentation *files* and not software. Move it to app-text/ where it seems a better fit. Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/yap: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: Yap CXX interface requires GMP
Closes: https://bugs.gentoo.org/833780 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: support python 3.10 + 3.11
Closes: https://bugs.gentoo.org/845651 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: remove old version
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: Stable on amd64 and x86
Closes: https://bugs.gentoo.org/831781 Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: support building without readline
Closes: https://bugs.gentoo.org/830353 Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Keri Harris · gentoo
dev-lang/yap: fix singleton errors in bootstrap
Closes: https://bugs.gentoo.org/828911 Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: update patchset for x86 fixes
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: version bump
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: version bump
Package-Manager: Portage-3.0.28, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: compile JPL without depending on AWT
Closes: https://bugs.gentoo.org/792717 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/yap: fix docinto argument (avoid double 'prefix')
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: support Python 3.9
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: migrate to cmake.eclass
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: update JDK dependency
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/yap: eutils--
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Remove obsolete values from PYTHON_COMPAT
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: remove old version
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: support for GCC 10
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: work around broken YAP with fno-common
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: stabilize 6.3.4 x86, #764059
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/yap: Stabilize 6.3.4 amd64, #764059
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: correctly specify PYTHON_REQUIRED_USE
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: QA fixups
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: version bump
Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: fix MYDDAS compiled with stdbool. Closes #720324
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/yap: remove old version
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.11
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