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 | 6e6f64180697d0fd8811c20002f6884e52a76075 (patch) | |
tree | 4ebec073bc6f40ad2bdc82e63fb346fecbd5cb65 /dev-lang | |
parent | Tested and working on mips (with one caveat; see ChangeLog) -- ~mips keyword ... (diff) | |
download | historical-6e6f64180697d0fd8811c20002f6884e52a76075.tar.gz historical-6e6f64180697d0fd8811c20002f6884e52a76075.tar.bz2 historical-6e6f64180697d0fd8811c20002f6884e52a76075.zip |
Initial port.
Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.26-gentoo-r3 x86_64
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/logtalk/ChangeLog | 10 | ||||
-rw-r--r-- | dev-lang/logtalk/Manifest | 4 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-2.34.1.ebuild | 73 | ||||
-rw-r--r-- | dev-lang/logtalk/metadata.xml | 12 |
4 files changed, 99 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/Manifest b/dev-lang/logtalk/Manifest new file mode 100644 index 000000000000..76683d9f7a6e --- /dev/null +++ b/dev-lang/logtalk/Manifest @@ -0,0 +1,4 @@ +DIST lgt2341.tar.bz2 487681 RMD160 39f44349f25a0be92c571fc053f5f72be500c658 SHA1 f9c77606526c0647332b80bcdf742d4cb5a89ba1 SHA256 b5cf88f1ba463ba0eb011697778830fea3dd1a2e8749907fb56260b4a4687498 +EBUILD logtalk-2.34.1.ebuild 2554 RMD160 fd963b477a252415369e3279cc37556dc9ce4946 SHA1 88d85c811eba01be62ecc3a96b626ca5777f5028 SHA256 d726014b7951f21ec700e2c20a0e54394539f1e9b80a1a24a755cbd2f5b5b080 +MISC ChangeLog 399 RMD160 b8ea6b9d355d86363bbecd2963aae21d8b28ae07 SHA1 7577092f0b3dc325ae2de07be811da0427ae6cac SHA256 02f20134e6e93f354c8679a373260fcd8156ff9210607f5adcaca494cbe82b98 +MISC metadata.xml 476 RMD160 26151bbaf4412a3242e684fc7a7d19143dce6e23 SHA1 bd19fc19987b824a21f9f32a41fada9c3db1d926 SHA256 75fb0e7acd960a442a99e684b597447386a9d4732de3be4f0437d9d634ff5ce7 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> |