13.5.5  compile_client

The compiler compile_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 compile_client package API is defined as a part of the Make7 api.

The compile_client package source code is in src/app/make7/main/make7-g.pkg.

See also: make7 package.

The above information is manually maintained and may contain errors.

api {    Compile_Server_Handle ;
    start_a_compile_server : {cmd:(String , List(String )),  name:String, 
                              path_translator:Null_Or((String -> String) ), 
                              preference:Int}
                             -> Null_Or(Compile_Server_Handle );
    stop_a_compile_server : Compile_Server_Handle -> Void;
    kill_a_compile_server : Compile_Server_Handle -> Void;
    compile_server_name : Compile_Server_Handle -> String;
};