summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Faulhammer <fauli@gentoo.org>2008-12-06 17:23:50 +0000
committerChristian Faulhammer <fauli@gentoo.org>2008-12-06 17:23:50 +0000
commitcfaa8a4b61f0c0e940c63b7c178b408c0daeef4f (patch)
tree7152f311606f96122d1b0ee4c7517ffff307a714 /app-emacs/proofgeneral
parentclean up (diff)
downloadgentoo-2-cfaa8a4b61f0c0e940c63b7c178b408c0daeef4f.tar.gz
gentoo-2-cfaa8a4b61f0c0e940c63b7c178b408c0daeef4f.tar.bz2
gentoo-2-cfaa8a4b61f0c0e940c63b7c178b408c0daeef4f.zip
clean up
(Portage version: 2.1.4.5)
Diffstat (limited to 'app-emacs/proofgeneral')
-rw-r--r--app-emacs/proofgeneral/ChangeLog7
-rw-r--r--app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch29
-rw-r--r--app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild54
3 files changed, 6 insertions, 84 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/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)"
-}