15 lines
		
	
	
	
		
			521 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			15 lines
		
	
	
	
		
			521 B
		
	
	
	
		
			Text
		
	
	
	
	
	
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);
 | 
						|
    symbols:	%out [type = C-src]	=> get($csrc, cc-dest);
 | 
						|
    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'});
 | 
						|
};
 |