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

Parent Directory | Revision Log | Patch

	revision 448, Thu Oct 21 09:20:16 1999 UTC	revision 449, Fri Oct 22 07:35:29 1999 UTC
#	Line 1	Line 1
1		(*
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	signature SERVERS = sig	signature SERVERS = sig
12
13	(* add a compile server *)	(* add a compile server *)
14	val add : { name: string, cmd: string * string list } -> unit	val start : { name: string, cmd: string * string list,
15		pathtrans: (string -> string) option } -> bool
16
17		val stop : string -> unit
18
19		val kill : string -> unit
20
21		(* wait until all servers are ready *)
22		val waitforall : unit -> unit
23
24	(* signal all servers that we are starting with a new .cm file *)	(* signal all servers that we are starting with a new .cm file *)
25	val start : SrcPath.context * SrcPath.t -> unit	val cm : SrcPath.t -> unit
26
27		(* signal all servers that we are starting with a new CMB.make *)
28		val cmb : string -> unit
29
30	(* schedule a compilation *)	(* schedule a compilation *)
31	val compile : SrcPath.t -> bool	val compile : SrcPath.t -> bool
32
33		val disable : unit -> unit
34		val enable : unit -> unit
35	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.448   changed lines   Added in v.449

---

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