/[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 3561 by emre, Mon Mar 11 16:03:51 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 89  Line 89 
89      Depends $env $mod.$env->{SUFOBJ}, "#clib/clib.a";      Depends $env $mod.$env->{SUFOBJ}, "#clib/clib.a";
90  }  }
91    
92  OCamlProgram $env 'mp.opt', 'Itt_theory', 'Mp_mc_theory', 'mp_top';  OCamlProgram $env 'mp.opt', 'Itt_theory', 'Itt_record_exm', 'Mp_mc_theory', 'mp_top';
93    
94  ## Add the library to the default target list  ## Add the library to the default target list
95  Default qw( mp.opt );  Default qw( mp.opt );

Legend:
Removed from v.3561  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26