diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2010-11-11 06:38:31 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2010-11-11 06:38:31 +0000 |
| commit | 174df0ab26c2fb06a075df6fe8d598fd89234cd9 (patch) | |
| tree | 3ddbb0018e6476873891710a95f04190bddff923 /ocaml-binary-annot/utils/config.mlbuild | |
| download | ocaml-174df0ab26c2fb06a075df6fe8d598fd89234cd9.tar.gz | |
New branch binary-annot by Fabrice Le Fessant from r10789
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocaml-binary-annot/utils/config.mlbuild')
| -rw-r--r-- | ocaml-binary-annot/utils/config.mlbuild | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/ocaml-binary-annot/utils/config.mlbuild b/ocaml-binary-annot/utils/config.mlbuild new file mode 100644 index 0000000000..68a7c85849 --- /dev/null +++ b/ocaml-binary-annot/utils/config.mlbuild @@ -0,0 +1,132 @@ +(***********************************************************************) +(* *) +(* 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$ *) + +(***********************************************************************) +(** **) +(** WARNING WARNING WARNING **) +(** **) +(** When you change this file, you must make the parallel change **) +(** in config.mlp **) +(** **) +(***********************************************************************) + + +(* The main OCaml version string has moved to ../VERSION *) +let version = Sys.ocaml_version + +module C = Myocamlbuild_config + +let standard_library_default = C.libdir + +let standard_library = + try + Sys.getenv "OCAMLLIB" + with Not_found -> + try + Sys.getenv "CAMLLIB" + with Not_found -> + standard_library_default + +let windows = + match Sys.os_type with + | "Win32" -> true + | _ -> false + +let sf = Printf.sprintf + +let standard_runtime = + if windows then "ocamlrun" + else C.bindir^"/ocamlrun" +let ccomp_type = C.ccomptype +let bytecomp_c_compiler = sf "%s %s %s" C.bytecc C.bytecccompopts C.sharedcccompopts +let bytecomp_c_libraries = C.bytecclibs +let native_c_compiler = sf "%s %s" C.nativecc C.nativecccompopts +let native_c_libraries = C.nativecclibs +let native_pack_linker = C.packld +let ranlib = C.ranlibcmd +let cc_profile = C.cc_profile +let mkdll = C.mkdll +let mkexe = C.mkexe +let mkmaindll = C.mkmaindll + +let exec_magic_number = "Caml1999X008" +and cmi_magic_number = "Caml1999I012" +and cmo_magic_number = "Caml1999O007" +and cma_magic_number = "Caml1999A008" +and cmx_magic_number = "Caml1999Y011" +and cmxa_magic_number = "Caml1999Z010" +and ast_impl_magic_number = "Caml1999M013" +and ast_intf_magic_number = "Caml1999N012" +and cmxs_magic_number = "Caml2007D001" + +let load_path = ref ([] : string list) + +let interface_suffix = ref ".mli" + +let max_tag = 245 +(* This is normally the same as in obj.ml, but we have to define it + separately because it can differ when we're in the middle of a + bootstrapping phase. *) +let lazy_tag = 246 + +let max_young_wosize = 256 +let stack_threshold = 256 (* see byterun/config.h *) + +let architecture = C.arch +let model = C.model +let system = C.system + +let asm = C.asm + +let ext_obj = C.ext_obj +let ext_asm = C.ext_asm +let ext_lib = C.ext_lib +let ext_dll = C.ext_dll + +let default_executable_name = + match Sys.os_type with + "Unix" -> "a.out" + | "Win32" | "Cygwin" -> "camlprog.exe" + | _ -> "camlprog" + +let systhread_supported = C.systhread_support;; + +let print_config oc = + let p name valu = Printf.fprintf oc "%s: %s\n" name valu in + let p_bool name valu = Printf.fprintf oc "%s: %B\n" name valu in + p "version" version; + p "standard_library_default" standard_library_default; + p "standard_library" standard_library; + p "standard_runtime" standard_runtime; + p "ccomp_type" ccomp_type; + p "bytecomp_c_compiler" bytecomp_c_compiler; + p "bytecomp_c_libraries" bytecomp_c_libraries; + p "native_c_compiler" native_c_compiler; + p "native_c_libraries" native_c_libraries; + p "native_pack_linker" native_pack_linker; + p "ranlib" ranlib; + p "cc_profile" cc_profile; + p "architecture" architecture; + p "model" model; + p "system" system; + p "asm" asm; + p "ext_obj" ext_obj; + p "ext_asm" ext_asm; + p "ext_lib" ext_lib; + p "ext_dll" ext_dll; + p "os_type" Sys.os_type; + p "default_executable_name" default_executable_name; + p_bool "systhread_supported" systhread_supported; + flush oc; +;; |
