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

Diff of /metaprl/refiner/rewrite/Conscript

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

revision 3575 by nogin, Mon Nov 5 02:36:58 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", "../refsig"],      INCPATH => [@{$env->{INCPATH}}, "../refbase", "../refsig"],
5      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig",      PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig",
6  );  );
7    
8  Command $env 'rewrite_type_sig.mlz', 'rewrite_types.ml', qq(  Command $env 'rewrite_type_sig.mlz', 'rewrite_types.ml', qq(

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

  ViewVC Help
Powered by ViewVC 1.1.26