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

Contents of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3440 - (show annotations) (download)
Mon Nov 5 02:36:58 2001 UTC (19 years, 9 months ago) by nogin
File size: 634 byte(s)
cons files:
- The mp_version.ml file is now created with a proper version string
- The refiner used is now controlled  by the RFEINER and TERM variables
specified in the top-level Conscript (but not yet taken from mk/config).

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