diff options
Diffstat (limited to 'utils/config.mli')
| -rw-r--r-- | utils/config.mli | 111 |
1 files changed, 0 insertions, 111 deletions
diff --git a/utils/config.mli b/utils/config.mli deleted file mode 100644 index a53fe24f24..0000000000 --- a/utils/config.mli +++ /dev/null @@ -1,111 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* System configuration *) - -val version: string - (* The current version number of the system *) - -val standard_library: string - (* The directory containing the standard libraries *) -val standard_runtime: string - (* The full path to the standard bytecode interpreter ocamlrun *) -val ccomp_type: string - (* The "kind" of the C compiler: one of - "cc" (for Unix-style C compilers) - "msvc" (Microsoft Visual C++) - "mrc" (Macintosh MPW) *) -val bytecomp_c_compiler: string - (* The C compiler to use for compiling C files - with the bytecode compiler *) -val bytecomp_c_linker: string - (* The C compiler to use for building custom runtime systems - with the bytecode compiler *) -val bytecomp_c_libraries: string - (* The C libraries to link with custom runtimes *) -val native_c_compiler: string - (* The C compiler to use for compiling C files - with the native-code compiler *) -val native_c_linker: string - (* The C compiler to use for the final linking step - in the native code compiler *) -val native_c_libraries: string - (* The C libraries to link with native-code programs *) -val native_partial_linker: string - (* The linker to use for partial links (ocamlopt -output-obj) *) -val native_pack_linker: string - (* The linker to use for packaging (ocamlopt -pack) *) -val ranlib: string - (* Command to randomize a library, or "" if not needed *) -val binutils_nm: string - (* The "nm" command from GNU binutils, or "" if not available *) -val binutils_objcopy: string - (* The "objcopy" command from GNU binutils, or "" if not available *) -val cc_profile : string - (* The command line option to the C compiler to enable profiling. *) - -val load_path: string list ref - (* Directories in the search path for .cmi and .cmo files *) - -val interface_suffix: string ref - (* Suffix for interface file names *) - -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 ast_intf_magic_number: string - (* Magic number for file holding an interface syntax tree *) -val ast_impl_magic_number: string - (* Magic number for file holding an implementation syntax tree *) - -val max_tag: int - (* Biggest tag that can be stored in the header of a regular block. *) -val lazy_tag : int - (* Normally the same as Obj.lazy_tag. Separate definition because - of technical reasons for bootstrapping. *) -val max_young_wosize: int - (* Maximal size of arrays that are directly allocated in the - minor heap *) -val stack_threshold: int - (* Size in words of safe area at bottom of VM stack, - see byterun/config.h *) - -val architecture: string - (* Name of processor type for the native-code compiler *) -val model: string - (* Name of processor submodel for the native-code compiler *) -val system: string - (* Name of operating system for the native-code compiler *) - -val ext_obj: string - (* Extension for object files, e.g. [.o] under Unix. *) -val ext_asm: string - (* Extension for assembler files, e.g. [.s] under Unix. *) -val ext_lib: string - (* Extension for library files, e.g. [.a] under Unix. *) -val ext_dll: string - (* Extension for dynamically-loaded libraries, e.g. [.so] under Unix.*) - -val default_executable_name: string - (* Name of executable produced by linking if none is given with -o, - e.g. [a.out] under Unix. *) |