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

Diff of /metaprl/refiner/term_gen/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}}, "#lib", "#mllib", "../refbase", "../refsig"],      INCPATH => [@{$env->{INCPATH}}, "$env->{MP}/lib", "$env->{MP}/mllib",
5      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig"                  "../refbase", "../refsig"],
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