summaryrefslogtreecommitdiff
path: root/dev-lang/xsb
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-08-07 12:37:21 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-08-07 12:37:21 +0100
commitb8c7370a682e4e29cda623222d17a790c01c3642 (patch)
treef6caa14689bd00a5760eadaa381ff41e50ef3c1b /dev-lang/xsb
parent8a4997a7e2d1e36c089d4d76935b5a902d98d3d0 (diff)
gentoo auto-resync : 07:08:2024 - 12:37:20
Diffstat (limited to 'dev-lang/xsb')
-rw-r--r--dev-lang/xsb/Manifest5
-rw-r--r--dev-lang/xsb/xsb-3.8.0.ebuild198
-rw-r--r--dev-lang/xsb/xsb-4.0.0-r1.ebuild2
3 files changed, 2 insertions, 203 deletions
diff --git a/dev-lang/xsb/Manifest b/dev-lang/xsb/Manifest
index 74b208b64e84..eb75f247e006 100644
--- a/dev-lang/xsb/Manifest
+++ b/dev-lang/xsb/Manifest
@@ -1,8 +1,5 @@
AUX 0001-modern-C-fix-for-implicit-int.patch 998 BLAKE2B 4a9212fc68098914ac12593e2007c7444eb6d7b8f9461640ecc50c8c8c30631475c9e0663808df450b168d8156c346807454eb8795b11e43ac7f4abfa08475e0 SHA512 cb857bdd2bd496531c96a30fb2f4b84f894614adcaed7b6b4f809c3e9e256366e06218e0553c7c15af2b718653f2be3d2a45393849392650550c8d61a7b6bf60
DIST XSB-4-0-0.tar.gz 15340635 BLAKE2B 4832185a64c6c5786ae78e111c25cd3a5ffc2f80aec9c0c83f030ead482868c77b0d7abbfdf0d113b56fea395eb7e69ca2970a82ea70004fb78c0bf4de258a9d SHA512 fed1e0db4874db2508e0c1e716be20cbfbc4f7ed4c16e0b220750cfb3dfceb78bbdce0f8564b68c400af1bc2b8f9e3b35014e8849bba1705bddfab824f41e816
-DIST XSB38.tar.gz 13830570 BLAKE2B 60a6ab38435348d09e2d08bc65ca62c06b38495b72f40a6f3f10fe8d23949bfed0c580c9be0c8304d8a88a53b227bb695870b558d67f33a47543de6c1529180f SHA512 457c691450afcf3ed4e2fffc28deaef0949ef4bbf6fd69b504acc6507fbb144f2c6e427a25da2b6346b15b82e803c02d1b6962af698d16c1fcb9a3d56160ea30
-DIST xsb-3.8.0-gentoo-patchset-5.tar.gz 7748 BLAKE2B 291beb7a2bf567708119eb200e06fd0d6ac976b5eaea9646d9b5fe9fe67908e01f48b1e55e36fc98f7fe75ee4b654422bc0f9c565e00ac75fe36cccd0439bc2b SHA512 cd3762545bb0b0c5532607741f5946658cacf062c21913c8261988a2162ab848d860ae5a0d11d7a4b8b36994f7fbc91c6e6b4fa607e8cc6ebed434dbf421dec1
DIST xsb-4.0.0-gentoo-patchset-3.tar.gz 10487 BLAKE2B 37253b8e5bfd36cdf51f231e75215ea31d50f121e3c8b1126adfbc8998622f2a4ebdb976b3c67c13738095fd4b23b35e166a895c4ee038b1cae7ad962684ce86 SHA512 51738e5dd64711f42e5c8d831c955c533dbe900a129cc0e7eb5d393ef13d7b6206e5e9fc0e90b1422adb2d8c00ec870a50164d420a02da23770ba0ad3350b10b
-EBUILD xsb-3.8.0.ebuild 3684 BLAKE2B f3cb8e31a72ba410cbd38ca3da137097bca0fa5bce2799d47b848a12c32dbd4918cbdc440df570833ff377b85c565ff8417d7d244a7421989508df4ae2c837a3 SHA512 bec9a89c10256988a9ab42ebd75ee25fab4acf0eb3cf08614e6644e6dee8c49e3d95c77095fcd31fbd017b3c53a337d30efa418a4129570b8d2c2268704d8250
-EBUILD xsb-4.0.0-r1.ebuild 4520 BLAKE2B a85b4ca2f2912984c0eeb173c578fc69698ef01f66399ccc062b23c55998d5bfa57a96eafed35e9913b52e0768bdfe332e49092964edf34742f5762bb90e38c9 SHA512 9f4ad90c5686f5b4c8a91ecad0a0abc3892d0e3ff8981d99e1aeaa594f8c9b3d5038592d6dc1ed15cab082f414f487240feebd61e1db83fbfa9decacc0a52488
+EBUILD xsb-4.0.0-r1.ebuild 4514 BLAKE2B 1fb92d957672821e9a205fbd6d93c6b9e95f87c1f5cc2ff485cd414a1ca1fc590dbcf262db4d66192bbb262f571b0d5fbdfaa8befb5127d6ebead4e40d24100b SHA512 237b9a1ec204c788eb40a4825f96d91c9859e4747235d214bc7de3c8c7fd9d8ff08b8996800425eaec73295ca64a10f6910399172fe398b249095308b155fb7f
MISC metadata.xml 407 BLAKE2B bf2a1312d435a5b31fcc0536849ded569d7512ec8e2e7471c253586bc866e7ffb915311725efeef8f2c7d227a82ba615a5fa69380454efb654e719177e35a67e SHA512 87aa031c2a64c878f24be293a3e4cdf391b696a7ef96faa4f209fcfeb56db74f29a1e3de7ad845f84eca86d8b81944ecae6e4ea1119699b72bfcf125735a0c03
diff --git a/dev-lang/xsb/xsb-3.8.0.ebuild b/dev-lang/xsb/xsb-3.8.0.ebuild
deleted file mode 100644
index 7ab720531788..000000000000
--- a/dev-lang/xsb/xsb-3.8.0.ebuild
+++ /dev/null
@@ -1,198 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-PATCHSET_VER="5"
-
-inherit autotools java-pkg-opt-2
-
-DESCRIPTION="XSB is a logic programming and deductive database system"
-HOMEPAGE="http://xsb.sourceforge.net"
-SRC_URI="http://xsb.sourceforge.net/downloads/XSB38.tar.gz
- https://dev.gentoo.org/~keri/distfiles/xsb/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz"
-
-LICENSE="GPL-2 LGPL-2"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="curl debug iodbc java mysql odbc pcre threads xml"
-
-RDEPEND="curl? ( net-misc/curl )
- iodbc? ( dev-db/libiodbc )
- java? ( >=virtual/jdk-1.8:* )
- mysql? ( dev-db/mysql-connector-c:0= )
- odbc? ( dev-db/unixODBC )
- pcre? ( dev-libs/libpcre )
- xml? ( dev-libs/libxml2 )"
-
-DEPEND="${RDEPEND}"
-
-S="${WORKDIR}"/XSB
-
-PATCHES=( "${WORKDIR}/${PV}" )
-
-src_prepare() {
- default
- cd "${S}"/build
- eautoconf
-}
-
-src_configure() {
- cd "${S}"/build
-
- econf \
- --prefix=/usr/$(get_libdir) \
- --disable-optimization \
- --disable-ccmpl \
- --without-smodels \
- $(use_with odbc) \
- $(use_with iodbc) \
- $(use_enable threads mt) \
- $(use_enable debug)
-
- if use curl ; then
- cd "${S}"/packages/curl
- econf
- fi
-
- if use mysql ; then
- cd "${S}"/packages/dbdrivers/mysql
- econf
- fi
-
- if use odbc ; then
- cd "${S}"/packages/dbdrivers/odbc
- econf
- fi
-
- if use pcre ; then
- cd "${S}"/packages/pcre
- econf
- fi
-
- if use xml ; then
- cd "${S}"/packages/xpath
- econf
- fi
-}
-
-src_compile() {
- cd "${S}"/build
-
- default
-
- # All XSB Packages are compiled using a single Prolog engine.
- # Consequently they must all be compiled using a single make job.
-
- cd "${S}"/packages
- rm -f *.xwam
- emake -j1
-
- if use curl ; then
- emake -j1 curl
- emake -j1 sgml
- if use xml ; then
- emake -j1 xpath
- fi
- fi
-
- if use mysql ; then
- emake -j1 mysql
- fi
-
- if use odbc ; then
- emake -j1 odbc
- fi
-
- if use pcre ; then
- emake -j1 pcre
- fi
-}
-
-src_install() {
- cd "${S}"/build
- default
-
- local XSB_INSTALL_DIR=/usr/$(get_libdir)/xsb-${PV}
- dosym ${XSB_INSTALL_DIR}/bin/xsb /usr/bin/xsb
-
- cd "${S}"/packages
- local PACKAGES=${XSB_INSTALL_DIR}/packages
- insinto ${PACKAGES}
- doins *.xwam
-
- insinto ${PACKAGES}/chr
- doins chr/*.xwam
-
- insinto ${PACKAGES}/clpqr
- doins clpqr/*.xwam
-
- insinto ${PACKAGES}/gap
- doins gap/*.xwam
-
- insinto ${PACKAGES}/justify
- doins justify/*.xwam
- doins justify/*.H
-
- insinto ${PACKAGES}/regmatch
- doins regmatch/*.xwam
- insinto ${PACKAGES}/regmatch/cc
- doins regmatch/cc/*.H
-
- insinto ${PACKAGES}/slx
- doins slx/*.xwam
-
- insinto ${PACKAGES}/wildmatch
- doins wildmatch/*.xwam
- insinto ${PACKAGES}/wildmatch/cc
- doins wildmatch/cc/*.H
-
- if use curl ; then
- insinto ${PACKAGES}/curl
- doins curl/*.xwam
- insinto ${PACKAGES}/curl/cc
- doins curl/cc/*.H
- insinto ${PACKAGES}/sgml
- doins sgml/*.xwam
- insinto ${PACKAGES}/sgml/cc
- doins sgml/cc/*.H
- insinto ${PACKAGES}/sgml/cc/dtd
- doins sgml/cc/dtd/*
- if use xml ; then
- insinto ${PACKAGES}/xpath
- doins xpath/*xwam
- insinto ${PACKAGES}/xpath/cc
- doins xpath/cc/*.H
- fi
- fi
-
- if use mysql || use odbc ; then
- insinto ${PACKAGES}/dbdrivers
- doins dbdrivers/*.xwam
- doins dbdrivers/*.H
- insinto ${PACKAGES}/dbdrivers/cc
- doins dbdrivers/cc/*.H
- if use mysql ; then
- insinto ${PACKAGES}/dbdrivers/mysql
- doins dbdrivers/mysql/*.xwam
- insinto ${PACKAGES}/dbdrivers/mysql/cc
- doins dbdrivers/mysql/cc/*.H
- fi
- if use odbc ; then
- insinto ${PACKAGES}/dbdrivers/odbc
- doins dbdrivers/odbc/*.xwam
- insinto ${PACKAGES}/dbdrivers/odbc/cc
- doins dbdrivers/odbc/cc/*.H
- fi
- fi
-
- if use pcre ; then
- insinto ${PACKAGES}/pcre
- doins pcre/*.xwam
- insinto ${PACKAGES}/pcre/cc
- doins pcre/cc/*.H
- fi
-
- cd "${S}"
- dodoc FAQ README
-}
diff --git a/dev-lang/xsb/xsb-4.0.0-r1.ebuild b/dev-lang/xsb/xsb-4.0.0-r1.ebuild
index bf99d5d3efb6..7e053d1e83ff 100644
--- a/dev-lang/xsb/xsb-4.0.0-r1.ebuild
+++ b/dev-lang/xsb/xsb-4.0.0-r1.ebuild
@@ -14,7 +14,7 @@ SRC_URI="https://downloads.sourceforge.net/xsb/XSB-$(ver_rs 1-3 -).tar.gz
LICENSE="GPL-2 LGPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64"
IUSE="curl debug iodbc java mariadb mysql odbc pcre threads xml"
RDEPEND="curl? ( net-misc/curl )