/[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 3575 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3576 by emre, Fri Apr 12 05:37:53 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}}, "#theories/mc"],     INCPATH  => [@{$env->{INCPATH}}, "$env->{MP}/theories/mc"],
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",
15        CCLIBS    => "-cclib clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"        CCLIBS    => "-cclib $env->{MP}/clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"
16     );     );
17    
18  #  #

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

  ViewVC Help
Powered by ViewVC 1.1.26