diff options
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.10.0-r1.ebuild | 137 |
2 files changed, 143 insertions, 1 deletions
diff --git a/dev-lang/swi-prolog/ChangeLog b/dev-lang/swi-prolog/ChangeLog index 7ecb43d6361d..43053689b919 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-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.227 2010/06/29 06:56:54 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/swi-prolog/ChangeLog,v 1.228 2010/07/03 21:57:20 keri Exp $ + +*swi-prolog-5.10.0-r1 (03 Jul 2010) + + 03 Jul 2010; <keri@gentoo.org> +swi-prolog-5.10.0-r1.ebuild: + Fix set_prolog_IO/3 predicate *swi-prolog-5.11.2 (29 Jun 2010) diff --git a/dev-lang/swi-prolog/swi-prolog-5.10.0-r1.ebuild b/dev-lang/swi-prolog/swi-prolog-5.10.0-r1.ebuild new file mode 100644 index 000000000000..998bc0dce60c --- /dev/null +++ b/dev-lang/swi-prolog/swi-prolog-5.10.0-r1.ebuild @@ -0,0 +1,137 @@ +# Copyright 1999-2010 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.10.0-r1.ebuild,v 1.1 2010/07/03 21:57:20 keri Exp $ + +inherit eutils flag-o-matic java-pkg-opt-2 + +PATCHSET_VER="3" + +DESCRIPTION="free, small, and standard compliant Prolog compiler" +HOMEPAGE="http://www.swi-prolog.org/" +SRC_URI="http://www.swi-prolog.org/download/stable/src/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 test zlib X" + +RDEPEND="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 ) + X? ( + media-libs/jpeg + x11-libs/libX11 + x11-libs/libXft + x11-libs/libXpm + x11-libs/libXt + x11-libs/libICE + x11-libs/libSM )" + +DEPEND="${RDEPEND} + X? ( x11-proto/xproto ) + java? ( test? ( =dev-java/junit-3.8* ) )" + +S="${WORKDIR}/pl-${PV}" + +src_unpack() { + unpack ${A} + cd "${S}" + + EPATCH_FORCE=yes + EPATCH_SUFFIX=patch + epatch "${WORKDIR}"/${PV} +} + +src_compile() { + append-flags -fno-strict-aliasing + use hardened && append-flags -fno-unit-at-a-time + use debug && append-flags -DO_DEBUG + + cd "${S}"/src + econf \ + --libdir=/usr/$(get_libdir) \ + $(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 + local jpltestconf + if use java && use test ; then + jpltestconf="--with-junit=$(java-config --classpath junit)" + fi + + cd "${S}/packages" + econf \ + --libdir=/usr/$(get_libdir) \ + --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) \ + ${jpltestconf} \ + --with-nlp \ + $(use_with odbc) \ + --with-pldoc \ + --with-plunit \ + --with-R \ + --with-RDF \ + --with-semweb \ + --with-sgml \ + $(use_with ssl) \ + --with-table \ + --with-tipc \ + $(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 ChangeLog INSTALL PORTING README 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 +} + +pkg_postinst() { + einfo "Please note that the following binaries have been renamed" + einfo "from earlier versions:" + einfo " pl -> swipl" + einfo " plld -> swipl-ld" + einfo " plrc -> swipl-rc" + einfo " xpce -> <deleted>" +} |