#NEWLINE# def cmdline( self , executable , options , tasks , propertyfile , rlimits ) : #NEWLINE# #INDENT# assert ( len ( tasks ) == 1 ) , 'only one sourcefile supported' #NEWLINE# inputfile = spec [ 0 ] #NEWLINE# assert ( propertyfile is not None ) #NEWLINE# spec = [ '-spec' , propertyfile ] #NEWLINE# return ( ( ( [ executable ] + options ) + spec ) + [ inputfile ] )