diff options
author | Keri Harris <keri@gentoo.org> | 2012-01-24 06:36:41 +0000 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2012-01-24 06:36:41 +0000 |
commit | 570eb9247c684b8a3cb8051ff35c759d58984718 (patch) | |
tree | 3b45a788cdfad1a6fc00b37303a17f3cf30473ea /dev-lang/xsb | |
parent | Version bump #399377 by Samuli Suominen. (diff) | |
download | historical-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/ChangeLog | 7 | ||||
-rw-r--r-- | dev-lang/xsb/Manifest | 13 | ||||
-rw-r--r-- | dev-lang/xsb/xsb-3.3.5.ebuild | 212 |
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 +} |