/[mojave]/metaprl/editor/ml/Conscript
ViewVC logotype

Diff of /metaprl/editor/ml/Conscript

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

revision 3575 by emre, Wed Apr 3 08:37:31 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",     INCPATH  => [@{$env->{INCPATH}},
5                 "#refiner/refbase", "#refiner/refsig", "#refiner/term_gen",  
6                 "#refiner/term_ds", "#refiner/term_std", "#refiner/rewrite",                 # MetaPRL paths.
7                 "#refiner/refiner", "#refiner/reflib", "#library", "#ensemble",                 "$env->{MP}/mllib",
8                 "#filter/boot", "#filter/base", "#filter/filter",                 "$env->{MP}/refiner/refbase",
9                 "#theories/tactic", "#theories/ocaml", "#theories/base",                 "$env->{MP}/refiner/refsig",
10                 "#theories/itt", "#theories/mc",                 "$env->{MP}/refiner/term_gen",
11                   "$env->{MP}/refiner/term_ds",
12                   "$env->{MP}/refiner/term_std",
13                   "$env->{MP}/refiner/rewrite",
14                   "$env->{MP}/refiner/refiner",
15                   "$env->{MP}/refiner/reflib",
16                   "$env->{MP}/library",
17                   "$env->{MP}/ensemble",
18                   "$env->{MP}/filter/boot",
19                   "$env->{MP}/filter/base",
20                   "$env->{MP}/filter/filter",
21                   "$env->{MP}/theories/tactic",
22                   "$env->{MP}/theories/ocaml",
23                   "$env->{MP}/theories/base",
24                   "$env->{MP}/theories/itt",
25                   "$env->{MP}/theories/mc",
26    
27                   # MC paths.
28                 "$env->{MC}/lib/naml/stdlib",                 "$env->{MC}/lib/naml/stdlib",
29                 "$env->{MC}/lib/util",                 "$env->{MC}/lib/util",
30                 "$env->{MC}/fir/type",                 "$env->{MC}/fir/type",
# Line 40  Line 57 
57                 "$env->{MC}/arch/x86/opt",                 "$env->{MC}/arch/x86/opt",
58                 "$env->{MC}/arch/x86/moogle"],                 "$env->{MC}/arch/x86/moogle"],
59     ENV => {     ENV => {
60        PATH => "$ENV{'PATH'}:./filter/filter",        PATH => "$ENV{'PATH'}:$env->{MP}/filter/filter",
61        MPLIB => "lib",        MPLIB => "$env->{MP}/lib",
62        LC_ALL => "C"        LC_ALL => "C"
63     },     },
64     OCAMLCFLAGS => "-thread -linkall",     OCAMLCFLAGS => "-thread -linkall",
65     OCAMLC => "prlc -opt -I /usr/lib/camlp4",     OCAMLC => "prlc -opt -I /usr/lib/camlp4",
66     OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",     OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
67     MLLIBS => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",     MLLIBS => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",
68     CCLIBS => "-cclib clib/clib.a",     CCLIBS => "-cclib $env->{MP}/clib/clib.a",
69    
70     # Files compiled with prlc implicitly depend on these files and modules.     # Files compiled with prlc implicitly depend on these files and modules.
71     HIDDEPS => "#filter/filter/prlc",     HIDDEPS => "$env->{MP}/filter/filter/prlc",
72     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",
73  );  );
74    
75  Command $env 'mp_version.ml', "#mk/config", qq(  Command $env 'mp_version.ml', "$env->{MP}/mk/config", qq(
76     echo -n 'let version = "'"MetaPRL %MP_VERSION:\\n\\t\\tbuild [`LC_ALL=C LANG=C date`]\\n\\t\\ton `hostname`\\n\\t\\tUses %REFINER Refiner_%TERMS"'"' > %>     echo -n 'let version = "'"MetaPRL %MP_VERSION:\\n\\t\\tbuild [`LC_ALL=C LANG=C date`]\\n\\t\\ton `hostname`\\n\\t\\tUses %REFINER Refiner_%TERMS"'"' > %>
77  );  );
78    
# Line 84  Line 101 
101     'nuprl_run.ml',     'nuprl_run.ml',
102     'mp_top.ml';     'mp_top.ml';
103    
104  # These files use external symbols in #clib/clib.a.  # These files use external symbols in $env->{MP}/clib/clib.a.
105  for my $mod ('mp_top', 'shell', 'shell_mp') {  for my $mod ('mp_top', 'shell', 'shell_mp') {
106      Depends $env $mod.$env->{SUFOBJ}, "#clib/clib.a";      Depends $env $mod.$env->{SUFOBJ}, "$env->{MP}/clib/clib.a";
107  }  }
108    
109  OCamlProgram $env 'mp.opt', 'Itt_theory', 'Itt_record_exm', 'Mp_mc_theory', 'mp_top';  OCamlProgram $env 'mp.opt', 'Itt_theory', 'Itt_record_exm', 'Mp_mc_theory', 'mp_top';

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

  ViewVC Help
Powered by ViewVC 1.1.26