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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3550 - (show annotations) (download)
Sun Mar 24 22:35:29 2002 UTC (19 years, 4 months ago) by emre
File size: 1444 byte(s)
Updating files to reflect the newest version of the MC FIR (which happens to be
in the websplit branch).  In the process, I've also moved every file in this
theory to use the same prefix for the filenames. I've also removed quite
a few files that have been dead for a while now.

Right now, the "connect" files are not compiled in by default since they will
only compile against the websplit branch of MC and not the trunk.

Lastly, since the definition of FIR evaluation is a bit more precise now,
the need to seperately define constant elimination has been removed.

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",
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