Project

General

Profile

Revision f30a2012 setup.ml

View differences:

setup.ml
1 1
(* setup.ml generated for the first time by OASIS v0.2.0 *)
2 2

  
3 3
(* OASIS_START *)
4
(* DO NOT EDIT (digest: bfbef9a3c28e55b657d10679aeb14c68) *)
4
(* DO NOT EDIT (digest: 288c7853541e9b001252c37919a5ce7b) *)
5 5
(*
6 6
   Regenerated by OASIS v0.2.0
7 7
   Visit http://oasis.forge.ocamlcore.org for more information and
......
5221 5221
                      exec_custom = false;
5222 5222
                      exec_main_is = "main_lustre_compiler.ml";
5223 5223
                      });
5224
               Executable
5225
                 ({
5226
                     cs_name = "lustrem";
5227
                     cs_data = PropList.Data.create ();
5228
                     cs_plugin_data = [];
5229
                     },
5230
                   {
5231
                      bs_build = [(OASISExpr.EBool true, true)];
5232
                      bs_install = [(OASISExpr.EBool true, true)];
5233
                      bs_path = "src";
5234
                      bs_compiled_object = Native;
5235
                      bs_build_depends =
5236
                        [
5237
                           FindlibPackage ("ocamlgraph", None);
5238
                           FindlibPackage ("str", None);
5239
                           FindlibPackage ("unix", None)
5240
                        ];
5241
                      bs_build_tools = [ExternalTool "ocamlbuild"];
5242
                      bs_c_sources = [];
5243
                      bs_data_files = [];
5244
                      bs_ccopt = [(OASISExpr.EBool true, [])];
5245
                      bs_cclib = [(OASISExpr.EBool true, [])];
5246
                      bs_dlllib = [(OASISExpr.EBool true, [])];
5247
                      bs_dllpath = [(OASISExpr.EBool true, [])];
5248
                      bs_byteopt = [(OASISExpr.EBool true, [])];
5249
                      bs_nativeopt = [(OASISExpr.EBool true, [])];
5250
                      },
5251
                   {
5252
                      exec_custom = false;
5253
                      exec_main_is = "main_lustre_mutator.ml";
5254
                      });
5224 5255
               Test
5225 5256
                 ({
5226 5257
                     cs_name = "nonregression";

Also available in: Unified diff