summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2004-10-09 14:08:24 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2004-10-09 14:08:24 +0000
commit637d296a31ab3b2860f855d8dc52c1eabe5d6eae (patch)
tree5dc02c3ca55df6dc7082dd3aaa0c8072ba056238
parentStable on x86 (Manifest recommit) (diff)
downloadgentoo-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/ChangeLog6
-rw-r--r--app-emacs/proofgeneral/files/digest-proofgeneral-3.41
-rw-r--r--app-emacs/proofgeneral/proofgeneral-3.4.ebuild52
-rw-r--r--app-emacs/proofgeneral/proofgeneral-3.5.ebuild4
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"