13.5.5  compile_client

The compiler makelib_client package is part of the internal support for distributed program compilation using multiple processes potentially on multiple hosts. This facility is a nonfunctional work in progress.

The makelib_client package implements the Makelib_Client api.

The makelib_client package source code is in src/app/makelib/concurrency/makelib-client.pkg.

See also: makelib package.

See also: src/app/makelib/main/makelib-server.pkg.

The above information is manually maintained and may contain errors.

api {
    Makelib_Server ;
    start_a_makelib_server : {cmd:(String , List(String )),  name:String, 
                              path_translator:Null_Or((String -> String) ), 
                              priority:Int}
                             -> Null_Or(Makelib_Server );
    stop_a_makelib_server : Makelib_Server -> Void;
    kill_a_makelib_server : Makelib_Server -> Void;
    makelib_server_name : Makelib_Server -> String;
};