/[mojave]/metaprl/refiner/Conscript
ViewVC logotype

Diff of /metaprl/refiner/Conscript

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

revision 3575 by nogin, Sun Mar 10 23:29:54 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}}, "$env->{MP}/mllib"],
5     OCAMLCFLAGS => "$env->{OCAMLCFLAGS} -pp '%CAMLP4MACRO'",     OCAMLCFLAGS => "$env->{OCAMLCFLAGS} -pp '%CAMLP4MACRO'",
6     PPFLAGS     => "$env->{PPFLAGS} ./util/macro.cmo -D$env->{REFINER}_EXN -DSEQ_SET=Array_linear_set",     PPFLAGS     => "$env->{PPFLAGS} $env->{MP}/util/macro.cmo -D$env->{REFINER}_EXN -DSEQ_SET=Array_linear_set",
7    
8     # Thanks to PPFLAGS, all these files depend on macro.cmo     # Thanks to PPFLAGS, all these files depend on macro.cmo
9     HIDDEPS     => "#util/macro.cmo",     HIDDEPS     => "$env->{MP}/util/macro.cmo",
10  );  );
11    
12  Export qw( env );  Export qw( env );

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

  ViewVC Help
Powered by ViewVC 1.1.26