Annotation of /sml/trunk/src/cm/concur/dummy-servers.sml

Parent Directory | Revision Log

---

Revision 651 - (view) (download)

1 :	blume	464	(*
2 :			* Handling compile-servers under non-Unix systems.
3 :			*
4 :			* This is just a placeholder that disables parallel make on non-supported
5 :			* systems.
6 :			*
7 :			* (C) 1999 Lucent Technologies, Bell Laboratories
8 :			*
9 :			* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
10 :			*)
11 :			structure Servers :> SERVERS = struct
12 :	blume	479	type server = unit
13 :	blume	645	local
14 :			fun unavailable x =
15 :			(Say.say ["Compile server facility not available."]; x)
16 :			fun impossible () = raise Fail "Servers: impossible"
17 :			in
18 :			fun start _ = unavailable NONE
19 :			fun stop () = impossible ()
20 :			fun kill () = impossible ()
21 :			fun name () = impossible ()
22 :			fun reset _ = Concur.reset ()
23 :			fun dirbase _ = ()
24 :			fun cd _ = ()
25 :			fun cm _ = ()
26 :			fun cmb _ = ()
27 :			fun cmb_new _ = ()
28 :			fun compile _ = false
29 :			fun withServers f =
30 :			SafeIO.perform { openIt = fn () => (),
31 :			closeIt = fn () => (),
32 :			work = f,
33 :			cleanup = reset }
34 :			fun allIdle () = true
35 :			end
36 :	blume	464	end

---

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