gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

versatile implementation of the Prolog programming language

Screenshots

  • swi-prolog-8.1.8
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.1.7
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.1.6
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.1.5
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.0.2
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.0.1
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.0.0
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.6.4
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.6.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.4.2
    amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)

USE Flags

archive
Global: Enables support for accessing files in archives transparently via app-arch/libarchive
berkdb
Global: Adds support for sys-libs/db (Berkeley DB for MySQL)
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
doc
Global: Adds extra documentation (API, Javadoc, etc)
+gmp
* This flag is undocumented *
java
Global: Adds support for Java
+libedit
* This flag is undocumented *
libressl
* This flag is undocumented *
minimal
Global: Install a very minimal build (disables, for example, plugins, fonts, most drivers, non-critical features)
odbc
Global: Adds ODBC Support (Open DataBase Connectivity)
pcre
Global: Adds support for Perl Compatible Regular Expressions
qt5
* This flag is undocumented *
readline
Global: Enables support for libreadline, a GNU line-editing library that almost everyone wants
ssl
Global: Adds support for Secure Socket Layer connections
test
Global: 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
Global: Enable server side UUID generation (via dev-libs/ossp-uuid)
X
Global: Adds support for X11
yaml
Global: Use the dev-libs/libyaml library to build the psych extension, available since Ruby 1.9.2_rc2, in alternative to the bundled syck-based parser.
hardened
Global: activate default security enhancements for toolchain (gcc, glibc, binutils)
static-libs
Global: Build static libraries
zlib
Global: Adds support for zlib (de)compression
elibc_FreeBSD
* This flag is undocumented *