summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2009-01-10 04:36:28 +0000
committerKeri Harris <keri@gentoo.org>2009-01-10 04:36:28 +0000
commit6e6f64180697d0fd8811c20002f6884e52a76075 (patch)
tree4ebec073bc6f40ad2bdc82e63fb346fecbd5cb65 /dev-lang
parentTested and working on mips (with one caveat; see ChangeLog) -- ~mips keyword ... (diff)
downloadhistorical-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/ChangeLog10
-rw-r--r--dev-lang/logtalk/Manifest4
-rw-r--r--dev-lang/logtalk/logtalk-2.34.1.ebuild73
-rw-r--r--dev-lang/logtalk/metadata.xml12
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>