From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 26 Oct 2012 12:07:00 +0000 (+0200)
Subject: Merge branch 'pretty-print'
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=6b6491b1c9d8b425110e65dcff44c6d98aa54e10;hp=b146572b9707292dbc1eacf5fb67d84271cafbba;p=SXSI%2Fxpathcomp.git

Merge branch 'pretty-print'

This branch reworks the pretty-printing infrastructure. This allows to give
the printer of log messages more control on format's boxes (which is necessary
for proper display).
---

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 6f27e4e..6121130 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -20,7 +20,7 @@ let link_flags = [ A"-linkpkg" ]
 let libs_files = List.map (fun s -> "file:" ^ s) cxx_libs_objects
 
 
-let native_compile_flags = ref [A"-fno-PIC"]
+let native_compile_flags = if Sys.word_size = 64 then ref [A"-fno-PIC"] else ref []
 let compile_flags = ref []
 
 let dwsize = sprintf "-DWORDSIZE%i" Sys.word_size