diff options
author | Keri Harris <keri@gentoo.org> | 2009-01-10 04:36:28 +0000 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2009-01-10 04:36:28 +0000 |
commit | 496c56d0df10f1fa4fecf5885684c71e0f7bdb57 (patch) | |
tree | f49bb500899416f5b0e82a5c43d709f3c1f78f11 /dev-lang/logtalk | |
parent | Tested and working on mips (with one caveat; see ChangeLog) -- ~mips keyword ... (diff) | |
download | gentoo-2-496c56d0df10f1fa4fecf5885684c71e0f7bdb57.tar.gz gentoo-2-496c56d0df10f1fa4fecf5885684c71e0f7bdb57.tar.bz2 gentoo-2-496c56d0df10f1fa4fecf5885684c71e0f7bdb57.zip |
Initial port.
(Portage version: 2.1.6.4/cvs/Linux 2.6.26-gentoo-r3 x86_64)
Diffstat (limited to 'dev-lang/logtalk')
-rw-r--r-- | dev-lang/logtalk/ChangeLog | 10 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-2.34.1.ebuild | 73 | ||||
-rw-r--r-- | dev-lang/logtalk/metadata.xml | 12 |
3 files changed, 95 insertions, 0 deletions
diff --git a/dev-lang/logtalk/ChangeLog b/dev-lang/logtalk/ChangeLog new file mode 100644 index 000000000000..f03b093b8226 --- /dev/null +++ b/dev-lang/logtalk/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-lang/logtalk +# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/logtalk/ChangeLog,v 1.1 2009/01/10 04:36:28 keri Exp $ + +*logtalk-2.34.1 (10 Jan 2009) + + 10 Jan 2009; <keri@gentoo.org> +metadata.xml, +logtalk-2.34.1.ebuild: + Initial port. Ebuild contributed by Angelo Arrifano <miknix@gentoo.org>. + Closes #248791 + diff --git a/dev-lang/logtalk/logtalk-2.34.1.ebuild b/dev-lang/logtalk/logtalk-2.34.1.ebuild new file mode 100644 index 000000000000..024f74d389f5 --- /dev/null +++ b/dev-lang/logtalk/logtalk-2.34.1.ebuild @@ -0,0 +1,73 @@ +# Copyright 1999-2009 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/logtalk/logtalk-2.34.1.ebuild,v 1.1 2009/01/10 04:36:28 keri Exp $ + +inherit eutils versionator + +DESCRIPTION="Open source object-oriented logic programming language." +HOMEPAGE="http://logtalk.org" +MY_PV="lgt$(delete_all_version_separators)" +SRC_URI="http://logtalk.org/files/${MY_PV}.tar.bz2" +LICENSE="Artistic-2" + +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="gnupl qupl swipl xsbpl yappl" + +DEPEND="" +RDEPEND=" + gnupl? ( dev-lang/gprolog ) + qupl? ( !amd64? ( dev-lang/qu-prolog ) ) + swipl? ( dev-lang/swi-prolog ) + xsbbl? ( x86? ( dev-lang/xsb ) ) + yappl? ( dev-lang/yap ) + ${DEPEND}" + +S="${WORKDIR}/${MY_PV}" + +src_install() { + # Change default user dir to ~/.logtalk + sed -i -e 's;$HOME/logtalk;$HOME/.logtalk;' \ + integration/*.sh \ + || die "Cannot sed integration scripts." + + # Look at scripts/install.sh + # for upstream installation process. + mv scripts/cplgtdirs.sh integration/ + mkdir -p "${D}/usr/share/${P}" + cp -r compiler configs contributions VERSION.txt \ + integration library wenv xml libpaths \ + examples "${D}/usr/share/${P}" \ + || die "Failed to copy files" + + dodoc BIBLIOGRAPHY.bib CUSTOMIZE.txt INSTALL.txt \ + LICENSE.txt QUICK_START.txt README.txt \ + VERSION.txt RELEASE_NOTES.txt UPGRADING.txt + dohtml -r manuals/* + + dosym /usr/share/${P}/integration/cplgtdirs.sh /usr/bin/cplgtdirs + use gnupl && dosym /usr/share/${P}/integration/gplgt.sh /usr/bin/gplgt + use qupl && ! use amd64 && dosym /usr/share/${P}/integration/qplgt.sh /usr/bin/qplgt + use swipl && dosym /usr/share/${P}/integration/swilgt.sh /usr/bin/swilgt + use xsbpl && use x86 && dosym /usr/share/${P}/integration/xsblgt.sh /usr/bin/xsblgt + use yappl && dosym /usr/share/${P}/integration/yaplgt.sh /usr/bin/yaplgt + echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk + insinto /etc/env.d/ + doins 99logtalk +} + +pkg_postinst() { + ewarn "To start logtalk, use one of the following:" + use gnupl && ewarn "GNU Prolog: /usr/bin/gplgt" + use qupl && ! use amd64 && ewarn "Qu Prolog: /usr/bin/qplgt" + use swipl && ewarn "SWI Prolog: /usr/bin/swilgt" + use xsbpl && use x86 && ewarn "XSB: /usr/bin/xsblgt" + use yappl && ewarn "YAP: /usr/bin/yaplgt" + ewarn "" + + ewarn "The environment has been set up to make the above" + ewarn "integration scripts find files automatically for logtalk." + ewarn "Please run 'etc-update && source /etc/profile' to update" + ewarn "the environment now, otherwise it will be updated at next" + ewarn "login." +} diff --git a/dev-lang/logtalk/metadata.xml b/dev-lang/logtalk/metadata.xml new file mode 100644 index 000000000000..4a045f075196 --- /dev/null +++ b/dev-lang/logtalk/metadata.xml @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>prolog</herd> +<use> + <flag name='gnupl'>Support GNU Prolog back-end compiler</flag> + <flag name='qupl'>Support Qu-Prolog back-end compiler</flag> + <flag name='swipl'>Support SWI-Prolog back-end compiler</flag> + <flag name='xsbpl'>Support XSB back-end compiler</flag> + <flag name='yappl'>Support YAP back-end compiler</flag> +</use> +</pkgmetadata> |