← Back to branch summary

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

« back to all changes in this revision

Viewing changes to utils/config.mli

  • 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:
utils/config.mli
10
10
(*                                                                     *)
11
11
(***********************************************************************)
12
12
 
13
 
(* $Id: config.mli 8868 2008-04-16 06:50:31Z frisch $ *)
 
13
(* $Id: config.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
14
14
 
15
15
(* System configuration *)
16
16
 
27
27
               "msvc" (Microsoft Visual C++)
28
28
               "mrc" (Macintosh MPW) *)
29
29
val bytecomp_c_compiler: string
30
 
        (* The C compiler to use for compiling C files 
 
30
        (* The C compiler to use for compiling C files
31
31
           with the bytecode compiler *)
32
32
val bytecomp_c_libraries: string
33
33
        (* The C libraries to link with custom runtimes *)
34
34
val native_c_compiler: string
35
 
        (* The C compiler to use for compiling C files 
 
35
        (* The C compiler to use for compiling C files
36
36
           with the native-code compiler *)
37
37
val native_c_libraries: string
38
38
        (* The C libraries to link with native-code programs *)
72
72
        (* Magic number for file holding an interface syntax tree *)
73
73
val ast_impl_magic_number: string
74
74
        (* Magic number for file holding an implementation syntax tree *)
 
75
val cmxs_magic_number: string
 
76
        (* Magic number for dynamically-loadable plugins *)
75
77
 
76
78
val max_tag: int
77
79
        (* Biggest tag that can be stored in the header of a regular block. *)