diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-08-07 12:37:21 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-08-07 12:37:21 +0100 |
commit | b8c7370a682e4e29cda623222d17a790c01c3642 (patch) | |
tree | f6caa14689bd00a5760eadaa381ff41e50ef3c1b /dev-lang/xsb | |
parent | 8a4997a7e2d1e36c089d4d76935b5a902d98d3d0 (diff) |
gentoo auto-resync : 07:08:2024 - 12:37:20
Diffstat (limited to 'dev-lang/xsb')
-rw-r--r-- | dev-lang/xsb/Manifest | 5 | ||||
-rw-r--r-- | dev-lang/xsb/xsb-3.8.0.ebuild | 198 | ||||
-rw-r--r-- | dev-lang/xsb/xsb-4.0.0-r1.ebuild | 2 |
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 ) |