/[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 3479 by emre, Thu Jan 24 05:49:15 2002 UTC revision 3480 by emre, Fri Jan 25 01:27:28 2002 UTC
# Line 22  Line 22 
22                 "$env->{MC}/fir/util",                 "$env->{MC}/fir/util",
23                 "$env->{MC}/fir/opt"],                 "$env->{MC}/fir/opt"],
24        OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",        OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
25        OCAMLCFLAGS => "-thread -linkall",        OCAMLCFLAGS => "-thread",
26        MLLIBS    => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",        MLLIBS    => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",
27        CCLIBS    => "-cclib clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"        CCLIBS    => "-cclib clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"
28     );     );

Legend:
Removed from v.3479  
changed lines
  Added in v.3480

  ViewVC Help
Powered by ViewVC 1.1.26