dev-lang / xsb

XSB is a logic programming and deductive database system

Official package sites : http://xsb.sourceforge.net ·

v3.7.0-r1 :: 0 :: gentoo

Modified
License
GPL-2 LGPL-2
Keywords
~amd64 ~x86
USE flags
curl debug iodbc java mysql odbc pcre threads xml

v3.6.0-r1 :: 0 :: gentoo

Modified
License
GPL-2 LGPL-2
Keywords
~amd64 ~x86
USE flags
curl debug iodbc java mysql odbc pcre threads xml

v3.6.0 :: 0 :: gentoo

Modified
License
GPL-2 LGPL-2
Keywords
amd64 x86
USE flags
curl debug iodbc java mysql odbc pcre threads xml

General

curl
Add support for client-side URL transfer library
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
iodbc
Add support for iODBC library
java
Add support for Java
mysql
Add mySQL Database support
odbc
Add ODBC Support (Open DataBase Connectivity)
pcre
Add support for Perl Compatible Regular Expressions
threads
Add threads support for various packages. Usually pthreads
xml
Add support for XML files

elibc

FreeBSD
ELIBC setting for systems that use the FreeBSD C library

app-portage / elt-patches : Collection of patches for libtool.eclass

dev-db / libiodbc : ODBC Interface for Linux

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-libs / libpcre : Perl-compatible regular expression library

dev-libs / libxml2 : XML C parser and toolkit

net-misc / curl : A Client that groks URLs

sys-devel / autoconf : Used to create autoconfiguration files

sys-devel / automake : Used to generate Makefile.in from Makefile.am

sys-devel / libtool : A shared library tool for developers

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

virtual / mysql : Virtual for MySQL database server

dev-db / libiodbc : ODBC Interface for Linux

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-libs / libpcre : Perl-compatible regular expression library

dev-libs / libxml2 : XML C parser and toolkit

net-misc / curl : A Client that groks URLs

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

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
Brian Evans · gentoo
dev-lang/xsb: Revbumps for EAPI and dependencies
Non-maintainer commit Bug: https://bugs.gentoo.org/665870 Package-Manager: Portage-2.3.59, Repoman-2.3.12 Signed-off-by: Brian Evans <grknight@gentoo.org>
Keri Harris · gentoo
dev-lang/xsb: consider ac_tool_prefix when applying gcc flags
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/xsb: C99 extern inline fixes
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/xsb: XSB module does not require linking with ODBC shared libraries
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Keri Harris · gentoo
dev-lang/xsb: version bump
Package-Manager: Portage-2.3.8, 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>
Manuel Rüger · gentoo
dev-lang/xsb: Remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Agostino Sarubbo · gentoo
dev-lang/xsb: x86 stable wrt bug #609082
Package-Manager: portage-2.3.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-lang/xsb: amd64 stable wrt bug #609082
Package-Manager: portage-2.3.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Keri Harris · gentoo
dev-lang/xsb: gcc-5 fixes
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/xsb: respect host config in toplevel xsb-script
Package-Manager: portage-2.2.26
Keri Harris · gentoo
dev-lang/xsb: version bump
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