diff options
author | grozin <grozin@32389bae-6d03-0410-99cf-db05cde120eb> | 2007-04-20 22:29:54 +0000 |
---|---|---|
committer | grozin <grozin@32389bae-6d03-0410-99cf-db05cde120eb> | 2007-04-20 22:29:54 +0000 |
commit | 4c2093069bb09801dc3af01ed107c1aeb6c96815 (patch) | |
tree | f5c60f110b04bbbc91a3ccd8d078ee12d3942d1d /dev-lang/aldor/aldor-1.1.0_rc.ebuild | |
parent | sci-astronomy/skymaker: Initial import of skymaker (diff) | |
download | sci-4c2093069bb09801dc3af01ed107c1aeb6c96815.tar.gz sci-4c2093069bb09801dc3af01ed107c1aeb6c96815.tar.bz2 sci-4c2093069bb09801dc3af01ed107c1aeb6c96815.zip |
aldor-1.1.0_rc
git-svn-id: http://overlays.gentoo.org/svn/proj/science/overlay@558 32389bae-6d03-0410-99cf-db05cde120eb
Diffstat (limited to 'dev-lang/aldor/aldor-1.1.0_rc.ebuild')
-rw-r--r-- | dev-lang/aldor/aldor-1.1.0_rc.ebuild | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/dev-lang/aldor/aldor-1.1.0_rc.ebuild b/dev-lang/aldor/aldor-1.1.0_rc.ebuild new file mode 100644 index 000000000..f508234d0 --- /dev/null +++ b/dev-lang/aldor/aldor-1.1.0_rc.ebuild @@ -0,0 +1,98 @@ +# Copyright 1999-2007 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +inherit elisp-common + +DESCRIPTION="Aldor - programming language with a two-level type system" +HOMEPAGE="http://www.aldor.org/" +LICENSE="aldor-public-license" +SLOT="0" +KEYWORDS="~x86 -*" +IUSE="doc emacs" +PV0="${PV/_rc/}" +ALDOR="${PN}-linux-i386-${PV/_rc/-rc}.bin" +DOC1="aldorug.pdf.gz" +DOC2="libaldor.pdf.gz" +DOC3="tutorial.pdf.gz" +URL4="ftp://ftp-sop.inria.fr/cafe/software/algebra" +DOC4="algebra.dvi.gz" +MODE_URL="http://www.risc.uni-linz.ac.at/people/hemmecke/aldor" +MODE="aldor.el.nw" +SRC_URI="${ALDOR} + doc? ( ${DOC1} ${DOC2} ${DOC3} ${DOC4} ) + emacs? ( ${MODE} )" +RESTRICT="fetch" +RDEPEND="emacs? ( virtual/emacs )" +DEPEND="${RDEPEND} + doc? ( virtual/tetex ) + emacs? ( app-text/noweb )" +S="${WORKDIR}" + +pkg_nofetch() { + local PLURAL + PLURAL="" + einfo "Please visit ${HOMEPAGE} and read the license" + einfo "If you accept it, download ${SRC_URI}" + if use doc; then + einfo "Also download ${DOC1}, ${DOC2}, ${DOC3}" + einfo "Then go to ${URL4} and download ${DOC4}" + PLURAL="s" + fi + if use emacs; then + einfo "Then go to ${MODE_URL} and download ${MODE}" + PLURAL="s" + fi + einfo "Then move the downloaded file${PLURAL} to ${DISTDIR}" +} + +src_compile() { + if use emacs; then + notangle "${DISTDIR}/aldor.el.nw" > aldor.el + notangle -Rinit.el "${DISTDIR}/aldor.el.nw" | \ + sed -e '1s/^.*$/;; aldor mode/' > 64aldor-gentoo.el + if use doc; then + noweave "${DISTDIR}/aldor.el.nw" > aldor-mode.tex + pdflatex aldor-mode.tex + pdflatex aldor-mode.tex + fi + fi + if use doc; then + dvipdfm algebra.dvi + fi +} + +src_install() { + local LINE="206" + dodir /opt + cd "${D}/opt" + tail -n +"${LINE}" "${DISTDIR}/${ALDOR}" | tar xzf - + cd "${S}" + cat > 64aldor <<EOF +ALDORROOT=/opt/${PN}/linux/${PV0} +PATH=/opt/${PN}/linux/${PV0}/bin +EOF + doenvd 64aldor + if use doc; then + insinto "/usr/share/doc/aldor-${PV}" + doins *.pdf + fi + if use emacs; then + elisp-site-file-install aldor.el + elisp-site-file-install 64aldor-gentoo.el + fi +} + +pkg_postinst() { + mkdir "${ROOT}opt/${PN}/${PV0}" + ln -s "${ROOT}opt/${PN}/linux/${PV0}" "${ROOT}opt/${PN}/${PV0}/linux" + ln -s `which ar` "${ROOT}opt/${PN}/linux/${PV0}/bin/uniar" + use emacs && elisp-site-regen +} + +pkg_prerm() { + rm -f "${ROOT}opt/${PN}/${PV0}/linux" + rmdir "${ROOT}opt/${PN}/${PV0}" + rm -f "${ROOT}opt/${PN}/linux/${PV0}/bin/uniar" + [ -f "${SITELISP}/site-gentoo.el" ] && elisp-site-regen +} |