utils/config.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
   9 (*  under the terms of the Q Public License version 1.0.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id$ *)
  14
  15 (* System configuration *)
  16
  17 val version: string
  18         (* The current version number of the system *)
  19
  20 val standard_library: string
  21         (* The directory containing the standard libraries *)
  22 val standard_runtime: string
  23         (* The full path to the standard bytecode interpreter ocamlrun *)
  24 val ccomp_type: string
  25         (* The "kind" of the C compiler: one of
  26                "cc" (for Unix-style C compilers)
  27                "msvc" (Microsoft Visual C++)
  28                "mrc" (Macintosh MPW) *)
  29 val bytecomp_c_compiler: string
  30         (* The C compiler to use for compiling C files
  31            with the bytecode compiler *)
  32 val bytecomp_c_linker: string
  33         (* The C compiler to use for building custom runtime systems
  34            with the bytecode compiler *)
  35 val bytecomp_c_libraries: string
  36         (* The C libraries to link with custom runtimes *)
  37 val native_c_compiler: string
  38         (* The C compiler to use for compiling C files
  39            with the native-code compiler *)
  40 val native_c_linker: string
  41         (* The C compiler to use for the final linking step
  42            in the native code compiler *)
  43 val native_c_libraries: string
  44         (* The C libraries to link with native-code programs *)
  45 val native_partial_linker: string
  46         (* The linker to use for partial links (ocamlopt -output-obj) *)
  47 val native_pack_linker: string
  48         (* The linker to use for packaging (ocamlopt -pack) *)
  49 val ranlib: string
  50         (* Command to randomize a library, or "" if not needed *)
  51 val cc_profile : string
  52         (* The command line option to the C compiler to enable profiling. *)
  53
  54 val load_path: string list ref
  55         (* Directories in the search path for .cmi and .cmo files *)
  56
  57 val interface_suffix: string ref
  58         (* Suffix for interface file names *)
  59
  60 val exec_magic_number: string
  61         (* Magic number for bytecode executable files *)
  62 val cmi_magic_number: string
  63         (* Magic number for compiled interface files *)
  64 val cmo_magic_number: string
  65         (* Magic number for object bytecode files *)
  66 val cma_magic_number: string
  67         (* Magic number for archive files *)
  68 val cmx_magic_number: string
  69         (* Magic number for compilation unit descriptions *)
  70 val cmxa_magic_number: string
  71         (* Magic number for libraries of compilation unit descriptions *)
  72 val ast_intf_magic_number: string
  73         (* Magic number for file holding an interface syntax tree *)
  74 val ast_impl_magic_number: string
  75         (* Magic number for file holding an implementation syntax tree *)
  76
  77 val max_tag: int
  78         (* Biggest tag that can be stored in the header of a regular block. *)
  79 val lazy_tag : int
  80         (* Normally the same as Obj.lazy_tag.  Separate definition because
  81            of technical reasons for bootstrapping. *)
  82 val max_young_wosize: int
  83         (* Maximal size of arrays that are directly allocated in the
  84            minor heap *)
  85 val stack_threshold: int
  86         (* Size in words of safe area at bottom of VM stack,
  87            see byterun/config.h *)
  88
  89 val architecture: string
  90         (* Name of processor type for the native-code compiler *)
  91 val model: string
  92         (* Name of processor submodel for the native-code compiler *)
  93 val system: string
  94         (* Name of operating system for the native-code compiler *)
  95
  96 val ext_obj: string
  97         (* Extension for object files, e.g. [.o] under Unix. *)
  98 val ext_asm: string
  99         (* Extension for assembler files, e.g. [.s] under Unix. *)
 100 val ext_lib: string
 101         (* Extension for library files, e.g. [.a] under Unix. *)
 102 val ext_dll: string
 103         (* Extension for dynamically-loaded libraries, e.g. [.so] under Unix.*)
 104
 105 val default_executable_name: string
 106         (* Name of executable produced by linking if none is given with -o,
 107            e.g. [a.out] under Unix. *)
 108
 109 val systhread_supported : bool
 110         (* Whether the system thread library is implemented *)
 111
 112 val print_config : out_channel -> unit;;