Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cm/concur/dummy-servers.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 805 - (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 : blume 735
12 :     (* It is unfortunate but necessary to use a transparant match here.
13 :     * Otherwise the "hack" in $smlnj/cm/full.cm won't work. *)
14 :     structure Servers : SERVERS = struct
15 :     type server_handle = unit
16 : blume 645 local
17 :     fun unavailable x =
18 :     (Say.say ["Compile server facility not available."]; x)
19 :     fun impossible () = raise Fail "Servers: impossible"
20 :     in
21 :     fun start _ = unavailable NONE
22 :     fun stop () = impossible ()
23 :     fun kill () = impossible ()
24 :     fun name () = impossible ()
25 :     fun reset _ = Concur.reset ()
26 :     fun cm _ = ()
27 :     fun cmb _ = ()
28 : blume 805 fun cmb_reset _ = ()
29 : blume 645 fun compile _ = false
30 :     fun withServers f =
31 :     SafeIO.perform { openIt = fn () => (),
32 :     closeIt = fn () => (),
33 :     work = f,
34 :     cleanup = reset }
35 :     fun allIdle () = true
36 : blume 801 fun noServers () = true
37 : blume 645 end
38 : blume 464 end

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