← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to camlp4/Makefile.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-04-21 21:35:08 UTC
  • mfrom: (1.1.11 upstream) (12.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110421213508-kg34453aqmb0moha
* Fixes related to -output-obj with g++ (in debian/patches):
  - add Declare-primitive-name-table-as-const-char
  - add Avoid-multiple-declarations-in-generated-.c-files-in
  - fix Embed-bytecode-in-C-object-when-using-custom: the closing
    brace for extern "C" { ... } was missing in some cases

Show diffs side-by-side

added added

removed removed

Lines of Context:
camlp4/Makefile.ml
1
 
(****************************************************************************)
2
 
(*                                                                          *)
3
 
(*                              Objective Caml                              *)
4
 
(*                                                                          *)
5
 
(*                            INRIA Rocquencourt                            *)
6
 
(*                                                                          *)
7
 
(*  Copyright  2006   Institut National de Recherche  en  Informatique et   *)
8
 
(*  en Automatique.  All rights reserved.  This file is distributed under   *)
9
 
(*  the terms of the GNU Library General Public License, with the special   *)
10
 
(*  exception on linking described in LICENSE at the top of the Objective   *)
11
 
(*  Caml source tree.                                                       *)
12
 
(*                                                                          *)
13
 
(****************************************************************************)
14
 
 
15
 
(* Authors:
16
 
 * - Nicolas Pouillard: initial version
17
 
 *)
18
 
open YaM
19
 
open Format
20
 
 
21
 
let getenv var default =
22
 
  try Sys.getenv var
23
 
  with Not_found ->
24
 
    default
25
 
 
26
 
let libdir_camlp4 = (getenv "LIBDIR" Camlp4_config.libdir) ^ "/camlp4/."
27
 
 
28
 
let bindir = (getenv "BINDIR" Camlp4_config.bindir) ^ "/."
29
 
 
30
 
(**
31
 
let unixlib =
32
 
  match Sys.os_type with
33
 
  | "Win32" -> "../otherlibs/win32unix"
34
 
  | _       -> "../otherlibs/unix"
35
 
**)
36
 
let ocamlrun = "../boot/ocamlrun" (* " -I " ^ unixlib *)
37
 
let ocamlrun_os =
38
 
  Filename.concat Filename.parent_dir_name
39
 
                  (Filename.concat "boot" "ocamlrun")
40
 
(*  ^ " -I " ^ unixlib *)
41
 
 
42
 
let ocaml = ocamlrun ^ " ../ocaml -I ../stdlib" (* "-I " ^ unixlib *)
43
 
 
44
 
let debug_mode =
45
 
  (* true *)
46
 
  false
47
 
 
48
 
let camlp4_modules =
49
 
  [
50
 
    ocamlrun_os;
51
 
    "./boot/camlp4boot";
52
 
  ]
53
 
let camlp4_modules =
54
 
  if debug_mode then "env STATIC_CAMLP4_DEBUG=\\*" :: camlp4_modules
55
 
  else camlp4_modules
56
 
 
57
 
let debug_opt x = if debug_mode && Sys.file_exists x then [x] else []
58
 
let filter_opt x = if Sys.file_exists x then [x] else []
59
 
 
60
 
let camlp4boot = "'" ^ String.concat " " camlp4_modules ^ "'"
61
 
let camlp4boot_may_debug mods =
62
 
  let camlp4_modules = camlp4_modules @
63
 
    debug_opt "./boot/ExceptionTracer.cmo" @
64
 
    filter_opt "./boot/Profiler.cmo" @ mods
65
 
  in "'" ^ String.concat " " camlp4_modules ^ "'"
66
 
 
67
 
let ocamlc =
68
 
  best ["../ocamlc.opt", "../ocamlc.opt";
69
 
        "../ocamlc",     ocamlrun ^^ "../ocamlc";
70
 
        "",              "echo no byte compiler available && false"]
71
 
let ocamlopt =
72
 
  best ["../ocamlopt.opt", "../ocamlopt.opt";
73
 
        "../ocamlopt",     ocamlrun ^^ "../ocamlopt";
74
 
        "",                "echo no native compiler available && false"]
75
 
 
76
 
let () =
77
 
  !options.ocamlc       := ocamlc ^^ " -nostdlib -I ../stdlib";
78
 
  !options.ocamlopt     := ocamlopt ^^ " -nostdlib -I ../stdlib";
79
 
  !options.ocamldoc     := ocamlrun ^^ "../ocamldoc/ocamldoc";
80
 
  !options.ocamlyacc    := ocamlrun ^^ "../boot/ocamlyacc";
81
 
  !options.ocamllex     := ocamlrun ^^ "../boot/ocamllex";
82
 
  !options.ocamldep     := ocamlrun ^^ "../tools/ocamldep";
83
 
  ()
84
 
 
85
 
let options_without_camlp4 = new_scope (lazy !options)
86
 
 
87
 
let windows = Sys.os_type = "Win32"
88
 
 
89
 
let may_define_unix = if windows then [] else ["-D UNIX"]
90
 
 
91
 
let () =
92
 
  !options.ocaml_Flags ^= "-w Ale -warn-error Ale"^^
93
 
                            (if getenv "DTYPES" "" <> "" then "-annot"
94
 
                             else "");
95
 
  !options.ocaml_P4     := camlp4boot_may_debug may_define_unix;
96
 
  !options.ocaml_P4_opt := camlp4boot_may_debug ("-D OPT" :: may_define_unix);
97
 
  ()
98
 
 
99
 
let options_without_debug () = { (!options) with ocaml_P4     = ref camlp4boot
100
 
                                               ; ocaml_P4_opt = ref camlp4boot }
101
 
 
102
 
let parsing = "../parsing"
103
 
and typing = "../typing"
104
 
and toplevel = "../toplevel"
105
 
and utils = "../utils"
106
 
and dynlink = "../otherlibs/dynlink"
107
 
and unix =
108
 
  match Sys.os_type with
109
 
  | "Win32" -> "../otherlibs/win32unix"
110
 
  | _       -> "../otherlibs/unix"
111
 
and build = "build"
112
 
 
113
 
let ocaml_Module_with_genmap =
114
 
  generic_ocaml_Module_extension ".genmap.ml"
115
 
   (fun _ i o ->
116
 
      "if test ! -e"^^o^^
117
 
         "|| ( test -e ./camlp4boot.run"^^
118
 
             "&& test -e Camlp4Filters/GenerateMap.cmo"^^
119
 
             "&& test -e Camlp4Filters/GenerateFold.cmo"^^
120
 
             "&& test -e Camlp4Filters/MetaGenerator.cmo"^^
121
 
             "&& test -e Camlp4Filters/RemoveTrashModule.cmo ) ;"^^
122
 
      "then ( echo 'module Camlp4FiltersTrash = struct' ;"^^
123
 
             "cat Camlp4/Sig/Camlp4Ast.ml ; echo 'end;' ) > Camlp4/Struct/Camlp4Ast.tmp.ml ;"^^
124
 
             "( echo '(* Generated file! Do not edit by hand *)' ;"^^
125
 
                "../boot/ocamlrun ./camlp4boot.run"^^
126
 
                   "./Camlp4Filters/GenerateMap.cmo"^^
127
 
                   "./Camlp4Filters/GenerateFold.cmo"^^
128
 
                   "./Camlp4Filters/MetaGenerator.cmo"^^
129
 
                   "./Camlp4Filters/RemoveTrashModule.cmo -printer OCamlr"^^
130
 
                   i^^" -no_comments ) >"^^o^^"; else : ; fi")
131
 
 
132
 
let camlp4_package_as_one_dir =
133
 
  ocaml_PackageDir "Camlp4" (lazy [
134
 
    ocaml_IModule ~includes:[build] "Config";
135
 
    ocaml_IModule ~o:(options_without_debug ()) "Debug";
136
 
    ocaml_IModule "Options";
137
 
    ocaml_PackageDir "Sig" (lazy [
138
 
      ocaml_Interface "Id";
139
 
      ocaml_Interface ~ext_includes:[parsing] "Loc";
140
 
      ocaml_Interface "Error";
141
 
      ocaml_Interface "Warning";
142
 
      ocaml_Interface "Type";
143
 
      ocaml_Interface "Token";
144
 
      ocaml_Interface "Lexer";
145
 
      ocaml_PackageDir "Grammar" (lazy [
146
 
        ocaml_Interface "Action";
147
 
        ocaml_Interface "Structure";
148
 
        ocaml_Interface "Dynamic";
149
 
        ocaml_Interface "Static"
150
 
      ]);
151
 
      ocaml_IModule "Mapper";
152
 
      ocaml_Interface "Ast";
153
 
      ocaml_Module "Camlp4Ast";
154
 
      ocaml_Interface "Quotation";
155
 
      ocaml_Interface "Camlp4Token";
156
 
      ocaml_Interface "DynLoader";
157
 
      ocaml_Interface "AntiquotSyntax";
158
 
      ocaml_Interface "Parser";
159
 
      ocaml_Interface "Printer";
160
 
      ocaml_Interface "Syntax";
161
 
      ocaml_Interface "Camlp4Syntax";
162
 
      ocaml_Interface "AstFilters";
163
 
      ocaml_Interface "SyntaxExtension";
164
 
    ]);
165
 
    ocaml_IModule "ErrorHandler";
166
 
    ocaml_PackageDir "Struct" (lazy [
167
 
      ocaml_IModule ~ext_includes:[parsing] "Loc";
168
 
      ocaml_Module  "Warning";
169
 
      ocaml_IModule "EmptyError";
170
 
      ocaml_IModule "EmptyPrinter";
171
 
      ocaml_IModule "Token";
172
 
      ocaml_Lexer ~includes:[utils] ~ext_includes:[parsing] ~pp:"" "Lexer";
173
 
      ocaml_PackageDir "Grammar" (lazy [
174
 
        ocaml_Module "Context";
175
 
        ocaml_Module "Structure";
176
 
        ocaml_Module "Search";
177
 
        ocaml_Module "Tools";
178
 
        ocaml_IModule "Print";
179
 
        ocaml_Module "Failed";
180
 
        ocaml_Module "Parser";
181
 
        ocaml_IModule "Fold";
182
 
        ocaml_Module "Insert";
183
 
        ocaml_Module "Delete";
184
 
        ocaml_Module "Entry";
185
 
        ocaml_Module "Find";
186
 
        ocaml_Module "Dynamic";
187
 
        ocaml_Module "Static"
188
 
      ]);
189
 
      ocaml_Module "Quotation";
190
 
      ocaml_IModule ~ext_includes:[dynlink] "DynLoader";
191
 
      ocaml_Module_with_genmap ~flags:"-w z -warn-error z" "Camlp4Ast";
192
 
      ocaml_IModule "FreeVars";
193
 
      ocaml_Module "AstFilters";
194
 
      ocaml_IModule ~ext_includes:[parsing] "Camlp4Ast2OCamlAst";
195
 
      ocaml_Module "CleanAst";
196
 
      ocaml_IModule "CommentFilter";
197
 
    ]);
198
 
    ocaml_Module "OCamlInitSyntax";
199
 
    ocaml_PackageDir "Printers" (lazy [
200
 
      ocaml_IModule "Null";
201
 
      ocaml_IModule "DumpOCamlAst";
202
 
      ocaml_IModule "DumpCamlp4Ast";
203
 
      ocaml_IModule "OCaml";
204
 
      ocaml_IModule "OCamlr" ~flags:"-w v -warn-error v";
205
 
      (* ocaml_IModule "OCamlrr"; *)
206
 
    ]);
207
 
    ocaml_IModule "PreCast";
208
 
    ocaml_IModule "Register"
209
 
  ])
210
 
 
211
 
let camlp4_parsers =
212
 
  ocaml_PackageDir "Camlp4Parsers" (lazy [
213
 
    ocaml_Module "OCamlr";
214
 
    ocaml_Module "OCaml";
215
 
    (* ocaml_Module "OCamlrr"; *)
216
 
    ocaml_Module "OCamlQuotationBase";
217
 
    ocaml_Module "OCamlQuotation";
218
 
    ocaml_Module "OCamlRevisedQuotation";
219
 
    ocaml_Module "OCamlOriginalQuotation";
220
 
    ocaml_Module "OCamlRevisedParser";
221
 
    ocaml_Module "OCamlParser";
222
 
    ocaml_Module "Grammar";
223
 
    ocaml_Module "Macro";
224
 
    ocaml_Module ~o:(options_without_debug ()) "Debug";
225
 
    ocaml_Module "LoadCamlp4Ast";
226
 
  ])
227
 
 
228
 
let camlp4_printers =
229
 
  ocaml_PackageDir "Camlp4Printers" (lazy [
230
 
    ocaml_Module "DumpOCamlAst";
231
 
    ocaml_Module "DumpCamlp4Ast";
232
 
    ocaml_Module "OCaml";
233
 
    ocaml_Module "OCamlr";
234
 
    (* ocaml_Module "OCamlrr"; *)
235
 
    ocaml_Module "Null";
236
 
    ocaml_Module ~ext_includes:[unix] "Auto";
237
 
  ])
238
 
 
239
 
let camlp4_filters =
240
 
  ocaml_PackageDir "Camlp4Filters" (lazy [
241
 
    ocaml_Module "ExceptionTracer";
242
 
    ocaml_Module "Tracer";
243
 
    ocaml_Module "StripLocations";
244
 
    ocaml_Module "LiftCamlp4Ast";
245
 
    ocaml_Module "GenerateMap";
246
 
    ocaml_Module "GenerateFold";
247
 
    ocaml_Module "MetaGenerator";
248
 
    ocaml_Module "RemoveTrashModule";
249
 
    ocaml_Module "Profiler";
250
 
  ])
251
 
 
252
 
let camlp4_top =
253
 
  ocaml_PackageDir "Camlp4Top" (lazy [
254
 
    ocaml_Module ~ext_includes:[toplevel; typing; parsing] "Rprint";
255
 
    ocaml_Module ~ext_includes:[toplevel; parsing; utils] "Camlp4Top";
256
 
  ])
257
 
 
258
 
let split c s =
259
 
  let rec self acc s =
260
 
    try
261
 
      let pos = String.rindex s c in
262
 
      let x = String.sub s 0 pos
263
 
      and y = String.sub s (pos + 1) (String.length s - pos - 1)
264
 
      in self (y :: acc) x
265
 
    with Not_found -> s :: acc
266
 
  in self [] s
267
 
let chop_end c s =
268
 
  let pos = String.rindex s c in
269
 
  String.sub s (pos + 1) (String.length s - pos - 1)
270
 
let file ppf f =
271
 
  let cin = open_in f in
272
 
  let rec loop () =
273
 
    pp_print_string ppf (input_line cin);
274
 
    fprintf ppf "@\n";
275
 
    loop ()
276
 
  in try loop () with End_of_file -> ()
277
 
let ext_split f = split '.' f
278
 
  
279
 
  
280
 
let print_packed_sources ppf ?(skip = fun _ -> false) package_dir =
281
 
  let _ =
282
 
  fold_units_sources [package_dir] (fun name sources k (skip, inside) ->
283
 
    eprintf "%s: [%s] (%b)@." name (String.concat "; " sources) inside;
284
 
    let name = try chop_end '/' name with Not_found -> name in
285
 
    let k () = ignore (k (skip, true)) in
286
 
    if not inside then k () else (
287
 
      if skip name then fprintf ppf "(**/**)@\n" else fprintf ppf "(** *)@\n";
288
 
      fprintf ppf "@[<2>module %s " name;
289
 
      let (mli, ml, mll, k) =
290
 
        List.fold_right
291
 
          (fun x (mli, ml, mll, k) ->
292
 
            match ext_split x with
293
 
            | [_; "mli"] -> (Some x, ml, mll, k)
294
 
            | [_; "ml"]  -> (mli, Some x, mll, k)
295
 
            | [_; "mll"] -> (mli, ml, Some x, k)
296
 
            | [x; "meta"; "ml"] -> (mli, Some (x^".ml"), mll, fun () -> ())
297
 
            | [x; "genmap"; "ml"] -> (mli, Some (x^".ml"), mll, fun () -> ())
298
 
            | [_; ext] -> failwith ("unknown extension " ^ ext)
299
 
            | _ -> failwith ("bad file "^x))
300
 
          sources (None, None, None, k) in
301
 
      (match (ml, mll, mli) with
302
 
      | (None, None, Some mli) -> fprintf ppf "=@ @[<2>struct@\n"
303
 
      | (_, _, Some mli) -> fprintf ppf ":@,@[<2>sig@\n%a@]@\nend@\n" file mli;
304
 
                            fprintf ppf "=@ @[<2>struct@\n"
305
 
      | _ -> fprintf ppf "=@ @[<2>struct@\n");
306
 
      (match (ml, mll, mli) with
307
 
      | (_, Some mll, _) ->
308
 
            fprintf ppf "(*___CAMLP4_LEXER___ %a ___CAMLP4_LEXER___*)@\n();"
309
 
            file (String.sub mll 0 (String.length mll - 1))
310
 
      | (Some ml, _, _) -> k (); fprintf ppf "%a" file ml
311
 
      | (None, _, Some mli) -> k (); fprintf ppf "%a" file mli
312
 
      | _ -> if sources <> [] then () else k ());
313
 
      fprintf ppf "@]@\nend;@]@\n";
314
 
      if skip name then fprintf ppf "(**/**)@\n";
315
 
    );
316
 
    (skip, inside)
317
 
  ) (skip, false) in fprintf ppf "@."
318
 
 
319
 
let run l =
320
 
  let cmd = String.concat " " l in
321
 
  let () = Format.printf "%s@." cmd in
322
 
  let st = YaM.call cmd in
323
 
  if st <> 0 then failwith ("Exit: " ^ string_of_int st)
324
 
 
325
 
let sed re str file =
326
 
  run ["sed"; "-i"; "-e"; "'s/"^re^"/"^str^"/'"; file]
327
 
 
328
 
let pack () =
329
 
  let revised_to_ocaml f =
330
 
    run ["./boot/camlp4boot -printer OCaml -o "^f^".ml -impl "^f^".ml4"] in
331
 
  let ppf_of_file f = formatter_of_out_channel (open_out f) in
332
 
  let skip_struct = function "Struct" -> true | _ -> false in
333
 
  print_packed_sources (ppf_of_file "Camlp4.ml4")
334
 
                       ~skip:skip_struct camlp4_package_as_one_dir;
335
 
  print_packed_sources (ppf_of_file "Camlp4Parsers.ml4") camlp4_parsers;
336
 
  print_packed_sources (ppf_of_file "Camlp4Printers.ml4") camlp4_printers;
337
 
  print_packed_sources (ppf_of_file "Camlp4Filters.ml4") camlp4_filters;
338
 
  print_packed_sources (ppf_of_file "Camlp4Top.ml4") camlp4_top;
339
 
  revised_to_ocaml "Camlp4";
340
 
  sed "(\\*___CAMLP4_LEXER___" "" "Camlp4.ml";
341
 
  sed "___CAMLP4_LEXER___\\*)" "" "Camlp4.ml";
342
 
  sed "^ *# [0-9]\\+.*$" "" "Camlp4.ml";
343
 
  revised_to_ocaml "Camlp4Parsers";
344
 
  revised_to_ocaml "Camlp4Printers";
345
 
  revised_to_ocaml "Camlp4Filters";
346
 
  revised_to_ocaml "Camlp4Top"
347
 
 
348
 
let just_doc () =
349
 
  run ["cd doc && ../../ocamldoc/ocamldoc";
350
 
       "-v -short-functors -html";
351
 
       "-I ../../parsing -I ../build -I ../../utils -I ..";
352
 
       "-dump ocamldoc.out";
353
 
       "-t 'Camlp4 a Pre-Processor-Pretty-Printer for Objective Caml'";
354
 
       "../Camlp4.ml"; "../Camlp4Parsers.ml"; "../Camlp4Printers.ml";
355
 
       "../Camlp4Filters.ml"; "../Camlp4Top.ml"]
356
 
 
357
 
let doc () =
358
 
  pack (); just_doc ()
359