diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2007-10-11 15:25:40 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2007-10-11 15:25:40 +0000 |
| commit | 98a0c8921718df12cca91f82c6bda1913113d7ea (patch) | |
| tree | 266454010c5999a9f00508294c4a7fb4c0bea8af /app-emacs/proofgeneral | |
| parent | Stable on amd64 (diff) | |
| download | gentoo-2-98a0c8921718df12cca91f82c6bda1913113d7ea.tar.gz gentoo-2-98a0c8921718df12cca91f82c6bda1913113d7ea.tar.bz2 gentoo-2-98a0c8921718df12cca91f82c6bda1913113d7ea.zip | |
Remove old.
(Portage version: 2.1.3.12)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.5 | 3 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 52 |
3 files changed, 4 insertions, 56 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 88b64b1a6584..cde564852990 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.16 2007/10/11 13:31:14 pylon Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.17 2007/10/11 15:25:40 ulm Exp $ + + 11 Oct 2007; Ulrich Mueller <ulm@gentoo.org> -proofgeneral-3.5.ebuild: + Remove old. 11 Oct 2007; Lars Weiler <pylon@gentoo.org> proofgeneral-3.5-r1.ebuild: stable ppc, bug #195156 diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 deleted file mode 100644 index 87248b064c1a..000000000000 --- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956 -RMD160 08025f894cecc04b50003aee28270001eea5d198 ProofGeneral-3.5.tar.gz 1799956 -SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b ProofGeneral-3.5.tar.gz 1799956 diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild deleted file mode 100644 index aec1e4b3063c..000000000000 --- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild +++ /dev/null @@ -1,52 +0,0 @@ -# Copyright 1999-2007 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.7 2007/10/07 07:27:18 ulm Exp $ - -inherit elisp - -MY_PN="ProofGeneral" - -DESCRIPTION="A generic interface for proof assistants" -HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" -SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ppc x86" -IUSE="" - -S="${WORKDIR}/${MY_PN}" - -SITEFILE=50${PN}-gentoo.el - -src_compile() { - echo "" | make compile EMACS=emacs -} - -src_install() { - make install EMACS=emacs PREFIX="${D}"/usr - - dohtml doc/*.html doc/*.jpg - doinfo doc/*.info* - dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER - - # We directly use the site file of the package - cd "${D}/usr/share/emacs/site-lisp" - mv site-start.d/pg-init.el ${SITEFILE} - - # clean up - rmdir site-start.d - rm -rf "${D}/usr/share/application-registry" - rm -rf "${D}/usr/share/mime-info" -} - -pkg_postinst() { - elisp-site-regen - elog "Please register your use of Proof General on the web at:" - elog " http://proofgeneral.inf.ed.ac.uk/register " - elog "(see the REGISTER file for more information)" -} - -pkg_postrm() { - elisp-site-regen -} |