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

Contents of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3363 - (show annotations) (download)
Tue Aug 7 20:32:03 2001 UTC (19 years, 11 months ago) by jyh
File size: 532 byte(s)
Added some initial Conscript files.  cons is a "make" replacement.
make will continue to work in the usual way, but cons will
eventually make it easier to produce a build.

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 OCamlSources $env
9 'refine.ml',
10 'refine_error.ml',
11 'refiner_std.ml',
12 'refiner_ds.ml',
13 'refiner_io.ml',
14 'refiner.ml';
15
16 OCamlLibrary $env 'refiner',
17 'refine',
18 'refine_error',
19 'refiner_std',
20 'refiner_ds',
21 'refiner_io',
22 'refiner';
23
24 ## Add the library to the default target list
25 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