X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=configure.in;fp=configure.in;h=6e6586fc124c956f10a52160dba87d43f75d0b5c;hp=0de71a1d2c08d656fea6bd3014ffb68ede3d5cd4;hb=8e3a510161dcc03eb0d2b8a6293327b9eea15369;hpb=00697c62348a2aabe650ada4605c0589feda5bae

diff --git a/configure.in b/configure.in
index 0de71a1..6e6586f 100644
--- a/configure.in
+++ b/configure.in
@@ -212,6 +212,17 @@ AC_ARG_ENABLE([inline],
               [INLINE=100])
 
 OCAMLOPTFLAGS="$OCAMLOPTFLAGS -inline $INLINE"
+
+#no-pic
+AC_ARG_ENABLE([pic],
+              [  --enable-pic         produce position independent code (default)],
+              [PIC=$enableval],
+              [PIC=yes])
+
+if test "x$TRACE" = "xno"; then
+   OCAMLOPTFLAGS="$OCAMLOPTFLAGS -ccopt -no-pie -fno-PIC"
+fi
+
 #unsafe
 AC_ARG_ENABLE([unsafe],
               [  --enable-unsafe         use unsafe array and string accesses],