/[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 3363 by jyh, Tue Aug 7 20:32:03 2001 UTC revision 3410 by nogin, Tue Sep 25 16:52:43 2001 UTC
# Line 5  Line 5 
5      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig"      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig"
6  );  );
7    
8    Command $env "refiner.ml", "#mk/config", qq(
9            echo "module Refiner = Refiner_ds.Refiner" > %>
10    );
11    
12  OCamlSources $env  OCamlSources $env
13          'refine.ml',          'refine.ml',
14          'refine_error.ml',          'refine_error.ml',

Legend:
Removed from v.3363  
changed lines
  Added in v.3410

  ViewVC Help
Powered by ViewVC 1.1.26