summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2012-01-24 06:36:41 +0000
committerKeri Harris <keri@gentoo.org>2012-01-24 06:36:41 +0000
commit570eb9247c684b8a3cb8051ff35c759d58984718 (patch)
tree3b45a788cdfad1a6fc00b37303a17f3cf30473ea /dev-lang/xsb
parentVersion bump #399377 by Samuli Suominen. (diff)
downloadhistorical-570eb9247c684b8a3cb8051ff35c759d58984718.tar.gz
historical-570eb9247c684b8a3cb8051ff35c759d58984718.tar.bz2
historical-570eb9247c684b8a3cb8051ff35c759d58984718.zip
Version bump
Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
Diffstat (limited to 'dev-lang/xsb')
-rw-r--r--dev-lang/xsb/ChangeLog7
-rw-r--r--dev-lang/xsb/Manifest13
-rw-r--r--dev-lang/xsb/xsb-3.3.5.ebuild212
3 files changed, 226 insertions, 6 deletions
diff --git a/dev-lang/xsb/ChangeLog b/dev-lang/xsb/ChangeLog
index 5d6b95838e88..e944ec7f79a4 100644
--- a/dev-lang/xsb/ChangeLog
+++ b/dev-lang/xsb/ChangeLog
@@ -1,6 +1,11 @@
# ChangeLog for dev-lang/xsb
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/xsb/ChangeLog,v 1.36 2012/01/21 20:14:29 keri Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/xsb/ChangeLog,v 1.37 2012/01/24 06:36:41 keri Exp $
+
+*xsb-3.3.5 (24 Jan 2012)
+
+ 24 Jan 2012; <keri@gentoo.org> +xsb-3.3.5.ebuild:
+ Version bump
*xsb-3.3.3 (21 Jan 2012)
diff --git a/dev-lang/xsb/Manifest b/dev-lang/xsb/Manifest
index 2af18a2202af..964397cc2c06 100644
--- a/dev-lang/xsb/Manifest
+++ b/dev-lang/xsb/Manifest
@@ -6,22 +6,25 @@ DIST XSB330.tar.gz 11037283 RMD160 6d22119f088599ebd89cb0a3e54bfbcb0da61614 SHA1
DIST XSB331.tar.gz 13975953 RMD160 02d93ea366cedbfd944d8b10fdae0857e0caecea SHA1 37e1a8e3033bf9a6c3edeb62c6355deddf114a5c SHA256 ea7eadbe8f37aa01b8093a6f96b81c0d90e31b2078a1ccd5275e7549a192bf95
DIST XSB332.tar.gz 11182086 RMD160 c2d01a9dfded470b84a67d4f34f581100fe18203 SHA1 e64b306a561e5c944bab601da2ba020c3eadf68b SHA256 1d26006526b13ba23bd11cf841fc38298097f46b958b22c5e11bd975ec6994bb
DIST XSB333.tar.gz 11069573 RMD160 4dadc27e67c614f58cc1cac3ca05abec94e42e98 SHA1 8106ecc2ca8484cdfe590983cc4ff7720f452f0e SHA256 9dfa3cd4b443d1b9ee1796e11aa9961556013e995bcbfe792b705e1ee00daa04
+DIST XSB335.tar.gz 11724736 RMD160 e57fa486d30ecb0b3dbae661fbf2cb06a7eae999 SHA1 bf9450d6a93be57a67b0652376af22aabca329b0 SHA256 10a62160cbf31eb3db9d8c7fc33f561f96b6d4374aeba9c8af13ba2ba83e83bc
DIST xsb-3.2-gentoo-patchset-3.tar.gz 21365 RMD160 507e70f906645fe4df0941a1549dde774cbebacf SHA1 06bddf984fcc5b7e60c6db97acc46609dec088d7 SHA256 92e5e3e5bd930021501909474530d1336e0c5f5f830e84f773fcf3a8cd85021a
DIST xsb-3.3.0-gentoo-patchset-0.tar.gz 18528 RMD160 202945e47b616b616a2c14a759a3b91bf2a96e49 SHA1 683a03e12a25a8fe1eb4ecfe40c62afc26bbf19c SHA256 e9b8c3e2763a551c66b8e7931a7d285ab35b4db19c349d2d922d452eaf63c32c
DIST xsb-3.3.1-gentoo-patchset-0.tar.gz 19028 RMD160 4b0fcb39aa7e76f14d107be917f0fb78f44dfe02 SHA1 0b33020d82561ba47285b76cdc2f24595787c2e8 SHA256 e091d43d7b1fcf3e52996d5301c4ddb18227d279394a894ec5a7f56016fa7569
DIST xsb-3.3.2-gentoo-patchset-3.tar.gz 18167 RMD160 9b2a731c628961a626032ed5558074d540f66a65 SHA1 bbf8a98333b3072c277dff0bd820a87dbee8348a SHA256 2fb86eb7b610a810c192a04c441b4397375dcd462c4aeec144098992f8c2e0ec
-DIST xsb-3.3.3-gentoo-patchset-0.tar.gz 17804 RMD160 e8cb01fd01e69878cc20729b915291ed6558e85d SHA1 bb3efd0076f42c12e3e73900517b38929913a5ed SHA256 37bf9c148ebdaa0d878bddae5bc832b9d49e939e610645c51d0ede314537102f
+DIST xsb-3.3.3-gentoo-patchset-0.tar.gz 17314 RMD160 31e22214115e3d8e9231099f4c87415dc20cf0d7 SHA1 529f8e0ed1d4879e69719cbfbf1d161ed6ef2921 SHA256 eaec68638ea4419a4b3bea1c09cfb97061e13f2683000ac54c3c20046eca9db2
+DIST xsb-3.3.5-gentoo-patchset-0.tar.gz 18570 RMD160 06d3f3dd29f0007fe7eb4fd73abeb5e6ea562d00 SHA1 229a755b756f47319c23ebbd98d8b9fb7fd26874 SHA256 808e90836e69bcd9609ad945377324a65a2f86472c934638fbe5cba5b49bdd88
EBUILD xsb-3.2-r1.ebuild 4482 RMD160 89c78ba1135643b5569a932d7ffee8aa40a46fd6 SHA1 7c7182a71332e86ac8b18c6e3fab237f1a2cb003 SHA256 b71aff88c5a31cfb1be4dccc68e58fe7a1ad0aa7b6a7fbbba6a1437d5db8f294
EBUILD xsb-3.3.0.ebuild 5105 RMD160 5eb2ed360e725f116fe9908742d6c8028dc3b8b3 SHA1 9af9bac2f42674e1f100edba2044012c10bdce24 SHA256 d70f587682a7b8baf758041a8447cb0c8266c7ed6f93ab4aa5d9811daf524cb0
EBUILD xsb-3.3.1.ebuild 5105 RMD160 43ccc27b7b374caee049cd65eb2e29428edda96b SHA1 12a189216231a0f16128db0f7b869beeedcfc812 SHA256 924df88f29956e6dd613c181b00dae34a9f06bd9af40d37538e380300efc2630
EBUILD xsb-3.3.2.ebuild 4484 RMD160 d359e6e325db7f9bf8704aaa4f2cc64eff38de58 SHA1 a1744948a2ab6260a338335d692517abd4a4f639 SHA256 fc3ed2e564f1eb71eff0b532d46a38c8f4e431560490249e37c10a578656677c
EBUILD xsb-3.3.3.ebuild 4452 RMD160 a213e34011c891905bd3ada9148c80a95a992824 SHA1 0bf7b1627dad9037f768f20e95b05b969724694c SHA256 26bc6fed655e5f665b45de469de35098ec222794ffe434c20a5fea9f396b96e4
-MISC ChangeLog 6196 RMD160 7bda179fbef41cedd28bd1305ad90fdc670121c2 SHA1 0abe663de601e7df249dbee32d22f26192fdf7e4 SHA256 3bf776d9faabec69955011eb69cdbc8ffad4fbe97ce353cab5cbd1a1dd2e0bd8
+EBUILD xsb-3.3.5.ebuild 4452 RMD160 6dcea50859616c29146f51f3a077f8f36c36fd6b SHA1 35bbf034573816ddfc38d4edba157c6963208c5f SHA256 1f351392e951faa99710163e9e194497089bfd986237090d2d0a12a152fc7bc5
+MISC ChangeLog 6290 RMD160 8d58fa465900846c93318d5dd8c1b608a6b6099a SHA1 77b7bf418d9d8e05dd2f113a2076fbb6712030d2 SHA256 8caf78e464498c3ac4a556127bcbe4006f73d96b4b0fb4122451c4e45eb3f402
MISC metadata.xml 159 RMD160 38d27fd1c5faabedefa5507dfd83cb4c952fbc8c SHA1 52b92682cf41e53e71bf432537a16215bd9546b1 SHA256 851bf218a4283a1d8ea6ef98af0119a40eaa78bfaaec49c2f3440437f52889ba
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
-iEYEARECAAYFAk8bHLEACgkQrwS/tqE49e1BSQCdFp2x0IWp53AytIgqdYMEm80A
-E4gAnR7ZL7nsFrfxliUv1V+R8Zovgmds
-=AnjV
+iEYEARECAAYFAk8eUYQACgkQrwS/tqE49e1StACdESuGcQA6ZW86ZLZ/6ILLjphp
+ZaIAoKksl1NhE6SXYg1eqUuyAvqxWIow
+=qwZK
-----END PGP SIGNATURE-----
diff --git a/dev-lang/xsb/xsb-3.3.5.ebuild b/dev-lang/xsb/xsb-3.3.5.ebuild
new file mode 100644
index 000000000000..65842a3cf835
--- /dev/null
+++ b/dev-lang/xsb/xsb-3.3.5.ebuild
@@ -0,0 +1,212 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/xsb/xsb-3.3.5.ebuild,v 1.1 2012/01/24 06:36:41 keri Exp $
+
+EAPI=2
+
+MY_P="XSB${PV//./}"
+
+PATCHSET_VER="0"
+
+inherit eutils 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/${MY_P}.tar.gz
+ mirror://gentoo/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz"
+
+LICENSE="GPL-2 LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="curl debug examples iodbc java mysql odbc pcre threads xml"
+
+RDEPEND="curl? ( net-misc/curl )
+ iodbc? ( dev-db/libiodbc )
+ java? ( >=virtual/jdk-1.4 )
+ mysql? ( virtual/mysql )
+ odbc? ( dev-db/unixODBC )
+ pcre? ( dev-libs/libpcre )
+ xml? ( dev-libs/libxml2 )"
+
+DEPEND="${RDEPEND}"
+
+S="${WORKDIR}"/XSB
+
+src_prepare() {
+ EPATCH_FORCE=yes
+ EPATCH_SUFFIX=patch
+ epatch "${WORKDIR}"/${PV}
+
+ cd "${S}"/build
+ eautoconf
+
+ find "${S}"/emu -name '*\.o' | xargs rm -f
+}
+
+src_configure() {
+ cd "${S}"/build
+
+ econf \
+ --libdir=/usr/$(get_libdir) \
+ --disable-optimization \
+ --without-smodels \
+ --with-config-tag="" \
+ $(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
+
+ emake || die "emake failed"
+
+ # 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 -rf *.xwam
+ emake -j1 || die "emake packages failed"
+
+ if use curl ; then
+ emake -j1 curl || die "emake curl package failed"
+ fi
+
+ if use mysql ; then
+ emake -j1 mysql || die "emake mysql package failed"
+ fi
+
+ if use odbc ; then
+ emake -j1 odbc || die "emake odbc package failed"
+ fi
+
+ if use pcre ; then
+ emake -j1 pcre || die "emake pcre package failed"
+ fi
+
+ if use xml ; then
+ emake -j1 xpath || die "emake xpath package failed"
+ fi
+}
+
+src_install() {
+ cd "${S}"/build
+ emake DESTDIR="${D}" install || die "make install failed"
+
+ local XSB_INSTALL_DIR=/usr/$(get_libdir)/xsb-${PV}
+ dosym ${XSB_INSTALL_DIR}/bin/xsb /usr/bin/xsb || die
+
+ cd "${S}"/packages
+ local PACKAGES=${XSB_INSTALL_DIR}/packages
+ insinto ${PACKAGES}
+ doins *.xwam || die
+
+ insinto ${PACKAGES}/chr
+ doins chr/*.xwam || die
+
+ insinto ${PACKAGES}/chr_d
+ doins chr_d/*.xwam || die
+
+ insinto ${PACKAGES}/gap
+ doins gap/*.xwam || die
+
+ insinto ${PACKAGES}/justify
+ doins justify/*.xwam || die
+ doins justify/*.H || die
+
+ insinto ${PACKAGES}/regmatch
+ doins regmatch/*.xwam || die
+ insinto ${PACKAGES}/regmatch/cc
+ doins regmatch/cc/*.H || die
+
+ insinto ${PACKAGES}/sgml
+ doins sgml/*.xwam || die
+ insinto ${PACKAGES}/sgml/cc
+ doins sgml/cc/*.H || die
+ insinto ${PACKAGES}/sgml/cc/dtd
+ doins sgml/cc/dtd/* || die
+
+ insinto ${PACKAGES}/slx
+ doins slx/*.xwam || die
+
+ insinto ${PACKAGES}/wildmatch
+ doins wildmatch/*.xwam || die
+ insinto ${PACKAGES}/wildmatch/cc
+ doins wildmatch/cc/*.H || die
+
+ if use curl ; then
+ insinto ${PACKAGES}/curl
+ doins curl/*.xwam || die
+ fi
+
+ if use mysql || use odbc ; then
+ insinto ${PACKAGES}/dbdrivers
+ doins dbdrivers/*.xwam || die
+ doins dbdrivers/*.H || die
+ insinto ${PACKAGES}/dbdrivers/cc
+ doins dbdrivers/cc/*.H || die
+ if use mysql ; then
+ insinto ${PACKAGES}/dbdrivers/mysql
+ doins dbdrivers/mysql/*.xwam || die
+ insinto ${PACKAGES}/dbdrivers/mysql/cc
+ doins dbdrivers/mysql/cc/*.H || die
+ fi
+ if use odbc ; then
+ insinto ${PACKAGES}/dbdrivers/odbc
+ doins dbdrivers/odbc/*.xwam || die
+ insinto ${PACKAGES}/dbdrivers/odbc/cc
+ doins dbdrivers/odbc/cc/*.H || die
+ fi
+ fi
+
+ if use pcre ; then
+ insinto ${PACKAGES}/pcre
+ doins pcre/*.xwam || die
+ insinto ${PACKAGES}/pcre/cc
+ doins pcre/cc/*.H || die
+ fi
+
+ if use xml ; then
+ insinto ${PACKAGES}/xpath
+ doins xpath/*xwam || die
+ insinto ${PACKAGES}/xpath/cc
+ doins xpath/cc/*.H || die
+ fi
+
+ if use examples ; then
+ cd "${S}"/build
+ emake \
+ DESTDIR="${D}" \
+ install_examples="${D}"/usr/share/doc/${PF}/examples \
+ install_examples || die "make install_examples failed"
+ fi
+
+ cd "${S}"
+ dodoc FAQ README || die
+}