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

Annotation of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3363 - (hide 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 jyh 3363 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