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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3480 - (hide annotations) (download)
Fri Jan 25 01:27:28 2002 UTC (19 years, 6 months ago) by emre
File size: 1442 byte(s)
1) Added some test cases to demonstrate what
   the test program will do.
2) Added mp_mc_compile.  This module will (hopefully)
   be used as the main interface to MC.  Right now,
   it only defines one function, compile, which
   is the identity on an Fir.prog.

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 emre 3480 OCAMLCFLAGS => "-thread",
26 emre 3479 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