To generate more examples for the Luke subdirectory form a Lustre file filename.lus with main node nodename run in this directory ./makeex.pl filename.lus nodename Make sure that Luke's executable, to be called runluke, is also contained in this directory.