https://github.com/charguer/ocaml
Raw File
Tip revision: 19cfda517399cf845f38312e5fc3fddd5a0be00b authored by No author on 12 September 1995, 08:44:22 UTC
This commit was manufactured by cvs2svn to create tag 'rel106'.
Tip revision: 19cfda5
config.mli
(***********************************************************************)
(*                                                                     *)
(*                         Caml Special Light                          *)
(*                                                                     *)
(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
(*                                                                     *)
(*  Copyright 1995 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

(* $Id$ *)

(* System configuration *)

val version: string
        (* The current version number of the system *)

val standard_library: string
        (* The directory containing the standard libraries *)
val bytecomp_c_compiler: string
        (* The C compiler to use for the custom runtime mode of the
           bytecode compiler *)
val native_c_compiler: string
        (* The C compiler to use for the native code compiler *)
val c_libraries: string
        (* The C libraries to link with custom runtimes *)

val load_path: string list ref
        (* Directories in the search path for .cmi and .cmo files *)

val exec_magic_number: string
        (* Magic number for bytecode executable files *)
val cmi_magic_number: string
        (* Magic number for compiled interface files *)
val cmo_magic_number: string
        (* Magic number for object bytecode files *)
val cma_magic_number: string
        (* Magic number for archive files *)
val cmx_magic_number: string
        (* Magic number for compilation unit descriptions *)
val cmxa_magic_number: string
        (* Magic number for libraries of compilation unit descriptions *)

val max_tag: int
        (* Biggest tag that can be stored in the header of a block. *)

val architecture: string
        (* Name of processor type for the native-code compiler *)
val system: string
        (* Name of operating system for the native-code compiler *)
back to top