From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 1 Mar 2012 13:24:30 +0000 (+0100)
Subject: Enable gcc link time optimizations.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d3af6abaa7f12850a9edce0b6091700538e52f9c;p=SXSI%2Fxpathcomp.git

Enable gcc link time optimizations.
---

diff --git a/myocamlbuild_config.ml.in b/myocamlbuild_config.ml.in
index d0e86f6..0fc3c7e 100644
--- a/myocamlbuild_config.ml.in
+++ b/myocamlbuild_config.ml.in
@@ -3,7 +3,7 @@ let include_path = "include";;
 let src_path = "src";;
 let ocaml_link = [ ];;
 let ocamlfind_packages = "unix,ulex,expat,camlp4,camlp4.lib";;
-let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-static" ];;
+let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-static" ; "-flto"];;
 let main_targets = [ "native","src/main.native";
 		     "byte", "src/main.byte" ];;
 let cstub_lib = [ "src/libcamlshredder.a" ];;