From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Tue, 18 Apr 2017 12:44:26 +0000 (+0200)
Subject: Add an option to produce PIC code.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=8e3a510161dcc03eb0d2b8a6293327b9eea15369

Add an option to produce PIC code.
---

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],