added isabelle_tool version as basic integrity check of platform/distribution;
authorwenzelm
Sat Oct 04 14:29:45 2008 +0200 (2008-10-04 ago)
changeset 2849740e1cc165b05
parent 28496 4cff10648928
child 28498 cb1b43edb5ed
added isabelle_tool version as basic integrity check of platform/distribution;
src/Pure/Tools/isabelle_process.scala
     1.1 --- a/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 14:29:43 2008 +0200
     1.2 +++ b/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 14:29:45 2008 +0200
     1.3 @@ -338,6 +338,14 @@
     1.4    /** main **/
     1.5  
     1.6    {
     1.7 +    /* isabelle version */
     1.8 +
     1.9 +    {
    1.10 +      val (msg, rc) = IsabelleSystem.isabelle_tool("version")
    1.11 +      if (rc != 0) error("Version check failed -- bad Isabelle installation:\n" + msg)
    1.12 +      put_result(Kind.SYSTEM, null, msg)
    1.13 +    }
    1.14 +
    1.15  
    1.16      /* message fifo */
    1.17