X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure.in;h=6e6586fc124c956f10a52160dba87d43f75d0b5c;hb=refs%2Fheads%2Fjit;hp=5bcb4c0594674d498dfa779241bf2656f05b52e2;hpb=31d45495fda9a110fd348f8b492761c28b434ec9;p=tatoo.git

diff --git a/configure.in b/configure.in
index 5bcb4c0..6e6586f 100644
--- a/configure.in
+++ b/configure.in
@@ -168,7 +168,7 @@ fi
 
 #compilation options
 #debugging mode
-OCAMLFLAGS=$OCAMLFLAGS
+OCAMLFLAGS="-principal -warn-error @3 $OCAMLFLAGS"
 CAMLP4FLAGS=$CAMLP4FLAGS
 OCAMLCFLAGS=$OCAMLCFLAGS
 OCAMLOPTFLAGS=$OCAMLOPTFLAGS
@@ -190,7 +190,7 @@ AC_ARG_ENABLE([profile],
               [PROFILE=no])
 
 if test "x$PROFILE" = "xyes"; then
-   OCAMLOPTFLAGS="$OCAMLOPTFLAGS -p"
+   OCAMLOPTFLAGS="$OCAMLOPTFLAGS -p -ccopt -no-pie"
    OCAMLC="$OCAMLFIND ocamlcp"
 fi
 
@@ -211,13 +211,25 @@ AC_ARG_ENABLE([inline],
               [INLINE=$enableval],
               [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],
               [UNSAFE=1],
               [UNSAFE=0])
 
-if test "x$UNSAFE" = "xyes"; then
+if test "x$UNSAFE" = "x1"; then
    CAMLP4FLAGS="$CAMLP4FLAGS -unsafe"
 fi
 
@@ -250,12 +262,10 @@ else
 AC_MSG_NOTICE([$REMAKE exists, not rebuilding])
 fi
 
-
-AC_SUBST(INLINE)
 AC_SUBST(OCAMLFLAGS)
 AC_SUBST(OCAMLCFLAGS)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
-AC_CONFIG_FILES(Remakefile)
-AC_CONFIG_FILES(Makefile)
+AC_CONFIG_FILES(Makefile Remakefile)
+
 AC_OUTPUT