diff options
author | Matthieu Sozeau <mattam@gentoo.org> | 2004-10-09 14:08:24 +0000 |
---|---|---|
committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-10-09 14:08:24 +0000 |
commit | 637d296a31ab3b2860f855d8dc52c1eabe5d6eae (patch) | |
tree | 5dc02c3ca55df6dc7082dd3aaa0c8072ba056238 | |
parent | Stable on x86 (Manifest recommit) (diff) | |
download | gentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.tar.gz gentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.tar.bz2 gentoo-2-637d296a31ab3b2860f855d8dc52c1eabe5d6eae.zip |
Move 3.5 to stable, remove old version.
-rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
-rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.4 | 1 | ||||
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.4.ebuild | 52 | ||||
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 4 |
4 files changed, 7 insertions, 56 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index f305ed7971bf..c24d2f81cc6e 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.6 2004/06/24 22:20:35 agriffis Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.7 2004/10/09 14:08:23 mattam Exp $ + + 09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild, + proofgeneral-3.5.ebuild: + Move 3.5 to stable, remove old version. *proofgeneral-3.5 (20 Jun 2004) diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 deleted file mode 100644 index 4fdb13f9263e..000000000000 --- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 +++ /dev/null @@ -1 +0,0 @@ -MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807 diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild deleted file mode 100644 index 3204df5cfc9d..000000000000 --- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild +++ /dev/null @@ -1,52 +0,0 @@ -# Copyright 1999-2004 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.6 2004/06/24 22:20:35 agriffis Exp $ - -SIMPLE_ELISP='nil' -inherit elisp - -MY_PN="ProofGeneral" - -DESCRIPTION="Proof General is a generic interface for proof assistants" -HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" -SRC_URI="http://proofgeneral.inf.ed.ac.uk/${MY_PN}-${PV}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="x86 ppc" -IUSE="" - -DEPEND="virtual/emacs" - -S="${WORKDIR}/${MY_PN}" - -SITEFILE=50proofgeneral-gentoo.el - -src_compile() { - einfo "Byte compilation not supported yet (see the INSTALL file)" -} - -src_install() { - for dir in etc generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 - do - cd $dir - elisp-install ${PN}/$dir * - cd .. - done - elisp-site-file-install ${FILESDIR}/${SITEFILE} - dohtml doc/*.html doc/*.jpg - doinfo doc/*.info* - dobin bin/* - dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER -} - -pkg_postinst() { - elisp-site-regen - einfo "Please register your use of Proof General on the web at:" - einfo " http://proofgeneral.inf.ed.ac.uk/register " - einfo "(see the REGISTER file for more information)" -} - -pkg_postrm() { - elisp-site-regen -} diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild index b51f3f3ab6ba..c15587a17313 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2004 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.2 2004/06/24 22:20:35 agriffis Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.3 2004/10/09 14:08:23 mattam Exp $ SIMPLE_ELISP='nil' inherit elisp @@ -13,7 +13,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="~x86 ~ppc" +KEYWORDS="x86 ppc" IUSE="" DEPEND="virtual/emacs" |