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

Diff of /metaprl/theories/mc/tests/Conscript

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

revision 3550 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3551 by emre, Sun Mar 31 02:48:35 2002 UTC
# Line 8  Line 8 
8  # Clone the environment and modify as needed.  # Clone the environment and modify as needed.
9  #  #
10  $env = $env->clone(  $env = $env->clone(
11     INCPATH  => [@{$env->{INCPATH}}, "#mllib",     INCPATH  => [@{$env->{INCPATH}}, "#theories/mc"],
                "#refiner/refbase", "#refiner/refsig", "#refiner/term_gen",  
                "#refiner/term_ds", "#refiner/term_std", "#refiner/rewrite",  
                "#refiner/refiner", "#refiner/reflib", "#library", "#ensemble",  
                "#filter/boot", "#filter/base", "#filter/filter",  
                "#theories/tactic", "#theories/ocaml", "#theories/base",  
                "#theories/itt", "#theories/mc",  
                "$env->{MC}/lib/naml/stdlib",  
                "$env->{MC}/lib/util",  
                "$env->{MC}/lib/cutil",  
                "$env->{MC}/fir/type",  
                "$env->{MC}/fir/util",  
                "$env->{MC}/fir/opt"],  
12        OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",        OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
13        OCAMLCFLAGS => "-thread",        OCAMLCFLAGS => "-thread",
14        MLLIBS    => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",        MLLIBS    => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",
# Line 42  Line 30 
30  #  #
31  # What to build.  # What to build.
32  #  #
33  # Default qw( test_connect.exec );  #Default qw( test_connect.exec );

Legend:
Removed from v.3550  
changed lines
  Added in v.3551

  ViewVC Help
Powered by ViewVC 1.1.26