diff options
Diffstat (limited to 'dev-lang/logtalk')
| -rw-r--r-- | dev-lang/logtalk/ChangeLog | 13 | ||||
| -rw-r--r-- | dev-lang/logtalk/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/logtalk/logtalk-2.41.0.ebuild | 100 |
3 files changed, 113 insertions, 2 deletions
diff --git a/dev-lang/logtalk/ChangeLog b/dev-lang/logtalk/ChangeLog index 3c742d56b5d6..de76c2f20a03 100644 --- a/dev-lang/logtalk/ChangeLog +++ b/dev-lang/logtalk/ChangeLog @@ -1,6 +1,15 @@ # 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.7 2009/09/23 14:12:23 miknix Exp $ +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/logtalk/ChangeLog,v 1.8 2010/10/03 21:43:29 miknix Exp $ + +*logtalk-2.41.0 (03 Oct 2010) + + 03 Oct 2010; Angelo Arrifano <miknix@gentoo.org> +logtalk-2.41.0.ebuild: + Version bump + + Users should now set the LOGTALKUSER environment variable according to + their wishes. + This version features man pages and a freedesktop mime definition. *logtalk-2.37.4 (23 Sep 2009) diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest index 49f2cf5c75c1..7dada56b1bd6 100644 --- a/dev-lang/logtalk/Manifest +++ b/dev-lang/logtalk/Manifest @@ -2,9 +2,11 @@ DIST lgt2341.tar.bz2 487681 RMD160 39f44349f25a0be92c571fc053f5f72be500c658 SHA1 DIST lgt2351.tar.bz2 492503 RMD160 69c4655ec5423f4eb96920a1dcde98329b9b8036 SHA1 12cff6d6b20fe920988e3d9793512db67e474b63 SHA256 789ae2638c3b79c7574607857659582e012e8ef43376d1da06e51d8a29b9d394 DIST lgt2371.tar.bz2 514868 RMD160 ffae95ebf48b466840e961482bca66ac4effaa4d SHA1 749354f4270e0fa7606cdb0cb50ef2017d6ca063 SHA256 ea288634a42617cd8226316c7fec93fe4bdda7f8fa30e4427bf83101b3e797b4 DIST lgt2374.tar.bz2 523123 RMD160 4119f8fa37316f489de73de57dba0d6cb7312caa SHA1 e47f544fc54a62829926bc4fb2379272fb07cd34 SHA256 bf8f2b63e632f424bebd5c66e867d1389f0a20a5d1b8fbab503062dae992df6d +DIST lgt2410.tar.bz2 621950 RMD160 bbf614c0450def4164b185b35d0f4b54c397dd0d SHA1 8cb811c0a6e0c203b274e96edf74d8e56986bdef SHA256 ba083578b7b8665cec8a2123152f42b4f554d586f8422ef521e32eb7e7306267 EBUILD logtalk-2.34.1.ebuild 2535 RMD160 55660f90525f64ff53123d5f52c4125b9e3af016 SHA1 4ec98a2b08e005e84503c4287f617413dfc3f6f7 SHA256 ced0025bd82fb537134c2d4181308a6550fa75c56d40a647f7cab1f67cf18f2e EBUILD logtalk-2.35.1.ebuild 2877 RMD160 1cd43ce76c0c506af60bd8818382d0dc847650ef SHA1 7d2d76a6c4aead1d1bb29895d5335ffda6fa931d SHA256 4f33e3e9af3025817e3785d309b14e77c4521ff363fb3c57c0e0e34a7cec2099 EBUILD logtalk-2.37.1.ebuild 2877 RMD160 191589007530ed1320500fafdcc5b06f86619e65 SHA1 c4346018d9caf08cd11d222266639a63607c4122 SHA256 f6d5e5f0ddbf3f0fe2dc434cfbf777e1e3d11e6da11fbda6b88f4e85d8d8743e EBUILD logtalk-2.37.4.ebuild 2877 RMD160 3b9ce322186a4eb2aff63f75e8f72f43888c6050 SHA1 01cac8111a2d3dbb1220747326a7f121de5f99c9 SHA256 abc74a9c30f95a222211299d4df92924789d4e5906f8edca5fc3226b59216191 +EBUILD logtalk-2.41.0.ebuild 3262 RMD160 c809b577b161c61b8cfb61bde703234a2c1a25f9 SHA1 123b038f8eb316167d4be3879a1f7ef86ff55780 SHA256 f7db53524ec8c809b9165d2a34a87e1ad22e7a6d5d14d259a8d5b741c9cb0bcc MISC ChangeLog 1138 RMD160 b35f6d7e740b8652c9943666eb1325f6e2db4f31 SHA1 d6ad0c2c3836f123c06a7db379f8cfbbc99d256e SHA256 536425d73b5e2f750188c4d843eaf01b5efcc844205244f67248422a5635ef28 MISC metadata.xml 722 RMD160 cf6e2de0a3720ce6639aef0eeb92ffb94bda85b7 SHA1 c1b9e868a27798c819aa817f9bd0832093c30125 SHA256 edbdd93445d2b63211e071af48a8648b1c210037409237413b7e60d2533f1827 diff --git a/dev-lang/logtalk/logtalk-2.41.0.ebuild b/dev-lang/logtalk/logtalk-2.41.0.ebuild new file mode 100644 index 000000000000..0ffbeea987ab --- /dev/null +++ b/dev-lang/logtalk/logtalk-2.41.0.ebuild @@ -0,0 +1,100 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/logtalk/logtalk-2.41.0.ebuild,v 1.1 2010/10/03 21:43:29 miknix Exp $ + +inherit eutils versionator fdo-mime + +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 xslt fop" + +DEPEND="" +RDEPEND=" + gnupl? ( dev-lang/gprolog ) + qupl? ( !amd64? ( dev-lang/qu-prolog ) ) + swipl? ( dev-lang/swi-prolog ) + xsbpl? ( x86? ( dev-lang/xsb ) ) + yappl? ( dev-lang/yap ) + xslt? ( dev-libs/libxslt ) + fop? ( dev-java/fop ) + ${DEPEND}" + +S="${WORKDIR}/${MY_PV}" + +src_install() { + # Look at scripts/install.sh for upstream installation process. + # Install logtalk base + mv scripts/logtalk_user_setup.sh integration/ + mkdir -p "${D}/usr/share/${P}" + cp -r compiler configs contributions VERSION.txt \ + integration library wenv xml libpaths \ + examples settings.lgt "${D}/usr/share/${P}" \ + || die "Failed to install files" + + # Install mime file, the database will be updated later + insinto /usr/share/mime/packages + doins scripts/freedesktop/logtalk.xml + + # Install documentation + dodoc BIBLIOGRAPHY.bib CUSTOMIZE.txt INSTALL.txt \ + LICENSE.txt QUICK_START.txt README.txt \ + RELEASE_NOTES.txt UPGRADING.txt VERSION.txt + dohtml -r manuals/* || die "Failed to install html manual" + + rm -f man/man1/logtalk_backend_select.1 + rm -f man/man1/logtalk_version_select.1 + doman man/man1/*.1 || die "Failed to install man pages" + + # Integration symlinks + dosym /usr/share/${P}/integration/logtalk_user_setup.sh \ + /usr/bin/logtalk_user_setup + 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 + + dosym /usr/share/${P}/xml/lgt2xml.sh /usr/bin/lgt2xml + use xslt && dosym /usr/share/${P}/xml/lgt2html.sh /usr/bin/lgt2html + use xslt && dosym /usr/share/${P}/xml/lgt2txt.sh /usr/bin/lgt2txt + use fop && dosym /usr/share/${P}/xml/lgt2pdf.sh /usr/bin/lgt2pdf + + # Install environment files + echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk + doenvd 99logtalk +} + +pkg_postinst() { + fdo-mime_desktop_database_update + + ewarn "Before running logtalk, users should execute" + ewarn "logtalk_user_setup *once*." + 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." +} + +pkg_postrm() { + fdo-mime_desktop_database_update +} |