summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/swi-prolog/ChangeLog7
-rw-r--r--dev-lang/swi-prolog/files/digest-swi-prolog-5.6.476
-rw-r--r--dev-lang/swi-prolog/swi-prolog-5.6.47.ebuild132
3 files changed, 144 insertions, 1 deletions
diff --git a/dev-lang/swi-prolog/ChangeLog b/dev-lang/swi-prolog/ChangeLog
index 6088f4e9f353..7850d103e5de 100644
--- a/dev-lang/swi-prolog/ChangeLog
+++ b/dev-lang/swi-prolog/ChangeLog
@@ -1,6 +1,11 @@
# ChangeLog for dev-lang/swi-prolog
# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.125 2007/11/21 05:35:54 keri Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.126 2007/11/21 08:18:52 keri Exp $
+
+*swi-prolog-5.6.47 (21 Nov 2007)
+
+ 21 Nov 2007; keri <keri@gentoo.org> +swi-prolog-5.6.47.ebuild:
+ Version bump.
21 Nov 2007; keri <keri@gentoo.org> swi-prolog-5.6.37.ebuild,
swi-prolog-5.6.38.ebuild, swi-prolog-5.6.39.ebuild,
diff --git a/dev-lang/swi-prolog/files/digest-swi-prolog-5.6.47 b/dev-lang/swi-prolog/files/digest-swi-prolog-5.6.47
new file mode 100644
index 000000000000..0b26d7cc46e9
--- /dev/null
+++ b/dev-lang/swi-prolog/files/digest-swi-prolog-5.6.47
@@ -0,0 +1,6 @@
+MD5 4651f59c31225e87aa977274516cf818 pl-5.6.47.tar.gz 11382727
+RMD160 bb58f3b39ec4a76341a978d23a3f7c61247129d7 pl-5.6.47.tar.gz 11382727
+SHA256 fd03bf20e04f421fe355b48911ab543fe0afd23d5d273e02f3f71d29e2b54add pl-5.6.47.tar.gz 11382727
+MD5 956e7ba8d2a98264d74a1def82bf9b14 swi-prolog-5.6.47-gentoo-patchset-0.tar.gz 8980
+RMD160 d17dc10f2e3f9c56b3ad4b7803d3a3168c8d7843 swi-prolog-5.6.47-gentoo-patchset-0.tar.gz 8980
+SHA256 da010dd84d3ba0f90aaa24f5b845e38940438a09955ea3fa9d57c7af46728676 swi-prolog-5.6.47-gentoo-patchset-0.tar.gz 8980
diff --git a/dev-lang/swi-prolog/swi-prolog-5.6.47.ebuild b/dev-lang/swi-prolog/swi-prolog-5.6.47.ebuild
new file mode 100644
index 000000000000..bbad6907efae
--- /dev/null
+++ b/dev-lang/swi-prolog/swi-prolog-5.6.47.ebuild
@@ -0,0 +1,132 @@
+# Copyright 1999-2007 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/swi-prolog-5.6.47.ebuild,v 1.1 2007/11/21 08:18:52 keri Exp $
+
+inherit eutils flag-o-matic java-pkg-opt-2
+
+PATCHSET_VER="0"
+
+DESCRIPTION="free, small, and standard compliant Prolog compiler"
+HOMEPAGE="http://www.swi-prolog.org/"
+SRC_URI="http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-${PV}.tar.gz
+ mirror://gentoo/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~alpha ~amd64 ~ppc ~sparc ~x86"
+IUSE="berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X"
+
+DEPEND="!dev-lang/swi-prolog-lite
+ sys-libs/ncurses
+ zlib? ( sys-libs/zlib )
+ odbc? ( dev-db/unixODBC )
+ berkdb? ( sys-libs/db )
+ readline? ( sys-libs/readline )
+ gmp? ( dev-libs/gmp )
+ ssl? ( dev-libs/openssl )
+ java? ( >=virtual/jdk-1.4
+ dev-java/junit )
+ X? (
+ media-libs/jpeg
+ x11-libs/libX11
+ x11-libs/libXft
+ x11-libs/libXpm
+ x11-libs/libXt
+ x11-libs/libICE
+ x11-libs/libSM
+ x11-proto/xproto )"
+
+S="${WORKDIR}/pl-${PV}"
+
+src_unpack() {
+ unpack ${A}
+ cd "${S}"
+
+ EPATCH_FORCE=yes
+ EPATCH_SUFFIX=patch
+ epatch "${WORKDIR}"/${PV}
+}
+
+src_compile() {
+ einfo "Building SWI-Prolog compiler"
+
+ use hardened && append-flags -fno-unit-at-a-time
+ use debug && append-flags -DO_DEBUG
+
+ local threadconf
+ if use java && ! use minimal || use threads ; then
+ threadconf="--enable-mt"
+ else
+ threadconf="--disable-mt"
+ fi
+
+ cd "${S}"/src
+ econf \
+ --libdir=/usr/$(get_libdir) \
+ ${threadconf} \
+ $(use_enable gmp) \
+ $(use_enable readline) \
+ $(use_enable !static shared) \
+ --disable-custom-flags \
+ || die "econf failed"
+ emake || die "emake failed"
+
+ if ! use minimal ; then
+ einfo "Building SWI-Prolog additional packages"
+
+ cd "${S}/packages"
+ econf \
+ --libdir=/usr/$(get_libdir) \
+ ${threadconf} \
+ $(use_enable !static shared) \
+ --without-C-sicstus \
+ --with-chr \
+ --with-clib \
+ --with-clpqr \
+ --with-cpp \
+ --with-cppproxy \
+ $(use_with berkdb db) \
+ --with-http \
+ --without-jasmine \
+ $(use_with java jpl) \
+ $(use_with latex ltx2htm) \
+ --with-nlp \
+ $(use_with odbc) \
+ --with-pldoc \
+ --with-plunit \
+ --with-semweb \
+ --with-sgml \
+ --with-sgml/RDF \
+ $(use_with ssl) \
+ --with-table \
+ $(use_with X xpce) \
+ $(use_with zlib) \
+ || die "packages econf failed"
+
+ emake || die "packages emake failed"
+ fi
+}
+
+src_install() {
+ emake -C src DESTDIR="${D}" install || die "install src failed"
+
+ if ! use minimal ; then
+ emake -C packages DESTDIR="${D}" install || die "install packages failed"
+ if use doc ; then
+ emake -C packages DESTDIR="${D}" html-install || die "html-install failed"
+ emake -C packages/cppproxy DESTDIR="${D}" install-examples || die "install-examples failed"
+ fi
+ fi
+
+ dodoc ANNOUNCE ChangeLog INSTALL INSTALL.notes PORTING README README.GUI VERSION
+}
+
+src_test() {
+ cd "${S}/src"
+ emake check || die "make check failed. See above for details."
+
+ if ! use minimal ; then
+ cd "${S}/packages"
+ emake check || die "make check failed. See above for details."
+ fi
+}