clean up

Package-Manager: portage-2.1.4.5

4 files changed, 10 insertions, 91 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 784024e33ec6..f32f32230ce0 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.23 2008/11/17 19:57:17 flameeyes Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.24 2008/12/06 17:23:50 fauli Exp $
+
+  06 Dec 2008; Christian Faulhammer <fauli@gentoo.org>
+  -files/proofgeneral-3.5_isabelle-non-interactive.patch,
+  -proofgeneral-3.5-r1.ebuild:
+  clean up
 
   17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org>
   files/proofgeneral-3.5_isabelle-non-interactive.patch:
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 535b5416b9e3..9f4dc620869e 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -2,17 +2,14 @@
 Hash: SHA1
 
 AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac
-AUX proofgeneral-3.5_isabelle-non-interactive.patch 1260 RMD160 2bb8ee89231c9507c9fc6f0f87004ba8ae647b87 SHA1 39db1f7878814a5ba9d6ad1292cba20394dfd503 SHA256 c8975ac4e30bfc7ca946ce0fef7c2ff2dcf0e6178428dc28107f9757f2165210
-DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
 DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
-EBUILD proofgeneral-3.5-r1.ebuild 1342 RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 SHA1 445d3f7e43c97c33d2262af7ccf96591e5d41775 SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803
 EBUILD proofgeneral-3.7.ebuild 1250 RMD160 7b33b5ae5c1707ad6988189ca2d7174e591b85d2 SHA1 2b60ce91b5bc0443e8cd2af61be79f5de74b6124 SHA256 881436c3d80cc0fc99e1cabf9c223f2889870784fab01c997f82e0dfaef5e7a1
-MISC ChangeLog 3410 RMD160 0ef543f81970f3ae727a9328e46fa0d233115e6f SHA1 b48144f7daa1de58e66610085fa5f7d84eb3328a SHA256 38114448c260b481e82174887ebcb9f19a5919664488d11c43bec6a1a8a1c3e6
+MISC ChangeLog 3562 RMD160 dc746cff62b79c5d3b55d7b25e0b98a82961f0fb SHA1 ab77b73262893765bd50c5f4c938aa2dddcd0688 SHA256 d32439b8c77de321787b35d78fcebb75b33b65ada95b8aaffffd3de6efcfb273
 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.9 (GNU/Linux)
 
-iEYEARECAAYFAkkhzKIACgkQAiZjviIA2XiBswCg7/8Kii6P6oF87suHtrtex5Cg
-l2YAnjaIEH1zEv5y3klMNbgCTkfAznOp
-=93Cb
+iEYEARECAAYFAkk6tS4ACgkQNQqtfCuFneO0WwCbBAqUjV1O1V/AugTPDDwFgjQk
+OaIAni+j1CnbyAlC1HW985L8Ggk5nVWp
+=eiXj
 -----END PGP SIGNATURE-----
diff --git a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
deleted file mode 100644
index e81ad7a1178c..000000000000
--- a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
+++ /dev/null
@@ -1,29 +0,0 @@
---- a/isa/isabelle-system.el	2006-11-02 21:09:59.000000000 +0100
-+++ b/isa/isabelle-system.el	2006-11-02 21:10:36.000000000 +0100
-@@ -64,26 +64,6 @@
- (defvar isatool-not-found nil
-   "Non-nil if user has been prompted for `isatool' already and it wasn't found.")
- 
--(defun isa-set-isatool-command ()
--  "Make sure isa-isatool-command points to a valid executable.
--If it does not, prompt the user for the proper setting.
--If it appears we're running on win32 or FSF Emacs, we allow this to
--remain unverified.
--Returns non-nil if isa-isatool-command is surely an executable
--with full path."
--  (interactive)
--  (unless (or isatool-not-found (file-executable-p isa-isatool-command))
--    (setq isa-isatool-command
--	  (read-file-name
--	   "Please give the full path to `isatool' (RET if you don't have it): "
--	   nil nil nil))
--    (if (not (file-executable-p isa-isatool-command))
--	(progn
--	  (setq isatool-not-found t)
--	  (beep)
--	  (warn "Proof General: isatool command not found; some menus will be incomplete."))))
--  (file-executable-p isa-isatool-command))
--
- (defun isa-shell-command-to-string (command)
-   "Like shell-command-to-string except the last character is stripped."
-   ;; FIXME: sometimes the command may fail. This will usually cause PG
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
deleted file mode 100644
index 2cc4f0f9d859..000000000000
--- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
+++ /dev/null
@@ -1,54 +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-r1.ebuild,v 1.7 2007/10/16 06:27:25 opfer Exp $
-
-inherit elisp eutils
-
-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_unpack() {
-	unpack ${A}
-	cd "${S}"
-	epatch "${FILESDIR}/${P}_isabelle-non-interactive.patch"
-}
-
-src_compile() {
-	echo "" | emake compile EMACS=emacs
-}
-
-src_install() {
-	emake 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)"
-}