diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:00 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:00 +0000 |
| commit | a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5 (patch) | |
| tree | e7685630dbaacb72a2830219bb8a2663d99d2a74 /app-emacs/proofgeneral/files | |
| parent | Dropped ppc-macos, see you in prefix. (diff) | |
| download | gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.tar.gz gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.tar.bz2 gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.zip | |
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)
Diffstat (limited to 'app-emacs/proofgeneral/files')
3 files changed, 34 insertions, 0 deletions
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 |