/myocamlbuild.ml - Diff - LustreC

« Previous | Next »

Revision d1baac41

Added by Xavier Thirioux over 10 years ago

ID d1baac41368850ea61f2e2eb8cfc92fae6325b9e
Parent 080a6d0b
Child cb430a2b

corrected a bug that made an error silent, confusing users...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@370 041b043f-8d7c-46b2-b46e-ef0dd855326e

     (* OASIS_START *)
     (* DO NOT EDIT (digest: 5a9a2168dcb86db37476d58b8c0e25b3) *)
     (* DO NOT EDIT (digest: 72be793de58c2829edbc48dbc71bb938) *)
     module OASISGettext = struct
     (* # 22 "src/oasis/OASISGettext.ml" *)
     (* # 21 "src/oasis/OASISGettext.ml" *)
       let ns_ str =
         str
       let s_ str =
         str
       let f_ (str: ('a, 'b, 'c, 'd) format4) =
       let f_ (str : ('a, 'b, 'c, 'd) format4) =
         str
       let fn_ fmt1 fmt2 n =
         if n = 1 then
           fmt1^^""
         else
           fmt2^^""
       let init =
         []
     end
     module OASISExpr = struct
     (* # 22 "src/oasis/OASISExpr.ml" *)
     (* # 21 "src/oasis/OASISExpr.ml" *)
       open OASISGettext
       type test = string
       type test = string
       type flag = string
       type flag = string
       type t =
         | EBool of bool
-...
         | EOr of t * t
         | EFlag of flag
         | ETest of test * string
       type 'a choices = (t * 'a) list
       type 'a choices = (t * 'a) list
       let eval var_get t =
         let rec eval' =
-...
         in
           eval' t
       let choose ?printer ?name var_get lst =
         let rec choose_aux =
           function
-...
         in
           choose_aux (List.rev lst)
     end
     # 132 "myocamlbuild.ml"
     # 117 "myocamlbuild.ml"
     module BaseEnvLight = struct
     (* # 22 "src/base/BaseEnvLight.ml" *)
     (* # 21 "src/base/BaseEnvLight.ml" *)
       module MapString = Map.Make(String)
       type t = string MapString.t
       let default_filename =
         Filename.concat
           (Sys.getcwd ())
           "setup.data"
       let load ?(allow_empty=false) ?(filename=default_filename) () =
         if Sys.file_exists filename then
           begin
-...
                  filename)
           end
       let rec var_expand str env =
         let buff =
           Buffer.create ((String.length str) * 2)
         in
           Buffer.add_substitute
             buff
             (fun var ->
                try
                  var_expand (MapString.find var env) env
                with Not_found ->
                  failwith
                    (Printf.sprintf
                       "No variable %s defined when trying to expand %S."
                       var
                       str))
             str;
           Buffer.contents buff
       let var_get name env =
         var_expand (MapString.find name env) env
         let rec var_expand str =
           let buff =
             Buffer.create ((String.length str) * 2)
           in
             Buffer.add_substitute
               buff
               (fun var ->
                  try
                    var_expand (MapString.find var env)
                  with Not_found ->
                    failwith
                      (Printf.sprintf
                         "No variable %s defined when trying to expand %S."
                         var
                         str))
               str;
             Buffer.contents buff
         in
           var_expand (MapString.find name env)
       let var_choose lst env =
         OASISExpr.choose
-...
     end
     # 237 "myocamlbuild.ml"
     # 215 "myocamlbuild.ml"
     module MyOCamlbuildFindlib = struct
     (* # 22 "src/plugins/ocamlbuild/MyOCamlbuildFindlib.ml" *)
     (* # 21 "src/plugins/ocamlbuild/MyOCamlbuildFindlib.ml" *)
       (** OCamlbuild extension, copied from
       (** OCamlbuild extension, copied from
         * http://brion.inria.fr/gallium/index.php/Using_ocamlfind_with_ocamlbuild
         * by N. Pouillard and others
+        *
         * Updated on 2009/02/28
+        *
         * Modified by Sylvain Le Gall
         * Modified by Sylvain Le Gall
         *)
       open Ocamlbuild_plugin
       (* these functions are not really officially exported *)
       let run_and_read =
       let run_and_read =
         Ocamlbuild_pack.My_unix.run_and_read
       let blank_sep_strings =
       let blank_sep_strings =
         Ocamlbuild_pack.Lexers.blank_sep_strings
       let exec_from_conf exec =
         let exec =
           let env_filename = Pathname.basename BaseEnvLight.default_filename in
           let env = BaseEnvLight.load ~filename:env_filename ~allow_empty:true () in
           try
             BaseEnvLight.var_get exec env
           with Not_found ->
             Printf.eprintf "W: Cannot get variable %s\n" exec;
             exec
         in
         let fix_win32 str =
           if Sys.os_type = "Win32" then begin
             let buff = Buffer.create (String.length str) in
             (* Adapt for windowsi, ocamlbuild + win32 has a hard time to handle '\\'.
              *)
             String.iter
               (fun c -> Buffer.add_char buff (if c = '\\' then '/' else c))
               str;
             Buffer.contents buff
           end else begin
             str
           end
         in
           fix_win32 exec
       let split s ch =
         let buf = Buffer.create 13 in
         let x = ref [] in
         let flush () =
           x := (Buffer.contents buf) :: !x;
           Buffer.clear buf
         let x =
           ref []
         in
           String.iter
             (fun c ->
                if c = ch then
                  flush ()
                else
                  Buffer.add_char buf c)
             s;
           flush ();
           List.rev !x
         let rec go s =
           let pos =
             String.index s ch
           in
             x := (String.before s pos)::!x;
             go (String.after s (pos + 1))
         in
           try
             go s
           with Not_found -> !x
       let split_nl s = split s '\n'
       let before_space s =
         try
           String.before s (String.index s ' ')
         with Not_found -> s
       (* ocamlfind command *)
       let ocamlfind x = S[Sh (exec_from_conf "ocamlfind"); x]
       (* This lists all supported packages. *)
       (* this lists all supported packages *)
       let find_packages () =
         List.map before_space (split_nl & run_and_read "ocamlfind list")
       (* Mock to list available syntaxes. *)
       (* this is supposed to list available syntaxes, but I don't know how to do it. *)
       let find_syntaxes () = ["camlp4o"; "camlp4r"]
       let well_known_syntax = [
         "camlp4.quotations.o";
         "camlp4.quotations.r";
         "camlp4.exceptiontracer";
         "camlp4.extend";
         "camlp4.foldgenerator";
         "camlp4.listcomprehension";
         "camlp4.locationstripper";
         "camlp4.macro";
         "camlp4.mapgenerator";
         "camlp4.metagenerator";
         "camlp4.profiler";
         "camlp4.tracer"
+      ]
       (* ocamlfind command *)
       let ocamlfind x = S[A"ocamlfind"; x]
       let dispatch =
         function
           | After_options ->
               (* By using Before_options one let command line options have an higher
                * priority on the contrary using After_options will guarantee to have
                * the higher priority override default commands by ocamlfind ones *)
           | Before_options ->
               (* by using Before_options one let command line options have an higher priority *)
               (* on the contrary using After_options will guarantee to have the higher priority *)
               (* override default commands by ocamlfind ones *)
               Options.ocamlc     := ocamlfind & A"ocamlc";
               Options.ocamlopt   := ocamlfind & A"ocamlopt";
               Options.ocamldep   := ocamlfind & A"ocamldep";
               Options.ocamldoc   := ocamlfind & A"ocamldoc";
               Options.ocamlmktop := ocamlfind & A"ocamlmktop";
               Options.ocamlmklib := ocamlfind & A"ocamlmklib"
               Options.ocamlmktop := ocamlfind & A"ocamlmktop"
           | After_rules ->
               (* When one link an OCaml library/binary/package, one should use
                * -linkpkg *)
               (* When one link an OCaml library/binary/package, one should use -linkpkg *)
               flag ["ocaml"; "link"; "program"] & A"-linkpkg";
               (* For each ocamlfind package one inject the -package option when
                * compiling, computing dependencies, generating documentation and
                * linking. *)
               List.iter
               List.iter
                 begin fun pkg ->
                   let base_args = [A"-package"; A pkg] in
                   (* TODO: consider how to really choose camlp4o or camlp4r. *)
                   let syn_args = [A"-syntax"; A "camlp4o"] in
                   let args =
                   (* Heuristic to identify syntax extensions: whether they end in
                      ".syntax"; some might not.
                    *)
                     if Filename.check_suffix pkg "syntax" ||
                        List.mem pkg well_known_syntax then
                       syn_args @ base_args
                     else
                       base_args
                   in
                   flag ["ocaml"; "compile";  "pkg_"^pkg] & S args;
                   flag ["ocaml"; "ocamldep"; "pkg_"^pkg] & S args;
                   flag ["ocaml"; "doc";      "pkg_"^pkg] & S args;
                   flag ["ocaml"; "link";     "pkg_"^pkg] & S base_args;
                   flag ["ocaml"; "infer_interface"; "pkg_"^pkg] & S args;
                 end
                   flag ["ocaml"; "compile";  "pkg_"^pkg] & S[A"-package"; A pkg];
                   flag ["ocaml"; "ocamldep"; "pkg_"^pkg] & S[A"-package"; A pkg];
                   flag ["ocaml"; "doc";      "pkg_"^pkg] & S[A"-package"; A pkg];
                   flag ["ocaml"; "link";     "pkg_"^pkg] & S[A"-package"; A pkg];
                   flag ["ocaml"; "infer_interface"; "pkg_"^pkg] & S[A"-package"; A pkg];
                 end
                 (find_packages ());
               (* Like -package but for extensions syntax. Morover -syntax is useless
-...
               flag ["ocaml"; "compile";  "syntax_"^syntax] & S[A"-syntax"; A syntax];
               flag ["ocaml"; "ocamldep"; "syntax_"^syntax] & S[A"-syntax"; A syntax];
               flag ["ocaml"; "doc";      "syntax_"^syntax] & S[A"-syntax"; A syntax];
               flag ["ocaml"; "infer_interface"; "syntax_"^syntax] &
                     S[A"-syntax"; A syntax];
               flag ["ocaml"; "infer_interface"; "syntax_"^syntax] & S[A"-syntax"; A syntax];
               end (find_syntaxes ());
               (* The default "thread" tag is not compatible with ocamlfind.
                * Indeed, the default rules add the "threads.cma" or "threads.cmxa"
                * options when using this tag. When using the "-linkpkg" option with
                * ocamlfind, this module will then be added twice on the command line.
+               *
+               *
                * To solve this, one approach is to add the "-thread" option when using
                * the "threads" package using the previous plugin.
                *)
               flag ["ocaml"; "pkg_threads"; "compile"] (S[A "-thread"]);
               flag ["ocaml"; "pkg_threads"; "doc"] (S[A "-I"; A "+threads"]);
               flag ["ocaml"; "pkg_threads"; "link"] (S[A "-thread"]);
               flag ["ocaml"; "pkg_threads"; "infer_interface"] (S[A "-thread"]);
               flag ["ocaml"; "package(threads)"; "compile"] (S[A "-thread"]);
               flag ["ocaml"; "package(threads)"; "doc"] (S[A "-I"; A "+threads"]);
               flag ["ocaml"; "package(threads)"; "link"] (S[A "-thread"]);
               flag ["ocaml"; "package(threads)"; "infer_interface"] (S[A "-thread"]);
               flag ["ocaml"; "pkg_threads"; "infer_interface"] (S[A "-thread"])
           | _ ->
           | _ ->
               ()
     end
     module MyOCamlbuildBase = struct
     (* # 22 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
     (* # 21 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
       (** Base functions for writing myocamlbuild.ml
           @author Sylvain Le Gall
-...
       open Ocamlbuild_plugin
       module OC = Ocamlbuild_pack.Ocaml_compiler
       type dir = string
       type file = string
       type name = string
       type tag = string
       type dir = string
       type file = string
       type name = string
       type tag = string
     (* # 62 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
     (* # 56 "src/plugins/ocamlbuild/MyOCamlbuildBase.ml" *)
       type t =
+          {
             lib_ocaml: (name * dir list * string list) list;
             lib_c:     (name * dir * file list) list;
             lib_ocaml: (name * dir list) list;
             lib_c:     (name * dir * file list) list;
             flags:     (tag list * (spec OASISExpr.choices)) list;
             (* Replace the 'dir: include' from _tags by a precise interdepends in
              * directory.
              *)
             includes:  (dir * dir list) list;
+          }
             includes:  (dir * dir list) list;
+          }
       let env_filename =
         Pathname.basename
         Pathname.basename
           BaseEnvLight.default_filename
       let dispatch_combine lst =
         fun e ->
           List.iter
           List.iter
             (fun dispatch -> dispatch e)
             lst
             lst
       let tag_libstubs nm =
         "use_lib"^nm^"_stubs"
       let nm_libstubs nm =
         nm^"_stubs"
       let dispatch t e =
         let env =
           BaseEnvLight.load
             ~filename:env_filename
       let dispatch t e =
         let env =
           BaseEnvLight.load
             ~filename:env_filename
             ~allow_empty:true
             ()
         in
           match e with
           match e with
             | Before_options ->
                 let no_trailing_dot s =
                   if String.length s >= 1 && s.[0] = '.' then
-...
                 in
                   List.iter
                     (fun (opt, var) ->
                        try
                        try
                          opt := no_trailing_dot (BaseEnvLight.var_get var env)
                        with Not_found ->
                          Printf.eprintf "W: Cannot get variable %s\n" var)
                          Printf.eprintf "W: Cannot get variable %s" var)
+                    [
                       Options.ext_obj, "ext_obj";
                       Options.ext_lib, "ext_lib";
                       Options.ext_dll, "ext_dll";
+                    ]
             | After_rules ->
             | After_rules ->
                 (* Declare OCaml libraries *)
                 List.iter
                 List.iter
                   (function
                      | nm, [], intf_modules ->
                          ocaml_lib nm;
                          let cmis =
                            List.map (fun m -> (String.uncapitalize m) ^ ".cmi")
                                     intf_modules in
                          dep ["ocaml"; "link"; "library"; "file:"^nm^".cma"] cmis
                      | nm, dir :: tl, intf_modules ->
                      | nm, [] ->
                          ocaml_lib nm
                      | nm, dir :: tl ->
                          ocaml_lib ~dir:dir (dir^"/"^nm);
                          List.iter
                            (fun dir ->
                          List.iter
                            (fun dir ->
                               List.iter
                                 (fun str ->
                                    flag ["ocaml"; "use_"^nm; str] (S[A"-I"; P dir]))
                                 ["compile"; "infer_interface"; "doc"])
                            tl;
                          let cmis =
                            List.map (fun m -> dir^"/"^(String.uncapitalize m)^".cmi")
                                     intf_modules in
                          dep ["ocaml"; "link"; "library"; "file:"^dir^"/"^nm^".cma"]
                              cmis)
                            tl)
                   t.lib_ocaml;
                 (* Declare directories dependencies, replace "include" in _tags. *)
                 List.iter
                 List.iter
                   (fun (dir, include_dirs) ->
                      Pathname.define_context dir include_dirs)
                   t.includes;
-...
                        flag ["link"; "library"; "ocaml"; "native"; tag_libstubs lib]
                          (S[A"-cclib"; A("-l"^(nm_libstubs lib))]);
                        flag ["link"; "program"; "ocaml"; "byte"; tag_libstubs lib]
                          (S[A"-dllib"; A("dll"^(nm_libstubs lib))]);
-...
                        (* TODO: be more specific about what depends on headers *)
                        (* Depends on .h files *)
                        dep ["compile"; "c"]
                        dep ["compile"; "c"]
                          headers;
                        (* Setup search path for lib *)
                        flag ["link"; "ocaml"; "use_"^lib]
                        flag ["link"; "ocaml"; "use_"^lib]
                          (S[A"-I"; P(dir)]);
+                  )
                   t.lib_c;
-...
                   (* Add flags *)
                   List.iter
                   (fun (tags, cond_specs) ->
                      let spec = BaseEnvLight.var_choose cond_specs env in
                      let rec eval_specs =
                        function
                          | S lst -> S (List.map eval_specs lst)
                          | A str -> A (BaseEnvLight.var_expand str env)
                          | spec -> spec
                      let spec =
                        BaseEnvLight.var_choose cond_specs env
                      in
                        flag tags & (eval_specs spec))
                        flag tags & spec)
                   t.flags
             | _ ->
             | _ ->
                 ()
       let dispatch_default t =
         dispatch_combine
         dispatch_combine
+          [
             dispatch t;
             MyOCamlbuildFindlib.dispatch;
+          ]
     end
     # 594 "myocamlbuild.ml"
     # 476 "myocamlbuild.ml"
     open Ocamlbuild_plugin;;
     let package_default =
       {MyOCamlbuildBase.lib_ocaml = []; lib_c = []; flags = []; includes = []}
-...
     let dispatch_default = MyOCamlbuildBase.dispatch_default package_default;;
     # 603 "myocamlbuild.ml"
     # 485 "myocamlbuild.ml"
     (* OASIS_STOP *)
     Ocamlbuild_plugin.dispatch dispatch_default;;

Also available in: Unified diff

Project

General

Profile

CristalCaveGem » LustreC

Revision d1baac41

Added by Xavier Thirioux over 10 years ago