diff options
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch | 29 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | 54 |
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)" -} |