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

Diff of /metaprl/theories/Conscript

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

revision 3575 by nogin, Sun Mar 10 23:29:54 2002 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", "#lib",      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}/lib",
7                      "#refiner/refiner", "#refiner/reflib", "#library", "#ensemble",                  "$env->{MP}/refiner/refbase",
8                      "#filter/boot"],                  "$env->{MP}/refiner/refsig",
9          ENV => {                  "$env->{MP}/refiner/term_gen",
10                  PATH => "$ENV{'PATH'}:./filter/filter",                  "$env->{MP}/refiner/term_ds",
11                  MPLIB => "lib",                  "$env->{MP}/refiner/term_std",
12                  LC_ALL => "C"                  "$env->{MP}/refiner/rewrite",
13          },                  "$env->{MP}/refiner/refiner",
14          OCAMLCFLAGS => "",                  "$env->{MP}/refiner/reflib",
15          OCAMLC => "prlc -opt",                  "$env->{MP}/library",
16                    "$env->{MP}/ensemble",
17                    "$env->{MP}/filter/boot"],
18        ENV => {
19                PATH => "$ENV{'PATH'}:$env->{MP}/filter/filter",
20                MPLIB => "$env->{MP}/lib",
21                LC_ALL => "C"
22        },
23        OCAMLCFLAGS => "",
24        OCAMLC => "prlc -opt",
25    
26          # All files compiled with prlc implicitly depend on these files and     # All files compiled with prlc implicitly depend on these files and
27          # modules.     # modules.
28          HIDDEPS => "#filter/filter/prlc #lib/camlp4n #lib/registry.txt #lib/mbs-mpl.txt",     HIDDEPS => "$env->{MP}/filter/filter/prlc $env->{MP}/lib/camlp4n $env->{MP}/lib/registry.txt $env->{MP}/lib/mbs-mpl.txt",
29          HIDMODDEPS => "Printf Mp_debug Refiner Refine_exn Term Term_util Theory Dform Dform_print Tactic Mp_resource Precedence Filter_summary",     HIDMODDEPS => "Printf Mp_debug Refiner Refine_exn Term Term_util Theory Dform Dform_print Tactic Mp_resource Precedence Filter_summary",
30  );  );
31    
32  Export qw( env );  Export qw( env );

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

  ViewVC Help
Powered by ViewVC 1.1.26