diff options
author | Keri Harris <keri@gentoo.org> | 2008-07-26 22:02:28 +0000 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2008-07-26 22:02:28 +0000 |
commit | 2ea92fdf718a7a304307b5f4f1a61ad4d1ad005c (patch) | |
tree | 525b17bae242ebc4c4078bb13a67dc6c0c2a851f /dev-lang/swi-prolog | |
parent | Stable on amd64, bug #232054 (diff) | |
download | gentoo-2-2ea92fdf718a7a304307b5f4f1a61ad4d1ad005c.tar.gz gentoo-2-2ea92fdf718a7a304307b5f4f1a61ad4d1ad005c.tar.bz2 gentoo-2-2ea92fdf718a7a304307b5f4f1a61ad4d1ad005c.zip |
Version bump.
(Portage version: 2.1.5.5)
Diffstat (limited to 'dev-lang/swi-prolog')
-rw-r--r-- | dev-lang/swi-prolog/ChangeLog | 7 | ||||
-rw-r--r-- | dev-lang/swi-prolog/swi-prolog-5.6.58.ebuild | 140 |
2 files changed, 146 insertions, 1 deletions
diff --git a/dev-lang/swi-prolog/ChangeLog b/dev-lang/swi-prolog/ChangeLog index 191e24c2bb1e..abca65e2d445 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-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.144 2008/06/28 00:29:29 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.145 2008/07/26 22:02:28 keri Exp $ + +*swi-prolog-5.6.58 (26 Jul 2008) + + 26 Jul 2008; keri <keri@gentoo.org> +swi-prolog-5.6.58.ebuild: + Version bump. *swi-prolog-5.6.57 (28 Jun 2008) diff --git a/dev-lang/swi-prolog/swi-prolog-5.6.58.ebuild b/dev-lang/swi-prolog/swi-prolog-5.6.58.ebuild new file mode 100644 index 000000000000..5fa3e29de025 --- /dev/null +++ b/dev-lang/swi-prolog/swi-prolog-5.6.58.ebuild @@ -0,0 +1,140 @@ +# Copyright 1999-2008 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.58.ebuild,v 1.1 2008/07/26 22:02:28 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 test 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 + test? ( =dev-java/junit-3.8* ) ) + 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" + + append-flags -fno-strict-aliasing + 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 + + local jpltestconf + if use java && use test ; then + jpltestconf="--with-junit=$(java-config --classpath junit)" + fi + + cd "${S}"/src + econf \ + --libdir=/usr/$(get_libdir) \ + ${threadconf} \ + ${jpltestconf} \ + $(use_enable gmp) \ + $(use_enable readline) \ + $(use_enable !static shared) \ + --enable-custom-flags COFLAGS="${CFLAGS}" \ + || 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) \ + COFLAGS='"${CFLAGS}"' \ + || 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 +} |