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

Contents of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3576 - (show 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 Import qw( env );
2
3 $env = $env->clone(
4 INCPATH => [@{$env->{INCPATH}},
5 "../refbase", "../refsig", "../term_gen",
6 "../term_std", "../term_ds", "../rewrite"
7 ],
8 PPFLAGS => "$env->{PPFLAGS} -I$env->{MP}/refiner/refsig"
9 );
10
11 Command $env "refiner.ml", "$env->{MP}/mk/config", qq(
12 echo "module Refiner = Refiner_%TERMS.Refiner" > %>
13 );
14
15 OCamlSources $env
16 'refine.ml',
17 'refine_error.ml',
18 'refiner_std.ml',
19 'refiner_ds.ml',
20 'refiner_io.ml',
21 'refiner.ml';
22
23 OCamlLibrary $env 'refiner',
24 'refine',
25 'refine_error',
26 'refiner_std',
27 'refiner_ds',
28 'refiner_io',
29 'refiner';
30
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