diff options
Diffstat (limited to 'dev-lang/logtalk')
| -rw-r--r-- | dev-lang/logtalk/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/logtalk/logtalk-2.41.0.ebuild | 99 | ||||
| -rw-r--r-- | dev-lang/logtalk/logtalk-2.42.2.ebuild | 99 | ||||
| -rw-r--r-- | dev-lang/logtalk/metadata.xml | 5 |
4 files changed, 0 insertions, 205 deletions
diff --git a/dev-lang/logtalk/Manifest b/dev-lang/logtalk/Manifest index a2b29eef34c0..859b6c014dc2 100644 --- a/dev-lang/logtalk/Manifest +++ b/dev-lang/logtalk/Manifest @@ -1,5 +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 DIST logtalk-3.03.0.tar.bz2 1997131 SHA256 db48ee13f119a3956e87c2fabceddc03e008391dd1542f5e07909b3840bb0534 SHA512 8445b0dda78ce0a7a0fe380b03d061271eb924df34c8f035c96a949b177c99234e2998c65f18c55be04c7d661c94473448eb2dc79a586dbc346ab07887f0e98a WHIRLPOOL 37faa40c55c0c60dc9111fc323554fdf1747f9c3c328799fcdf73d765311a8b2af6faeab2b2523736425647a38b0c8ebce155f438efec052acc82c2c5dd8dd19 DIST logtalk-3.07.0.tar.bz2 2114396 SHA256 2f9a3f0861914bf38abfda3aec309e9779dfaaaf7214f7ada627a124eae87275 SHA512 1b26c4f49dee469d6f3a4ae15dd0c429b2b79a407aca9f518af6d1f19f682b6c72dd76c6ed3da38555353219f832efce6f0fb54a4a946cae2fccfa78c67c5757 WHIRLPOOL 972d6d9875af7b5c644d5cf608a2154338988c3fbd8032e7e5ebcf2b6289b8ef56c753dcda7478942fe7d6db7ae9e1779234185c2f4c1913d57b140a86448dd6 diff --git a/dev-lang/logtalk/logtalk-2.41.0.ebuild b/dev-lang/logtalk/logtalk-2.41.0.ebuild deleted file mode 100644 index 73e4602bde34..000000000000 --- a/dev-lang/logtalk/logtalk-2.41.0.ebuild +++ /dev/null @@ -1,99 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -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 deleted file mode 100644 index 73e4602bde34..000000000000 --- a/dev-lang/logtalk/logtalk-2.42.2.ebuild +++ /dev/null @@ -1,99 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -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/metadata.xml b/dev-lang/logtalk/metadata.xml index e6cc2e552279..7adf5e18089a 100644 --- a/dev-lang/logtalk/metadata.xml +++ b/dev-lang/logtalk/metadata.xml @@ -6,11 +6,6 @@ <name>Prolog</name> </maintainer> <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> |