diff options
author | Robin H. Johnson <robbat2@gentoo.org> | 2015-08-08 13:49:04 -0700 |
---|---|---|
committer | Robin H. Johnson <robbat2@gentoo.org> | 2015-08-08 17:38:18 -0700 |
commit | 56bd759df1d0c750a065b8c845e93d5dfa6b549d (patch) | |
tree | 3f91093cdb475e565ae857f1c5a7fd339e2d781e /dev-lang/logtalk | |
download | gentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.tar.gz gentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.tar.bz2 gentoo-56bd759df1d0c750a065b8c845e93d5dfa6b549d.zip |
proj/gentoo: Initial commit
This commit represents a new era for Gentoo:
Storing the gentoo-x86 tree in Git, as converted from CVS.
This commit is the start of the NEW history.
Any historical data is intended to be grafted onto this point.
Creation process:
1. Take final CVS checkout snapshot
2. Remove ALL ChangeLog* files
3. Transform all Manifests to thin
4. Remove empty Manifests
5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$
5.1. Do not touch files with -kb/-ko keyword flags.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests
X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project
X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration
X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn
X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts
X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration
X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging
X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed
Diffstat (limited to 'dev-lang/logtalk')
-rw-r--r-- | dev-lang/logtalk/Manifest | 3 | ||||
-rw-r--r-- | dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch | 34 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-2.41.0.ebuild | 100 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-2.42.2.ebuild | 100 | ||||
-rw-r--r-- | dev-lang/logtalk/logtalk-3.00.0.ebuild | 133 | ||||
-rw-r--r-- | dev-lang/logtalk/metadata.xml | 14 |
6 files changed, 384 insertions, 0 deletions
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest new file mode 100644 index 000000000000..1780f69f20ea --- /dev/null +++ b/dev-lang/logtalk/Manifest @@ -0,0 +1,3 @@ +DIST lgt2410.tar.bz2 621950 SHA256 ba083578b7b8665cec8a2123152f42b4f554d586f8422ef521e32eb7e7306267 SHA512 81377ef68cd9ed6fbcfb07c818efa1c9310c3918cfdd400886141c976a3eeea0086c00fa3e9a45475b8852c3cd3163ee56def12aa26c2c360ddf2999ba9501b7 WHIRLPOOL 6775f69b6d69835acf1dc585312c2ecc56292de9fe6068ccf881611d973ed493b9420ca958eb2ce9333889a780003f6b2f9ffdfbfc83c8e8624b0bf9d9db82f5 +DIST lgt2422.tar.bz2 690047 SHA256 e8204b3182e9062f23e05d6e492a250de12b93baa8586716c8572f2266365a2e SHA512 db976729ae8499ef128f9f7ad257f600f07cb867bfb9ac350ac2c846712d18ebfd5989c674cf0a65286c6f525f5c4273d9b04632ae3719efae7d8047c448c085 WHIRLPOOL 6d76474fa586cc1c10551b2d2db36954466668716c719ce793ed2db9f663272d60462c2f7cde3783010d482df479308d0e5c0da24fd0a0f806a2055b8401d8ce +DIST logtalk-3.00.0.tar.bz2 1886297 SHA256 7462eaf8fd7fa865f8cccbb449a97981fbcb109a21536e2420f205b3b4b814b2 SHA512 bb4ecc709e71eee9a9a532bfcef764095e581189f3e17c9c0f2d80ceeaa4dd993d7da087b07e27f4a377a40d7a798378591d89ab6c801c7a26c1b1d646c7b76c WHIRLPOOL 21c3c9fc99e89173d3e0c109ca435847c2c735e17abca70e0f0c7646a3f8a8927e00aeb075386beec4e406faeb1ec7bc9ea7ec014933e5657c7c1d5c4d52099d diff --git a/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch new file mode 100644 index 000000000000..d25f19347d66 --- /dev/null +++ b/dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch @@ -0,0 +1,34 @@ +--- logtalk-3.00.0.orig/scripts/logtalk_user_setup.sh 2015-01-08 14:04:03.000000000 +0100 ++++ logtalk-3.00.0/scripts/logtalk_user_setup.sh 2015-01-08 14:05:05.000000000 +0100 +@@ -114,14 +114,12 @@ + + echo "Copying Logtalk files and directories..." + mkdir -p "$LOGTALKUSER"/contributions +-mkdir -p "$LOGTALKUSER"/docs + mkdir -p "$LOGTALKUSER"/examples + mkdir -p "$LOGTALKUSER"/library + mkdir -p "$LOGTALKUSER"/scratch + mkdir -p "$LOGTALKUSER"/tests + mkdir -p "$LOGTALKUSER"/tools + cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/ +-cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/ + cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/ + cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/ + cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/ +@@ -135,16 +133,7 @@ + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd + rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd +-ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib +-ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md +-ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md +-ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt +-ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md +-ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md +-ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md +-ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md + ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters +-ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals + ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths + ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding + ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html 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..d60b0831d130 --- /dev/null +++ b/dev-lang/logtalk/logtalk-2.41.0.ebuild @@ -0,0 +1,100 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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 +} diff --git a/dev-lang/logtalk/logtalk-2.42.2.ebuild b/dev-lang/logtalk/logtalk-2.42.2.ebuild new file mode 100644 index 000000000000..d60b0831d130 --- /dev/null +++ b/dev-lang/logtalk/logtalk-2.42.2.ebuild @@ -0,0 +1,100 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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 +} diff --git a/dev-lang/logtalk/logtalk-3.00.0.ebuild b/dev-lang/logtalk/logtalk-3.00.0.ebuild new file mode 100644 index 000000000000..6af47a8d0c4d --- /dev/null +++ b/dev-lang/logtalk/logtalk-3.00.0.ebuild @@ -0,0 +1,133 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=5 + +inherit eutils fdo-mime + +DESCRIPTION="Open source object-oriented logic programming language" +HOMEPAGE="http://logtalk.org" +SRC_URI="http://logtalk.org/files/${P}.tar.bz2" +LICENSE="logtalk" + +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="doc fop xslt" + +DEPEND="" +RDEPEND=" + xslt? ( dev-libs/libxslt ) + fop? ( dev-java/fop ) + ${DEPEND}" + +src_prepare() { + epatch "${FILESDIR}"/${P}-no-user-docs.patch +} + +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 adapters coding contributions core examples integration \ + library paths scratch tests tools VERSION.txt \ + loader-sample.lgt settings-sample.lgt tester-sample.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 ACKNOWLEDGMENTS.md BIBLIOGRAPHY.bib CUSTOMIZE.md \ + INSTALL.md LICENSE.txt QUICK_START.md README.md \ + RELEASE_NOTES.md UPGRADING.md VERSION.txt + if use doc ; then + dohtml -r docs/* \ + || die "Failed to install html core documentation" + dohtml -r manuals/* \ + || die "Failed to install html manual" + fi + + 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 + dosym /usr/share/${P}/integration/bplgt.sh \ + /usr/bin/bplgt + dosym /usr/share/${P}/integration/cxlgt.sh \ + /usr/bin/cxlgt + dosym /usr/share/${P}/integration/eclipselgt.sh \ + /usr/bin/eclipselgt + dosym /usr/share/${P}/integration/gplgt.sh \ + /usr/bin/gplgt + dosym /usr/share/${P}/integration/lplgt.sh \ + /usr/bin/lplgt + dosym /usr/share/${P}/integration/qplgt.sh \ + /usr/bin/qplgt + dosym /usr/share/${P}/integration/quintuslgt.sh \ + /usr/bin/quintuslgt + dosym /usr/share/${P}/integration/sicstuslgt.sh \ + /usr/bin/sicstuslgt + dosym /usr/share/${P}/integration/swilgt.sh \ + /usr/bin/swilgt + dosym /usr/share/${P}/integration/xsblgt.sh \ + /usr/bin/xsblgt + dosym /usr/share/${P}/integration/xsbmtlgt.sh \ + /usr/bin/xsbmtlgt + dosym /usr/share/${P}/integration/yaplgt.sh \ + /usr/bin/yaplgt + + dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2xml.sh \ + /usr/bin/lgt2xml + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2html.sh \ + /usr/bin/lgt2html + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2txt.sh \ + /usr/bin/lgt2txt + use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2md.sh \ + /usr/bin/lgt2md + use fop && dosym /usr/share/${P}/tools/lgtdoc/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 "" + ewarn "The following integration scripts are installed" + ewarn "for running logtalk with selected Prolog compilers:" + ewarn "B-Prolog: /usr/bin/bplgt" + ewarn "CxProlog: /usr/bin/cxlgt" + ewarn "ECLiPSe: /usr/bin/eclipselgt" + ewarn "GNU Prolog: /usr/bin/gplgt" + ewarn "Lean Prolog: /usr/bin/lplgt" + ewarn "Qu-Prolog: /usr/bin/qplgt" + ewarn "Quintus Prolog: /usr/bin/quintuslgt" + ewarn "SICStus Prolog: /usr/bin/sicstuslgt" + ewarn "SWI Prolog: /usr/bin/swilgt" + ewarn "XSB: /usr/bin/xsblgt" + ewarn "XSB MT: /usr/bin/xsbmtlgt" + 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 +} diff --git a/dev-lang/logtalk/metadata.xml b/dev-lang/logtalk/metadata.xml new file mode 100644 index 000000000000..c314a540f62a --- /dev/null +++ b/dev-lang/logtalk/metadata.xml @@ -0,0 +1,14 @@ +<?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> + <flag name='xslt'>Support for generating html documentation using xslt</flag> + <flag name='fop'>Support for generating pdf documentation using fop</flag> +</use> +</pkgmetadata> |