spacepaste

Paste details

reply | raw

  1.  
  2. open Ocamlbuild_plugin
  4. (**
  5. Overview of tags:
  6. - [pkg_batteries] to use Batteries as a library, without syntax extensions
  7. - [use_batteries] and [use_batteries_r] to use both Batteries and all the non-destructive syntax extensions
  8. - [pkg_sexplib.syntax] with [syntax_camlp4o] or [syntax_camlp4r] for sexplib
  9. *)
  12. (**
  13. {1 OCamlFind}
  14. *)
  16. let run_and_read = Ocamlbuild_pack.My_unix.run_and_read
  18. let blank_sep_strings = Ocamlbuild_pack.Lexers.blank_sep_strings
  20. module OCamlFind =
  21. struct
  22. (* this lists all supported packages *)
  23. let find_packages () =
  24. blank_sep_strings &
  25. Lexing.from_string &
  26. run_and_read "ocamlfind list | cut -d' ' -f1"
  28. (* this is supposed to list available syntaxes, but I don't know how to do it. *)
  29. let find_syntaxes () = ["camlp4o"; "camlp4r"]
  31. (* ocamlfind command *)
  32. let ocamlfind x = S[A"ocamlfind"; x]
  34. let before_options () =
  35. (* by using Before_options one let command line options have an higher priority *)
  36. (* on the contrary using After_options will guarantee to have the higher priority *)
  38. (* override default commands by ocamlfind ones *)
  39. Options.ocamlc := ocamlfind & A"ocamlc";
  40. Options.ocamlopt := ocamlfind & A"ocamlopt";
  41. Options.ocamldep := ocamlfind & A"ocamldep";
  42. Options.ocamldoc := ocamlfind & A"ocamldoc";
  43. Options.ocamlmktop := ocamlfind & A"ocamlmktop"
  45. let get_ocamldoc_directory () =
  46. let ocamldoc_directory = run_and_read "ocamlfind ocamldoc -customdir" in
  47. let length = String.length ocamldoc_directory in
  48. assert (length != 0);
  49. let char = ocamldoc_directory.[length - 1] in
  50. if (char = '\n') || (char = '\r') then String.sub ocamldoc_directory 0 (length - 1)
  51. else ocamldoc_directory
  53. let after_rules () =
  54. (* When one link an OCaml library/binary/package, one should use -linkpkg *)
  55. flag ["ocaml"; "byte"; "link"; "program"] & A"-linkpkg";
  56. flag ["ocaml"; "native"; "link"; "program"] & A"-linkpkg";
  57. flag ["ocaml"; "byte"; "link"; "toplevel"] & A"-linkpkg";
  60. (* For each ocamlfind package one inject the -package option when
  61. * compiling, computing dependencies, generating documentation and
  62. * linking. *)
  63. List.iter begin fun pkg ->
  64. flag ["ocaml"; "compile"; "pkg_"^pkg] & S[A"-package"; A pkg];
  65. flag ["ocaml"; "ocamldep"; "pkg_"^pkg] & S[A"-package"; A pkg];
  66. flag ["ocaml"; "doc"; "pkg_"^pkg] & S[A"-package"; A pkg];
  67. flag ["ocaml"; "link"; "pkg_"^pkg] & S[A"-package"; A pkg];
  68. end (find_packages ());
  70. (* Like -package but for extensions syntax. Morover -syntax is useless
  71. * when linking. *)
  72. List.iter begin fun syntax ->
  73. flag ["ocaml"; "compile"; "syntax_"^syntax] & S[A"-syntax"; A syntax];
  74. flag ["ocaml"; "ocamldep"; "syntax_"^syntax] & S[A"-syntax"; A syntax];
  75. flag ["ocaml"; "doc"; "syntax_"^syntax] & S[A"-syntax"; A syntax];
  76. end (find_syntaxes ());
  78. (* The default "thread" tag is not compatible with ocamlfind.
  79. Indeed, the default rules add the "threads.cma" or "threads.cmxa"
  80. options when using this tag. When using the "-linkpkg" option with
  81. ocamlfind, this module will then be added twice on the command line.
  83. To solve this, one approach is to add the "-thread" option when using
  84. the "threads" package using the previous plugin.
  85. *)
  86. flag ["ocaml"; "pkg_threads"; "compile"] (S[A "-thread"]);
  87. flag ["ocaml"; "pkg_threads"; "link"] (S[A "-thread"]);
  88. end
  90. (**
  91. {1 OCaml Batteries Included}
  92. *)
  94. module Batteries =
  95. struct
  96. let before_options () = ()
  98. let after_rules () =
  99. flag ["ocaml"; "link"; "byte"; "use_ocamldoc_info"] (S[A "-I"; A "+ocamldoc"; A "odoc_info.cma"]);
  100. flag ["ocaml"; "link"; "native"; "use_ocamldoc_info"] (S[A "-I"; A "+ocamldoc"(*; A "odoc_info.cmxa"*)]);
  101. flag ["ocaml"; "docfile"; "use_ocamldoc_info"] (S[A "-I"; A "+ocamldoc"]);
  102. flag ["ocaml"; "docdir"; "use_ocamldoc_info"] (S[A "-I"; A "+ocamldoc"]);
  103. flag ["ocaml"; "doc"; "use_ocamldoc_info"] (S[A "-I"; A "+ocamldoc"]);
  105. (*The command-line for [use_batteries] and [use_batteries_r]*)
  107. let cl_use_boilerplate = [A "-package"; A "batteries"]
  108. and cl_use_batteries = [A "-package"; A "batteries"]
  109. and cl_use_batteries_o = []
  110. (*[cl_use_batteries_o]: extensions which only make sense in original syntax*)
  111. and cl_camlp4o = [A"-syntax"; A "camlp4o"]
  112. and cl_camlp4r = [A"-syntax"; A "camlp4r"] in
  114. let cl_boilerplate_original = cl_use_boilerplate @ cl_camlp4o
  115. and cl_boilerplate_revised = cl_use_boilerplate @ cl_camlp4r
  116. and cl_batteries_original = cl_use_batteries @ cl_use_batteries_o @ cl_camlp4o
  117. and cl_batteries_revised = cl_use_batteries @ cl_camlp4r in
  119. (** Tag [use_boilerplate] provides boilerplate syntax extensions,
  120. in original syntax*)
  122. flag ["ocaml"; "compile"; "use_boilerplate"] & S cl_boilerplate_original ;
  123. flag ["ocaml"; "ocamldep"; "use_boilerplate"] & S cl_boilerplate_original ;
  124. flag ["ocaml"; "doc"; "use_boilerplate"] & S cl_boilerplate_original ;
  125. flag ["ocaml"; "link"; "use_boilerplate"] & S cl_boilerplate_original ;
  127. (** Tag [use_boilerplate_r] provides boilerplate syntax extensions,
  128. in original syntax*)
  130. flag ["ocaml"; "compile"; "use_boilerplate_r"] & S cl_boilerplate_revised ;
  131. flag ["ocaml"; "ocamldep"; "use_boilerplate_r"] & S cl_boilerplate_revised ;
  132. flag ["ocaml"; "doc"; "use_boilerplate_r"] & S cl_boilerplate_revised ;
  133. flag ["ocaml"; "link"; "use_boilerplate_r"] & S cl_boilerplate_revised ;
  135. (** Tag [use_batteries] provides both package [batteries]
  136. and all syntax extensions, in original syntax. *)
  138. flag ["ocaml"; "compile"; "use_batteries"] & S cl_batteries_original ;
  139. flag ["ocaml"; "ocamldep"; "use_batteries"] & S cl_batteries_original ;
  140. flag ["ocaml"; "doc"; "use_batteries"] & S cl_batteries_original ;
  141. flag ["ocaml"; "link"; "use_batteries"] & S cl_batteries_original ;
  143. (** Tag [use_batteries_r] provides both package [batteries]
  144. and all syntax extensions, in revised syntax. *)
  146. flag ["ocaml"; "compile"; "use_batteries_r"] & S cl_batteries_revised;
  147. flag ["ocaml"; "ocamldep"; "use_batteries_r"] & S cl_batteries_revised;
  148. flag ["ocaml"; "doc"; "use_batteries_r"] & S cl_batteries_revised;
  149. flag ["ocaml"; "link"; "use_batteries_r"] & S cl_batteries_revised
  152. (* flag ["ocaml"; "compile"; "use_batteries"] & S[A "-verbose";
  153. A"-package"; A "batteries.syntax.full";
  154. A"-syntax"; A "batteries.syntax.full"];
  155. flag ["ocaml"; "ocamldep"; "use_batteries"] & S[A "-verbose";
  156. A"-package"; A "batteries.syntax.full";
  157. A"-syntax"; A "batteries.syntax.full"];
  158. flag ["ocaml"; "doc"; "use_batteries"] & S[A "-verbose";
  159. A"-package"; A "batteries.syntax.full";
  160. A"-syntax"; A "batteries.syntax.full"];
  161. flag ["ocaml"; "link"; "use_batteries"] & S[A "-verbose";
  162. A"-package"; A "batteries.syntax.full";
  163. A"-syntax"; A "batteries.syntax.full"];*)
  166. end
  168. let setup_git_version () =
  169. let write_version version ch =
  170. Printf.fprintf ch "let version = %S\n" version;
  171. close_out ch
  172. in
  173. match run_and_read "git describe --long | tr -d '\\n'" with
  174. | "" ->
  175. begin match begin
  176. try
  177. Some (open_out_gen [Open_creat; Open_excl; Open_wronly] 0o644 "common_src/version.ml")
  178. with Sys_error _ -> None
  179. end with
  180. | Some ch -> write_version "unknown" ch
  181. | None -> ()
  182. end
  183. | version -> open_out "common_src/version.ml" |> write_version version
  185. let is_osx =
  186. (run_and_read "uname -s | tr -d '\\n'") = "Darwin"
  188. let _ = dispatch begin function
  189. | Before_options ->
  190. OCamlFind.before_options ();
  191. Batteries.before_options ();
  193. (* use static linking for native binaries *)
  194. if not is_osx then
  195. flag ["link"; "ocaml"; "native"] (S[A"-ccopt"; A"-static"]);
  197. | After_rules ->
  198. OCamlFind.after_rules ();
  199. Batteries.after_rules ();
  201. (* c compilation options *)
  202. flag ["compile"; "c"]
  203. (S[
  204. A"-ccopt"; A"-Wall";
  205. A"-ccopt"; A"-funroll-loops";
  206. A"-ccopt"; A"-O3";
  207. A"-ccopt"; A"-fPIC";
  208. ]);
  210. flag ["compile"; "c"; "debug"]
  211. (S[
  212. A"-ccopt"; A"-O0";
  213. A"-ccopt"; A"-g";
  214. ]);
  216. dep ["compile"; "c"]
  217. ["cdd_src/cdd.h"; "cdd_src/cddmp.h";
  218. "cdd_src/cddtypes.h"; "cdd_src/setoper.h"];
  220. if not is_osx then
  221. flag ["link"; "ocaml"; "native"] (S[A"-cclib"; A"-lpthread"]);
  223. (* custom: incorporate libraries into bytecode *)
  224. flag ["link"; "ocaml"; "byte"] (A"-custom");
  226. (* link with libpplacercside given c_pplacer tag *)
  227. flag ["link"; "ocaml"; "c_pplacer"; "toplevel"]
  228. (S[A"-cclib"; A"-lpplacercside"; A"-cclib"; A"-Lpplacer_src"]);
  230. flag ["link"; "ocaml"; "c_cdd"; "toplevel"]
  231. (S[A"-cclib"; A"-lcdd"; A"-cclib"; A"-Lcdd_src"]);
  233. flag ["link"; "ocaml"; "c_pam"; "toplevel"]
  234. (S[A"-cclib"; A"-lpam"; A"-cclib"; A"-Lpam_src"]);
  236. (* make libpplacercside when needed *)
  237. dep ["c_pplacer"] ["pplacer_src/libpplacercside.a"];
  238. dep ["c_cdd"] ["cdd_src/libcdd.a"];
  239. dep ["c_pam"] ["pam_src/libpam.a"];
  240. flag ["link"; "c_pam"] (S[A"-cclib"; A"-lgsl"]);
  242. | After_options ->
  243. setup_git_version ()
  245. | _ -> ()
  246. end
  247.  
Powered by spacepaste. Paste removal.