dev-lang / swi-prolog

free, small, and standard compliant Prolog compiler

Official package sites : http://www.swi-prolog.org/ ·

v7.7.1 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.7.0 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.6.0 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.6.0_rc2 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.6.0_rc1 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.5.15 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.5.14 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib

v7.5.13 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc readline ssl static-libs test uuid zlib

v7.4.2 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
amd64 x86 ~amd64-linux ~ppc ~ppc-macos ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc readline ssl static-libs test uuid zlib

v7.4.1 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~amd64-linux ~ppc ~ppc-macos ~x86 ~x86-linux ~x86-macos
USE flags
X archive berkdb debug doc gmp hardened java libedit libressl minimal odbc readline ssl static-libs test uuid zlib

v7.2.3-r1 :: 0 :: gentoo

Modified
License
LGPL-2.1
Keywords
amd64 ppc x86 ~amd64-linux ~ppc-macos ~x86-linux ~x86-macos
USE flags
X archive debug doc gmp hardened java libressl minimal odbc readline ssl static-libs test uuid zlib

v6.6.6 :: 0 :: gentoo

Modified
License
LGPL-2.1
Keywords
amd64 ppc x86 ~amd64-linux ~ppc-macos ~x86-linux ~x86-macos
USE flags
X archive debug doc gmp hardened java minimal odbc readline ssl static-libs test zlib

General

X
Add support for X11
archive
Use libarchive for extension packs
berkdb
Add support for sys-libs/db (Berkeley DB for MySQL)
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
gmp
Add support for dev-libs/gmp (GNU MP library)
hardened
Activate default security enhancements for toolchain (gcc, glibc, binutils)
java
Add support for Java
libedit
Use the libedit library (replacement for readline)
libressl
Use dev-libs/libressl as SSL provider (might need ssl USE flag), packages should not depend on this USE flag
minimal
Install a very minimal build (disables, for example, plugins, fonts, most drivers, non-critical features)
odbc
Add ODBC Support (Open DataBase Connectivity)
pcre
Add support for Perl Compatible Regular Expressions
readline
Enable support for libreadline, a GNU line-editing library that almost everyone wants
ssl
Add support for Secure Socket Layer connections
static-libs
Build static versions of dynamic libraries as well
test
Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
uuid
Use ossp-uuid for UUID pack
zlib
Add support for zlib (de)compression

elibc

FreeBSD
ELIBC setting for systems that use the FreeBSD C library

app-arch / libarchive : BSD tar command

dev-db / unixODBC : A complete ODBC driver manager

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

dev-java / junit : Simple framework to write repeatable tests

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

dev-libs / libedit : BSD replacement for libreadline

dev-libs / libpcre : Perl-compatible regular expression library

dev-libs / libressl : Free version of the SSL/TLS protocol forked from OpenSSL

dev-libs / openssl : full-strength general purpose cryptography library (including SSL and TLS)

dev-libs / ossp-uuid : An ISO-C:1999 API with CLI for generating DCE, ISO/IEC and RFC compliant UUID

sys-libs / db : Oracle Berkeley DB

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 / jpeg : A virtual for the libjpeg.so.62 ABI for binary-only programs

x11-libs / libICE : X.Org Inter-Client Exchange library

x11-libs / libSM : X.Org Session Management library

x11-libs / libX11 : X.Org X11 library

x11-libs / libXft : X.Org Xft library

x11-libs / libXpm : X.Org Xpm library

x11-libs / libXt : X.Org X Toolkit Intrinsics library

x11-proto / xproto : X.Org xproto protocol headers

app-arch / libarchive : BSD tar command

dev-db / unixODBC : A complete ODBC driver manager

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

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

dev-libs / libedit : BSD replacement for libreadline

dev-libs / libpcre : Perl-compatible regular expression library

dev-libs / libressl : Free version of the SSL/TLS protocol forked from OpenSSL

dev-libs / openssl : full-strength general purpose cryptography library (including SSL and TLS)

dev-libs / ossp-uuid : An ISO-C:1999 API with CLI for generating DCE, ISO/IEC and RFC compliant UUID

sys-libs / db : Oracle Berkeley DB

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 / jpeg : A virtual for the libjpeg.so.62 ABI for binary-only programs

x11-libs / libICE : X.Org Inter-Client Exchange library

x11-libs / libSM : X.Org Session Management library

x11-libs / libX11 : X.Org X11 library

x11-libs / libXft : X.Org Xft library

x11-libs / libXpm : X.Org Xpm library

x11-libs / libXt : X.Org X Toolkit Intrinsics library

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

sci-mathematics / isabelle : Isabelle is a generic proof assistant

633804
dev-lang/swi-prolog stabilization
Keri Harris · gentoo
dev-lang/swi-prolog: version bump
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Thomas Deutschmann · gentoo
dev-lang/swi-prolog: x86 stable (bug #633804)
Package-Manager: Portage-2.3.10, Repoman-2.3.3
Keri Harris · gentoo
dev-lang/swi-prolog: stable on amd64. Bug #633804
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: add 7.6 RC versions
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: fix Prolog HTTP unit test races
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: version bump
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: version bump
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: support TAI leap seconds in date calculations
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: handle semweb XSD unit tests in non-C locales
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: support versions of OpenSSL built without patent encumbered crypto routines
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old 7.5 development versions
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old 7.5 development versions
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old 7.3 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: add 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.4 version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: add 7.4 upstream-stable version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.5 development version
Keri Harris · gentoo
dev-lang:swi-prolog: bump 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: add new 7.5 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
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/swi-prolog: bump 7.3 development version
Package-Manager: Portage-2.3.0, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/swi-prolog: drop unused license
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: support compiling with patent-unencumbered openssl
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: EAPI 5 bump
Package-Manager: portage-2.3.0
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
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/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.20.1
Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/Coacher/mpv-keep-build-timestamps-in-live-ebuild'
Pull request: https://github.com/gentoo/gentoo/pull/62
Amadeusz Żołnowski · gentoo
Merge branch 'master' of git+ssh://git.gentoo.org/repo/gentoo
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Patrice Clement · gentoo
Merge remote-tracking branch 'github/pr/448'.
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old versions
Package-Manager: portage-2.2.20.1
Agostino Sarubbo · gentoo
dev-lang/swi-prolog: x86 stable wrt bug #565490
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
Agostino Sarubbo · gentoo
dev-lang/swi-prolog: ppc stable wrt bug #565490
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: stable on amd64, wrt bug #565490
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: add support for libressl. Closes #565276
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump EAPI to 5
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: disable ODBC/X11 tests
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old versions
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: add support for uuid USE flag
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Keri Harris · gentoo
dev-lang/swi-prolog: remove old development versions
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: version bump
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
Keri Harris · gentoo
dev-lang/swi-prolog: bump 7.3 development version
Package-Manager: portage-2.2.20.1
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