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

Diff of /metaprl/refiner/term_ds/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}}, "#mllib", "../refbase", "../refsig", "../term_gen"],      INCPATH => [@{$env->{INCPATH}}, "$env->{MP}/mllib",
5      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig"                  "../refbase", "../refsig", "../term_gen"],
6        PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig"
7  );  );
8    
9  OCamlSources $env  OCamlSources $env

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

  ViewVC Help
Powered by ViewVC 1.1.26