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

Annotation of /metaprl/refiner/refiner/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


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