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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3563 - (show annotations) (download)
Fri Apr 5 01:16:49 2002 UTC (19 years, 3 months ago) by emre
File size: 798 byte(s)
Updates to reflect the (ever changing) MC FIR.

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}}, "#theories/mc"],
12 OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
13 OCAMLCFLAGS => "-thread",
14 MLLIBS => "unix.cmxa threads.cmxa odyl.cmxa camlp4.cmxa pa_o.cmx",
15 CCLIBS => "-cclib clib/clib.a -cclib $env->{MC}/lib/cutil/libcutil.a"
16 );
17
18 #
19 # Declare source(s) and the program.
20 #
21 OCamlSources $env
22 'mp_mc_test_connect_base.ml',
23 'mp_mc_test_connect_ty.ml',
24 'mp_mc_test_connect_exp.ml',
25 'mp_mc_test_connect.ml';
26
27 OCamlProgram $env 'test_connect.exec',
28 'mp_mc_test_connect';
29
30 #
31 # What to build.
32 #
33 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