src/Pure/Tools/isabelle_process.ML
author wenzelm
Tue Dec 04 22:49:45 2007 +0100 (2007-12-04 ago)
changeset 25528 e67230c2b952
child 25554 082d97057e23
permissions -rw-r--r--
Isabelle process wrapper -- interaction via external program.
wenzelm@25528
     1
(*  Title:      Pure/Tools/isabelle_process.ML
wenzelm@25528
     2
    ID:         $Id$
wenzelm@25528
     3
    Author:     Makarius
wenzelm@25528
     4
wenzelm@25528
     5
Isabelle process wrapper -- interaction via external program.
wenzelm@25528
     6
*)
wenzelm@25528
     7
wenzelm@25528
     8
signature ISABELLE_PROCESS =
wenzelm@25528
     9
sig
wenzelm@25528
    10
  val init: unit -> unit
wenzelm@25528
    11
end;
wenzelm@25528
    12
wenzelm@25528
    13
structure IsabelleProcess: ISABELLE_PROCESS =
wenzelm@25528
    14
struct
wenzelm@25528
    15
wenzelm@25528
    16
fun init () =
wenzelm@25528
    17
  (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
wenzelm@25528
    18
  Isar.secure_main ());
wenzelm@25528
    19
wenzelm@25528
    20
end;
wenzelm@25528
    21