From 655feae949e6cd6b19778d819305bc192846217d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 8 Jul 2000 14:30:44 +0000
Subject: isabelle-command-line: try to be smart in ensuring proper Isabelle
 command line, avoiding nil under all circumstances;

---
 isa/isabelle-system.el | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 13d7d065..d538a8e2 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -119,6 +119,19 @@ ISABELLE will always override this setting."
   :type 'file
   :group 'isabelle)
 
+(defun isabelle-command-line ()
+  "Make proper command line for running Isabelle"
+  (let
+      ((isabelle (getenv "ISABELLE"))
+       (logic (getenv "PROOFGENERAL_LOGIC")))
+    (if (or (not isabelle) (equal isabelle "") (not logic) (equal logic ""))
+	(or isabelle-prog-name "isabelle")  ; just to make really sure ...
+      ;; The ISABELLE and PROOFGENERAL_LOGIC values (as set when run
+      ;; under the interface wrapper script) indicate that we should
+      ;; determine the proper command line from the current Isabelle
+      ;; settings environment.
+      (concat isabelle " " logic))))
+
 (defun isa-tool-run-command (logic-name)
   "Make a command for running Isabelle using Isabelle tools.
 This function is called with the name of the logic as an argument,
-- 
cgit v1.2.3