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

Contents of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3472 - (show annotations) (download)
Sat Dec 22 05:43:27 2001 UTC (19 years, 7 months ago) by emre
File size: 706 byte(s)
-  Removed util/Construct since it seems to be
   unnecessary for building MetaPRL with cons.
-  Minor changes to other Conscript(s).
   Mostly formatting (changing tabs to spaces).
-  Top level Conscript only uses the MC std. lib.
   if MC_ROOT is defined.  Before, if MC_ROOT wasn't
   defined, the -I cmd. line arguments would have
   unnecessary things like -I /lib/naml/...
-  Minor changes to display forms in theories/mc.
-  Minor changes to code formatting in theories/mc.
-  Filled in missing Mc_fir_connect_* functions.
   I need to look over them at some point for
   obvious typo-bugs and perform other testing.

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