/[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 3440 by nogin, Mon Nov 5 02:36:58 2001 UTC revision 3472 by emre, Sat Dec 22 05:43:27 2001 UTC
# Line 1  Line 1 
1  Import qw( env );  Import qw( env );
2    
3  $env = $env->clone(  $env = $env->clone(
4      INCPATH     => [@{$env->{INCPATH}}, "../refbase", "../refsig", "../term_gen", "../term_std", "../term_ds", "../rewrite"],      INCPATH => [@{$env->{INCPATH}},
5      PPFLAGS     => "$env->{PPFLAGS} -Irefiner/refsig"                  "../refbase",  "../refsig",  "../term_gen",
6                    "../term_std", "../term_ds", "../rewrite"
7                   ],
8        PPFLAGS => "$env->{PPFLAGS} -Irefiner/refsig"
9  );  );
10    
11  Command $env "refiner.ml", "#mk/config", qq(  Command $env "refiner.ml", "#mk/config", qq(
12          echo "module Refiner = Refiner_%TERMS.Refiner" > %>     echo "module Refiner = Refiner_%TERMS.Refiner" > %>
13  );  );
14    
15  OCamlSources $env  OCamlSources $env
16          'refine.ml',     'refine.ml',
17          'refine_error.ml',     'refine_error.ml',
18          'refiner_std.ml',     'refiner_std.ml',
19          'refiner_ds.ml',     'refiner_ds.ml',
20          'refiner_io.ml',     'refiner_io.ml',
21          'refiner.ml';     'refiner.ml';
22    
23  OCamlLibrary $env 'refiner',  OCamlLibrary $env 'refiner',
24          'refine',     'refine',
25          'refine_error',     'refine_error',
26          'refiner_std',     'refiner_std',
27          'refiner_ds',     'refiner_ds',
28          'refiner_io',     'refiner_io',
29          'refiner';     'refiner';
30    
31  ## Add the library to the default target list  ## Add the library to the default target list
32  Default qw( refiner.cmxa );  Default qw( refiner.cmxa );

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

  ViewVC Help
Powered by ViewVC 1.1.26