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

Annotation of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3576 - (hide annotations) (download)
Fri Apr 12 05:37:53 2002 UTC (19 years, 3 months ago) by emre
File size: 727 byte(s)
These updates to the Conscripts allow for a compiles,
started in the MC source tree, to optionally
compile MetaPRL.  Nothing in MetaPRL itself should be
affected by these changes.  The only important
thing to note that is "#", in INCPATH's
has been replaced by $env->{MP}, which is set
in the toplevel Conscript.  "#" will refer to the
wrong root if the compile is started in MC.

1 jyh 3363 Import qw( env );
2    
3     $env = $env->clone(
4 emre 3472 INCPATH => [@{$env->{INCPATH}},
5     "../refbase", "../refsig", "../term_gen",
6     "../term_std", "../term_ds", "../rewrite"
7     ],
8 emre 3576 PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig"
9 jyh 3363 );
10    
11 emre 3576 Command $env "refiner.ml", "$env->{MP}/mk/config", qq(
12 emre 3472 echo "module Refiner = Refiner_%TERMS.Refiner" > %>
13 nogin 3410 );
14    
15 jyh 3363 OCamlSources $env
16 emre 3472 'refine.ml',
17     'refine_error.ml',
18     'refiner_std.ml',
19     'refiner_ds.ml',
20     'refiner_io.ml',
21     'refiner.ml';
22 jyh 3363
23     OCamlLibrary $env 'refiner',
24 emre 3472 'refine',
25     'refine_error',
26     'refiner_std',
27     'refiner_ds',
28     'refiner_io',
29     'refiner';
30 jyh 3363
31     ## Add the library to the default target list
32     Default qw( refiner.cmxa );

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.26