From 8e3a510161dcc03eb0d2b8a6293327b9eea15369 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kim.nguyen@lri.fr>
Date: Tue, 18 Apr 2017 14:44:26 +0200
Subject: [PATCH] Add an option to produce PIC code.

---
 configure.in | 11 +++++++++++
 1 file changed, 11 insertions(+)

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