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

Contents of /metaprl/theories/mc/tests/Conscript

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3479 - (show 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 #
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