Getting Started

Documentation

Glish

Learn More

Programming

Contact Us

Version 1.9 Build 1556

News	FAQ
Search	Home

executive.make - Function

	Package	utility
	Module	misc
	Tool	executive

Run a makefile

Synopsis
make(target, args, makefile, host, log)

Description
Run make on a makefile and execute the resulting command, optionally on another host. Specification of a log file is optional - if not specified, output is logged in the current glish session.

The number returned is the job number, which is a monotonically increasing number starting at one. You can use this number to kill or remove a given job.

Important Note that the scripts run in a separate instance of glish. Thus variables such as tools defined in the current glish session will not be available inside the script.

Arguments

target		Target to be constructed
		Allowed:	String
args		Arguments
		Allowed:	String
makefile		Makefile to be used
		Allowed:	File name
		Default:	'makefile'
host		Host where script is to be run: default is current host
		Allowed:	String
		Default:	''
log		Log file
		Allowed:	String
		Default:	''

Returns
job number

Example

include 'executive.g';
myexecutive:=executive();
myexecutive.run('doit()', inc='ireallydoit.g', host='zeus');