(*
 * This is a stub providing "slave" functionality for CMB.
 * (We use dynamic linking technology to avoid loading the target compiler
 *  on the slave side unless it is really needed.)
 *
 * (C) 1999 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
structure CMBSlave = struct
    local
	val loaded = ref StringSet.empty (* remember what we already have *)
    in
	fun slave load arch s = let
	    val lib = concat ["$smlnj/cmb/", arch, ".cm"]
	    (* eg. sparc-unix -> $smlnj/cmb/sparc-unix.cm *)
	in
	    if StringSet.member (!loaded, lib) then ()
	    else if load lib then loaded := StringSet.add (!loaded, lib)
	    else  raise Fail (concat ["dynamic linkage for CMB slave ",
				      arch, " failed"]);
	    CMBSlaveHook.slave arch s
	end
    end
end