From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 14 Mar 2012 12:39:42 +0000 (+0100)
Subject: Update compilation flag:
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=eff6c8d2b5c0ea839c660688338b59cbc99cba93;p=SXSI%2Fxpathcomp.git

Update compilation flag:
       - change the value of inlining for OCaml code
       - pass -O3 as a flag to the C/C++ compiler
---

diff --git a/myocamlbuild_config.ml.in b/myocamlbuild_config.ml.in
index 0fc3c7e..d9ff565 100644
--- a/myocamlbuild_config.ml.in
+++ b/myocamlbuild_config.ml.in
@@ -1,9 +1,9 @@
-let ocaml_inline = "1000";;
+let ocaml_inline = "100";;
 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" ; "-flto"];;
+let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-static" ; "-flto"; "-O3" ];;
 let main_targets = [ "native","src/main.native";
 		     "byte", "src/main.byte" ];;
 let cstub_lib = [ "src/libcamlshredder.a" ];;