/[mojave]/metaprl/theories/mc/tests/Conscript
ViewVC logotype

Annotation of /metaprl/theories/mc/tests/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3479 - (hide annotations) (download)
Thu Jan 24 05:49:15 2002 UTC (19 years, 6 months ago) by emre
File size: 1451 byte(s)
Two changes essentially:
1) Moved more files in theories/mc to have
   the mp_mc_ prefix.
2) Added theories/mc/tests/  The files there are
   pretty empty right now, but the idea is to put
   code there for a simple test program to test
   the mp_mc_connect modules.

1 emre 3479 #
2     # Go ahead and assume that we have MC. There's no
3     # other way this Conscript should be called.
4     #
5     Import qw( env );
6    
7     #
8     # Clone the environment and modify as needed.
9     #
10     $env = $env->clone(
11     INCPATH => [@{$env->{INCPATH}}, "#mllib",
12     "#refiner/refbase", "#refiner/refsig", "#refiner/term_gen",
13     "#refiner/term_ds", "#refiner/term_std", "#refiner/rewrite",
14     "#refiner/refiner", "#refiner/reflib", "#library", "#ensemble",
15     "#filter/boot", "#filter/base", "#filter/filter",
16     "#theories/tactic", "#theories/ocaml", "#theories/base",
17     "#theories/itt", "#theories/mc",
18     "$env->{MC}/lib/naml/stdlib",
19     "$env->{MC}/lib/util",
20     "$env->{MC}/lib/cutil",
21     "$env->{MC}/fir/type",
22     "$env->{MC}/fir/util",
23     "$env->{MC}/fir/opt"],
24     OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
25     OCAMLCFLAGS => "-thread -linkall",
26     MLLIBS => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",
27     CCLIBS => "-cclib clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"
28     );
29    
30     #
31     # Declare source(s) and the program.
32     #
33     OCamlSources $env
34     'mp_mc_test_connect_base.ml',
35     'mp_mc_test_connect_ty.ml',
36     'mp_mc_test_connect_exp.ml',
37     'mp_mc_test_connect.ml';
38    
39     OCamlProgram $env 'test_connect.exec',
40     'mp_mc_test_connect';
41    
42     #
43     # What to build.
44     #
45     Default qw( test_connect.exec );

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.26