X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure.in;h=6e6586fc124c956f10a52160dba87d43f75d0b5c;hb=8e3a510161dcc03eb0d2b8a6293327b9eea15369;hp=0de71a1d2c08d656fea6bd3014ffb68ede3d5cd4;hpb=b73ad7605777c49c65673e34f6f9ee635053db13;p=tatoo.git 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],