dev-lang/logtalk/logtalk-3.07.0.ebuild

   1 # Copyright 1999-2018 Gentoo Foundation
   2 # Distributed under the terms of the GNU General Public License v2
   3
   4 EAPI=5
   5
   6 inherit eutils fdo-mime
   7
   8 DESCRIPTION="Open source object-oriented logic programming language"
   9 HOMEPAGE="http://logtalk.org"
  10 SRC_URI="http://logtalk.org/files/${P}.tar.bz2"
  11 LICENSE="Apache-2.0"
  12
  13 SLOT="0"
  14 KEYWORDS="~amd64 ~ppc ~x86"
  15 IUSE="doc fop xslt"
  16
  17 DEPEND=""
  18 RDEPEND="
  19         xslt? ( dev-libs/libxslt )
  20         fop? ( dev-java/fop )
  21         ${DEPEND}"
  22
  23 src_prepare() {
  24         epatch "${FILESDIR}"/${PN}-3.03.0-no-user-docs.patch
  25 }
  26
  27 src_install() {
  28         # Look at scripts/install.sh for upstream installation process.
  29         # Install logtalk base
  30         mv scripts/logtalk_user_setup.sh integration/
  31         mkdir -p "${D}/usr/share/${P}"
  32         cp -r adapters coding contributions core examples integration \
  33                 library paths scratch tests tools VERSION.txt \
  34                 loader-sample.lgt settings-sample.lgt tester-sample.lgt \
  35                 tests-sample.lgt \
  36                 "${D}/usr/share/${P}" \
  37                 || die "Failed to install files"
  38
  39         # Install mime file, the database will be updated later
  40         insinto /usr/share/mime/packages
  41         doins scripts/freedesktop/logtalk.xml
  42
  43         # Install documentation
  44         dodoc ACKNOWLEDGMENTS.md BIBLIOGRAPHY.bib CUSTOMIZE.md \
  45                 INSTALL.md LICENSE.txt QUICK_START.md README.md \
  46                 RELEASE_NOTES.md UPGRADING.md VERSION.txt
  47         if use doc ; then
  48                 dohtml -r docs/* \
  49                         || die "Failed to install html core documentation"
  50                 dohtml -r manuals/* \
  51                         || die "Failed to install html manual"
  52         fi
  53
  54         rm -f man/man1/logtalk_backend_select.1
  55         rm -f man/man1/logtalk_version_select.1
  56         doman man/man1/*.1 || die "Failed to install man pages"
  57
  58         # Integration symlinks
  59         dosym /usr/share/${P}/integration/logtalk_user_setup.sh \
  60                 /usr/bin/logtalk_user_setup
  61         dosym /usr/share/${P}/integration/bplgt.sh \
  62                 /usr/bin/bplgt
  63         dosym /usr/share/${P}/integration/cxlgt.sh \
  64                 /usr/bin/cxlgt
  65         dosym /usr/share/${P}/integration/eclipselgt.sh \
  66                 /usr/bin/eclipselgt
  67         dosym /usr/share/${P}/integration/gplgt.sh \
  68                 /usr/bin/gplgt
  69         dosym /usr/share/${P}/integration/lplgt.sh \
  70                 /usr/bin/lplgt
  71         dosym /usr/share/${P}/integration/qplgt.sh \
  72                 /usr/bin/qplgt
  73         dosym /usr/share/${P}/integration/quintuslgt.sh \
  74                 /usr/bin/quintuslgt
  75         dosym /usr/share/${P}/integration/sicstuslgt.sh \
  76                 /usr/bin/sicstuslgt
  77         dosym /usr/share/${P}/integration/swilgt.sh \
  78                 /usr/bin/swilgt
  79         dosym /usr/share/${P}/integration/xsblgt.sh \
  80                 /usr/bin/xsblgt
  81         dosym /usr/share/${P}/integration/xsbmtlgt.sh \
  82                 /usr/bin/xsbmtlgt
  83         dosym /usr/share/${P}/integration/yaplgt.sh \
  84                 /usr/bin/yaplgt
  85
  86         dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2xml.sh \
  87                 /usr/bin/lgt2xml
  88         use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2html.sh \
  89                 /usr/bin/lgt2html
  90         use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2txt.sh \
  91                 /usr/bin/lgt2txt
  92         use xslt && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2md.sh \
  93                 /usr/bin/lgt2md
  94         use fop  && dosym /usr/share/${P}/tools/lgtdoc/xml/lgt2pdf.sh \
  95                 /usr/bin/lgt2pdf
  96
  97         # Install environment files
  98         echo "LOGTALKHOME=/usr/share/${P}" > 99logtalk
  99         doenvd 99logtalk
 100 }
 101
 102 pkg_postinst() {
 103         fdo-mime_desktop_database_update
 104
 105         ewarn "The following integration scripts are installed"
 106         ewarn "for running logtalk with selected Prolog compilers:"
 107         ewarn "B-Prolog: /usr/bin/bplgt"
 108         ewarn "CxProlog: /usr/bin/cxlgt"
 109         ewarn "ECLiPSe: /usr/bin/eclipselgt"
 110         ewarn "GNU Prolog: /usr/bin/gplgt"
 111         ewarn "Lean Prolog: /usr/bin/lplgt"
 112         ewarn "Qu-Prolog: /usr/bin/qplgt"
 113         ewarn "Quintus Prolog: /usr/bin/quintuslgt"
 114         ewarn "SICStus Prolog: /usr/bin/sicstuslgt"
 115         ewarn "SWI Prolog: /usr/bin/swilgt"
 116         ewarn "XSB: /usr/bin/xsblgt"
 117         ewarn "XSB MT: /usr/bin/xsbmtlgt"
 118         ewarn "YAP: /usr/bin/yaplgt"
 119         ewarn ""
 120
 121         ewarn "The environment has been set up to make the above"
 122         ewarn "integration scripts find files automatically for logtalk."
 123         ewarn "Please run 'etc-update && source /etc/profile' to update"
 124         ewarn "the environment now, otherwise it will be updated at next"
 125         ewarn "login."
 126 }
 127
 128 pkg_postrm() {
 129         fdo-mime_desktop_database_update
 130 }