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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3563 - (hide 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 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 emre 3551 INCPATH => [@{$env->{INCPATH}}, "#theories/mc"],
12 emre 3479 OCAMLLINK => "$env->{OCAMLLINK} -I /usr/lib/camlp4",
13 emre 3480 OCAMLCFLAGS => "-thread",
14 emre 3479 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 emre 3563 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