implementation module pdUpdateObject;

import StdEnv;
import DLState;
import UnknownModuleOrSymbol;

from DynamicLink import GenerateObjectFileOld;

generate_abc_file :: !String !String [ModuleOrSymbolUnknown] [String] !*State !*DLClientState !*DLServerState !(IOState s) -> !(!Bool,!String,[ModuleOrSymbolUnknown],[String],!*State,!*DLClientState,!*DLServerState,!(IOState s));
generate_abc_file module_path_name o_path_file objs libs state dl_client_state=:{cgpath} dl_server_state=:{application_path} io
	#! cgpath_without_terminating_null
		= cgpath % (0,size cgpath - 2)
	#! cmdline
		= cgpath_without_terminating_null +++ " \"" +++ module_path_name +++ "\"\0";
	= (GenerateObjectFileOld cgpath cmdline,o_path_file,objs,libs,state,dl_client_state,dl_server_state,io);
