1995-08-09 08:06:35 -07:00
|
|
|
(***********************************************************************)
|
|
|
|
(* *)
|
1996-04-30 07:53:58 -07:00
|
|
|
(* Objective Caml *)
|
1995-08-09 08:06:35 -07:00
|
|
|
(* *)
|
|
|
|
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
(* *)
|
1996-04-30 07:53:58 -07:00
|
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
1995-08-09 08:06:35 -07:00
|
|
|
(* Automatique. Distributed only by permission. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
(* $Id$ *)
|
|
|
|
|
1996-11-06 08:55:58 -08:00
|
|
|
let version = "1.04-3"
|
1996-02-15 08:19:09 -08:00
|
|
|
|
|
|
|
let standard_library =
|
|
|
|
try
|
|
|
|
Sys.getenv "CAMLLIB"
|
|
|
|
with Not_found ->
|
|
|
|
"%%LIBDIR%%"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-07-18 01:42:01 -07:00
|
|
|
let bytecomp_c_compiler = "%%BYTECC%%"
|
|
|
|
|
|
|
|
let native_c_compiler = "%%NATIVECC%%"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
|
|
|
let c_libraries = "%%CCLIBS%%"
|
|
|
|
|
|
|
|
let exec_magic_number = "Caml1999X001"
|
1995-10-05 08:22:38 -07:00
|
|
|
and cmi_magic_number = "Caml1999I002"
|
1996-04-18 09:36:09 -07:00
|
|
|
and cmo_magic_number = "Caml1999O003"
|
|
|
|
and cma_magic_number = "Caml1999A003"
|
1996-10-24 08:19:32 -07:00
|
|
|
and cmx_magic_number = "Caml1999X003" (* X a changer (conflit avec exec) *)
|
1996-04-18 09:36:09 -07:00
|
|
|
and cmxa_magic_number = "Caml1999Z003"
|
1996-04-23 04:37:55 -07:00
|
|
|
and ast_impl_magic_number = "Caml1999M002"
|
|
|
|
and ast_intf_magic_number = "Caml1999N002"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
|
|
|
let load_path = ref ([] : string list)
|
|
|
|
|
1995-07-28 05:24:04 -07:00
|
|
|
let max_tag = 248
|
1995-10-03 07:07:03 -07:00
|
|
|
let max_young_wosize = 256
|
1995-08-08 05:17:31 -07:00
|
|
|
|
|
|
|
let architecture = "%%ARCH%%"
|
1996-01-07 09:00:35 -08:00
|
|
|
let model = "%%MODEL%%"
|
1995-08-08 05:17:31 -07:00
|
|
|
let system = "%%SYSTEM%%"
|
1996-02-15 08:19:09 -08:00
|
|
|
|
|
|
|
let ext_obj = "%%EXT_OBJ%%"
|
|
|
|
let ext_asm = "%%EXT_ASM%%"
|
|
|
|
let ext_lib = "%%EXT_LIB%%"
|
|
|
|
|