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 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