projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
00697c6
)
Add an option to produce PIC code.
author
Kim Nguyễn
<kim.nguyen@lri.fr>
Tue, 18 Apr 2017 12:44:26 +0000
(14:44 +0200)
committer
Kim Nguyễn
<kim.nguyen@lri.fr>
Tue, 18 Apr 2017 12:44:26 +0000
(14:44 +0200)
configure.in
patch
|
blob
|
history
diff --git
a/configure.in
b/configure.in
index
0de71a1
..
6e6586f
100644
(file)
--- 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],