summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2008-04-18 14:06:42 +0000
committerAlain Frisch <alain@frisch.fr>2008-04-18 14:06:42 +0000
commitc917df6af1322e79fcc404a21c5967adfcf0846b (patch)
tree3253c8b5f07cbfcde2330d42c5e55dcc7902fa26
parent486a6ce6d569ef118188909e4ee474f62ef7c01f (diff)
Simplify the life of people who want to help evaluating the impact of -dlcode on performance for AMD64 systems.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--driver/optmain.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml
index 69a2b5e48..cbb4cfee4 100644
--- a/driver/optmain.ml
+++ b/driver/optmain.ml
@@ -89,6 +89,15 @@ let show_config () =
;;
let main () =
+ (* This is a temporary solution to help the community evaluate
+ the impact of -dlcode on performance for AMD64 systems (so that
+ 3rd-party libraries can be recompiled with -dlcode without touching
+ their Makefiles).
+ begin
+ try if Sys.getenv "OCAML_DLCODE" <> "" then dlcode := true
+ with Not_found -> ();
+ end;
+
native_code := true;
c_compiler := Config.native_c_compiler;
let ppf = Format.err_formatter in