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

Package-Manager: portage-2.1.1-r1

6 files changed, 139 insertions, 10 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/Manifest b/app-emacs/proofgeneral/Manifest
index e4c0e7d19d88..dc453eb009c1 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,15 +1,41 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA1
 
-MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
-MD5 71ecc80445470ecbd2923f9dac6000ad ChangeLog 1260
-MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330
-MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69
+AUX 50proofgeneral-gentoo.el 150 RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 SHA1 4f3fa87e00711d88458da71f7e61fd86e88a5c42 SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb
 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
+RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 files/50proofgeneral-gentoo.el 150
+SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb files/50proofgeneral-gentoo.el 150
+AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1
+MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
+RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
+SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
+DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
+EBUILD proofgeneral-3.5-r1.ebuild 1441 RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf SHA1 6cf00626e3b72d7c1587ca3990908efd095a73c1 SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba
+MD5 2504c8b61b28f8932205531896ab408a proofgeneral-3.5-r1.ebuild 1441
+RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf proofgeneral-3.5-r1.ebuild 1441
+SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba proofgeneral-3.5-r1.ebuild 1441
+EBUILD proofgeneral-3.5.ebuild 1330 RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 SHA1 e8d572c5a8314883a2871183f3f0a74422c61c67 SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f
+MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330
+RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 proofgeneral-3.5.ebuild 1330
+SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f proofgeneral-3.5.ebuild 1330
+MISC ChangeLog 1582 RMD160 68d448225ee604da1c634b6d81960628fd38cd9f SHA1 83aa3c21173196d6ac0ec095e82a67d80d67dfaf SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269
+MD5 572497842a23eef094ae5841a1bd73af ChangeLog 1582
+RMD160 68d448225ee604da1c634b6d81960628fd38cd9f ChangeLog 1582
+SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 ChangeLog 1582
+MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
+MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
+RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158
+SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab metadata.xml 158
+MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5 253
+RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5 253
+SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5 253
+MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253
+RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253
+SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.1 (GNU/Linux)
+Version: GnuPG v1.4.5 (GNU/Linux)
 
-iD8DBQFDER+ymOfEJZHYOKcRAg4fAKDbOcCsrezWaME8THLiBV+L3j3BzgCgrOz/
-OU7/wWsSkWb2cio3H8iSWJw=
-=bpIy
+iD8DBQFFSlOuNQqtfCuFneMRAvFjAJwOaeI5WVlrenRFbmLXqpAKzGczzgCglMYb
+BYBlXMYarGMNvfIu9nSQ6/s=
+=lpOk
 -----END PGP SIGNATURE-----
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
+}