dev-lang / xsb

XSB is a logic programming and deductive database system

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

v4.0.0-r1 :: 0 :: gentoo

Modified
License
GPL-2 LGPL-2
Keywords
amd64
USE flags
curl debug iodbc java mariadb 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
mariadb
Enable support for the mariadb database backend
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

dev-db / libiodbc : ODBC Interface for Linux

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

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

dev-db / unixODBC : 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)

dev-db / libiodbc : ODBC Interface for Linux

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

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

dev-db / unixODBC : 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)

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

828860
dev-lang/xsb-4.0.0 - configure: error: uncecognized option: --enable-option-checking=warn
829661
dev-lang/xsb-4.0.0 fails to compile: /usr/bin/x86_64-pc-linux-gnu-ld: cannot find -lgcc_s
830818
dev-lang/xsb-4.0.0 fails to compile: thread_xsb.c:1937:59: error: PTHREAD_MUTEX_ERRORCHECK_NP undeclared (first use in this function); did you mean PTHREAD_MUTEX_ERRORCHECK?
920916
dev-lang/xsb-3.8.0 - [clang] biassert.c: error: parameter Arg3 was not declared, defaults to int; ISO C99 and later do not support implicit int [-Wimplicit-in
930439
dev-lang/xsb-4.0.0 - timer_xsb.c: error: passing argument 3 of pthread_create from incompatible pointer type [-Wincompatible-pointer-types]
Repository mirror & CI · gentoo
Merge updates from master
Volkmar W. Pogatzki · gentoo
dev-lang/xsb: drop 3.8.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/xsb: Stabilize 4.0.0-r1 amd64, #936817
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/xsb: dekeyword x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
dev-lang/xsb: mark as LTO-unsafe, strict-aliasing unsafe
Closes: https://bugs.gentoo.org/855659 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Eli Schwartz · gentoo
dev-lang/xsb: update HOMEPAGE for HTTPS support
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Eli Schwartz · gentoo
dev-lang/xsb: update EAPI 7 -> 8
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Eli Schwartz · gentoo
dev-lang/xsb: fix modern C error in configure script misdetecting features
Closes: https://bugs.gentoo.org/870970 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Lucio Sauer · gentoo
*/*: inline mirror://sourceforge
bump copyright of touched ebuilds to 2024 Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/xsb: use PV in SRC_URI
Avoids mistakes on bumping and why not? Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Keri Harris · gentoo
dev-lang/xsb: support building with autoconf-2.70
Closes: https://bugs.gentoo.org/806400 Package-Manager: Portage-3.0.20, 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/xsb: respect CFLAGS when building gpp. Closes #789363
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/xsb: define XSB FltInt for single-threaded engines
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/xsb: version bump
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/xsb: link xsb module with compiler instead of ld
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/xsb: 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
Keri Harris · gentoo
dev-lang/xsb: fix build with autoconf-2.71
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
Keri Harris · gentoo
dev-lang/xsb: remove old versions
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/xsb: stable on amd64 + x86. Closes 741688
Package-Manager: Portage-2.3.103, 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/xsb: fix up dbdriver resolver paths
Package-Manager: Portage-2.3.103, 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/xsb: musl libc fixups for _IO_FILE
Package-Manager: Portage-2.3.99, 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/xsb: respect LD environment variable. Closes 729870
Package-Manager: Portage-2.3.99, 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/xsb: version bump
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: [QA] Remove redundant `|| die` guards
* Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
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