Annotation of /sml/trunk/src/cm/compile/servers.sig

Parent Directory | Revision Log

---

Revision 456 - (view) (download) (as text)

1 :	blume	449	(*
2 :			* Handling compile-servers.
3 :			*
4 :			* This is still rather crude and not very robust. A "real" implementation
5 :			* exists only for Unix.
6 :			*
7 :			* (C) 1999 Lucent Technologies, Bell Laboratories
8 :			*
9 :			* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
10 :			*)
11 :	blume	448	signature SERVERS = sig
12 :
13 :			(* add a compile server *)
14 :	blume	449	val start : { name: string, cmd: string * string list,
15 :	blume	454	pathtrans: (string -> string) option,
16 :			pref: int } -> bool
17 :	blume	448
18 :	blume	449	val stop : string -> unit
19 :
20 :			val kill : string -> unit
21 :
22 :	blume	451	(* reset scheduler and wait until all servers are idle *)
23 :			val reset : unit -> unit
24 :	blume	449
25 :	blume	456	(* signal all servers that future cmb calls use a different dirbase *)
26 :			val dirbase : string -> unit
27 :
28 :	blume	448	(* signal all servers that we are starting with a new .cm file *)
29 :	blume	449	val cm : SrcPath.t -> unit
30 :	blume	448
31 :	blume	449	(* signal all servers that we are starting with a new CMB.make *)
32 :	blume	456	val cmb : { archos: string, root: SrcPath.t } -> unit
33 :	blume	449
34 :	blume	448	(* schedule a compilation *)
35 :			val compile : SrcPath.t -> bool
36 :	blume	449
37 :	blume	450	val withServers : (unit -> 'a) -> 'a
38 :	blume	448	end

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0