/[mojave]/metaprl/refiner/refsig/Conscript
ViewVC logotype

Diff of /metaprl/refiner/refsig/Conscript

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3575 by jyh, Tue Aug 7 20:32:03 2001 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 1  Line 1 
1  Import qw( env );  Import qw( env );
2    
3  $env = $env->clone(  $env = $env->clone(
4      INCPATH     => [@{$env->{INCPATH}}, "../refbase"]      INCPATH => [@{$env->{INCPATH}}, "../refbase"]
5  );  );
6    
7  Command $env 'term_sig.ml', 'term_simple_sig.mlz', qq(  Command $env 'term_sig.ml', 'term_simple_sig.mlz', qq(
8          sed -e "s,TermSimpleSig,TermSig," -e "s,type level_exp_var =.*,type level_exp_var," -e "s,and level_exp =.*,and level_exp," -e "s,and param =.*,and param," -e "s,and operator =.*,and operator," %1 > %>     sed -e "s,TermSimpleSig,TermSig," -e "s,type level_exp_var =.*,type level_exp_var," -e "s,and level_exp =.*,and level_exp," -e "s,and param =.*,and param," -e "s,and operator =.*,and operator," %1 > %>
9  );  );
10    
11  Default qw ( term_sig.ml );  Default qw ( term_sig.ml );

Legend:
Removed from v.3575  
changed lines
  Added in v.3576

  ViewVC Help
Powered by ViewVC 1.1.26