diff options
author | Alain Frisch <alain@frisch.fr> | 2008-04-18 14:06:42 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2008-04-18 14:06:42 +0000 |
commit | c917df6af1322e79fcc404a21c5967adfcf0846b (patch) | |
tree | 3253c8b5f07cbfcde2330d42c5e55dcc7902fa26 | |
parent | 486a6ce6d569ef118188909e4ee474f62ef7c01f (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.ml | 9 |
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 |