Updated deps for i386.

[virt-df.git] / configure.ac

diff --git a/configure.ac b/configure.ac
index 6800654..b26d226 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -113,6 +113,20 @@ EOT
     fi
 done
 
+dnl Enable type annotation files (always, there's no penalty for doing
+dnl this).  Use C-c C-t in emacs to print the type of an expression.
+OCAMLCFLAGS="-dtypes -g"
+OCAMLOPTFLAGS=""
+
+dnl Enable profiling support for native code.
+AC_ARG_ENABLE([profiling],
+       [AS_HELP_STRING([--enable-profiling],
+         [enable profiling for native code])],
+       [OCAMLOPTFLAGS="$OCAMLOPTFLAGS -p"])
+
+AC_SUBST(OCAMLCFLAGS)
+AC_SUBST(OCAMLOPTFLAGS)
+
 dnl Summary.
 echo "------------------------------------------------------------"
 echo "Thanks for downloading" $PACKAGE_STRING