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

Annotation of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3410 - (hide annotations) (download)
Tue Sep 25 16:52:43 2001 UTC (19 years, 10 months ago) by nogin
File size: 630 byte(s)
- Merged the Ocaml 3.02 changes

- Now http server is compiled in by default, but is only started if
the "-http true" argument is passed or MP_HTTP environment variable
is set to "true".

- A few other minor changes.

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 nogin 3410 Command $env "refiner.ml", "#mk/config", qq(
9     echo "module Refiner = Refiner_ds.Refiner" > %>
10     );
11    
12 jyh 3363 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