/[mojave]/metaprl/filter/Conscript
ViewVC logotype

Diff of /metaprl/filter/Conscript

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

revision 3575 by nogin, Tue Sep 25 16:52:43 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",     INCPATH  => [@{$env->{INCPATH}},
5                      "#refiner/refbase", "#refiner/refsig", "#refiner/term_gen",                  "$env->{MP}/mllib",
6                      "#refiner/term_ds", "#refiner/term_std", "#refiner/rewrite",                  "$env->{MP}/refiner/refbase",
7                      "#refiner/refiner", "#refiner/reflib", "#library", "#ensemble"]                  "$env->{MP}/refiner/refsig",
8                    "$env->{MP}/refiner/term_gen",
9                    "$env->{MP}/refiner/term_ds",
10                    "$env->{MP}/refiner/term_std",
11                    "$env->{MP}/refiner/rewrite",
12                    "$env->{MP}/refiner/refiner",
13                    "$env->{MP}/refiner/reflib",
14                    "$env->{MP}/library",
15                    "$env->{MP}/ensemble"]
16  );  );
17    
18  Export qw( env );  Export qw( env );
19    
20  Build qw(  Build qw(
21          base/Conscript     base/Conscript
22          boot/Conscript     boot/Conscript
23          filter/Conscript     filter/Conscript
24  );  );

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

  ViewVC Help
Powered by ViewVC 1.1.26