--- a/src/Pure/System/isabelle_process.scala Thu Mar 10 09:56:29 2016 +0100
+++ b/src/Pure/System/isabelle_process.scala Thu Mar 10 10:07:23 2016 +0100
@@ -28,46 +28,6 @@
new Isabelle_Process(receiver, channel, process)
}
-
-
- /* command line entry point */
-
- def main(args: Array[String])
- {
- Command_Line.tool {
- var eval_args: List[String] = Nil
- var modes: List[String] = Nil
- var options = Options.init()
-
- val getopts = Getopts("""
-Usage: isabelle_process [OPTIONS] [HEAP]
-
- Options are:
- -e ML_EXPR evaluate ML expression on startup
- -f ML_FILE evaluate ML file on startup
- -m MODE add print mode for output
- -o OPTION override Isabelle system OPTION (via NAME=VAL or NAME)
-
- If HEAP is a plain name (default $ISABELLE_LOGIC), it is searched in
- $ISABELLE_PATH; if it contains a slash, it is taken as literal file;
- if it is RAW_ML_SYSTEM, the initial ML heap is used.
-""",
- "e:" -> (arg => eval_args = eval_args ::: List("--eval", arg)),
- "f:" -> (arg => eval_args = eval_args ::: List("--use", arg)),
- "m:" -> (arg => modes = arg :: modes),
- "o:" -> (arg => options = options + arg))
-
- val heap =
- getopts(args) match {
- case Nil => ""
- case List(heap) => heap
- case _ => getopts.usage()
- }
-
- ML_Process(options, heap = heap, args = eval_args ::: args.toList, modes = modes).
- result().print_stdout.rc
- }
- }
}
class Isabelle_Process private(