1990-08-31 18:22:53 +00:00
|
|
|
MAKE_TOKFILE = make.tokfile;
|
|
|
|
MAKE_TOKCASE = make.tokcase;
|
|
|
|
|
|
|
|
%tool gen_tokens (
|
|
|
|
csrc: %in [type = C-src, gen_tokens, persistent];
|
|
|
|
tokfile: %out [type = LLgen-src] => get($csrc, LL-dest);
|
1990-11-22 12:56:23 +00:00
|
|
|
symbols: %out [type = C-src] => get($csrc, cc-dest);
|
1990-08-31 18:22:53 +00:00
|
|
|
mktok: %in [type = command] => $MAKE_TOKFILE;
|
|
|
|
mkcase: %in [type = command] => $MAKE_TOKCASE;
|
|
|
|
)
|
|
|
|
{
|
|
|
|
exec($mktok, stdin => $csrc, stdout => $tokfile);
|
|
|
|
exec($mkcase, stdin => $csrc, stdout => $symbols);
|
|
|
|
echo({$tokfile, 'and', $symbols, 'created'});
|
|
|
|
};
|