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

Diff of /metaprl/refiner/refiner/Conscript

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

revision 3472 by emre, Sat Dec 22 05:43:27 2001 UTC revision 3576 by emre, Fri Apr 12 05:37:53 2002 UTC
# Line 5  Line 5 
5                  "../refbase",  "../refsig",  "../term_gen",                  "../refbase",  "../refsig",  "../term_gen",
6                  "../term_std", "../term_ds", "../rewrite"                  "../term_std", "../term_ds", "../rewrite"
7                 ],                 ],
8      PPFLAGS => "$env->{PPFLAGS} -Irefiner/refsig"      PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig"
9  );  );
10    
11  Command $env "refiner.ml", "#mk/config", qq(  Command $env "refiner.ml", "$env->{MP}/mk/config", qq(
12     echo "module Refiner = Refiner_%TERMS.Refiner" > %>     echo "module Refiner = Refiner_%TERMS.Refiner" > %>
13  );  );
14    

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

  ViewVC Help
Powered by ViewVC 1.1.26