removed question for executable, so this ebuild is not interactive anymore. Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org>

(Portage version: 2.1.1-r1)

5 files changed, 105 insertions, 2 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 2760be30a5c7..071aea7d1529 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,14 @@
 # ChangeLog for app-emacs/proofgeneral
-# Copyright 2000-2005 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.9 2005/08/28 02:21:25 tester Exp $
+# Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.10 2006/11/02 20:23:00 opfer Exp $
+
+*proofgeneral-3.5-r1 (02 Nov 2006)
+
+  02 Nov 2006; Christian Faulhammer <opfer@gentoo.org>
+  +files/proofgeneral-3.5_isabelle-non-interactive.patch,
+  +proofgeneral-3.5-r1.ebuild:
+  removed question for executable, so this ebuild is not interactive anymore.
+  Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org>
 
   28 Aug 2005; Olivier Crête <tester@gentoo.org> proofgeneral-3.5.ebuild:
   Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5
index 4a7a7c325bce..87248b064c1a 100644
--- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5
+++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5
@@ -1 +1,3 @@
 MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956
+RMD160 08025f894cecc04b50003aee28270001eea5d198 ProofGeneral-3.5.tar.gz 1799956
+SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b ProofGeneral-3.5.tar.gz 1799956
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1
new file mode 100644
index 000000000000..87248b064c1a
--- /dev/null
+++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1
@@ -0,0 +1,3 @@
+MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956
+RMD160 08025f894cecc04b50003aee28270001eea5d198 ProofGeneral-3.5.tar.gz 1799956
+SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b ProofGeneral-3.5.tar.gz 1799956
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
new file mode 100644
index 000000000000..444a344b6569
--- /dev/null
+++ b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
@@ -0,0 +1,29 @@
+--- /tmp/isabelle-system.el	2006-11-02 21:09:59.000000000 +0100
++++ 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
new file mode 100644
index 000000000000..8e3abad253b2
--- /dev/null
+++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
@@ -0,0 +1,61 @@
+# Copyright 1999-2006 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.1 2006/11/02 20:23:00 opfer Exp $
+
+SIMPLE_ELISP='nil'
+inherit elisp eutils
+
+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/releases/${MY_PN}-${PV}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+DEPEND="virtual/emacs"
+
+S="${WORKDIR}/${MY_PN}"
+
+SITEFILE=50proofgeneral-gentoo.el
+
+src_unpack() {
+	unpack ${A}
+	cd "${S}"
+	epatch "${FILESDIR}/${P}_isabelle-non-interactive.patch"
+}
+
+src_compile() {
+	echo "" | make compile EMACS=emacs
+}
+
+src_install() {
+	make 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
+	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
+}