tok_tools.amk 524 B

123456789101112131415
  1. MAKE_TOKFILE = make.tokfile;
  2. MAKE_TOKCASE = make.tokcase;
  3. %tool gen_tokens (
  4. csrc: %in [type = C-src, gen_tokens, persistent];
  5. tokfile: %out [type = LLgen-src] => get($csrc, LL-dest);
  6. symbols: %out [type = C-src, b] => get($csrc, cc-dest);
  7. mktok: %in [type = command] => $MAKE_TOKFILE;
  8. mkcase: %in [type = command] => $MAKE_TOKCASE;
  9. )
  10. {
  11. exec($mktok, stdin => $csrc, stdout => $tokfile);
  12. exec($mkcase, stdin => $csrc, stdout => $symbols);
  13. echo({$tokfile, 'and', $symbols, 'created'});
  14. };