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

Contents of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3410 - (show 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 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_ds.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