summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/utils/config.mlbuild
diff options
context:
space:
mode:
authorFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2010-11-11 06:38:31 +0000
committerFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2010-11-11 06:38:31 +0000
commit174df0ab26c2fb06a075df6fe8d598fd89234cd9 (patch)
tree3ddbb0018e6476873891710a95f04190bddff923 /ocaml-binary-annot/utils/config.mlbuild
downloadocaml-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.mlbuild132
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;
+;;