X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fconfigure.ac;h=74115f317c79228322f7742c7272b7b3b5b2d6df;hb=4227b4756648f58c9db4bcea9a6aa2770df3ac01;hp=b779c3239b1f12323292fe6ad4d667065ed13b9a;hpb=bf6bbd9f2e47ce7a465c0bb3105f9a7c7d73a9ea;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/configure.ac b/helm/DEVEL/mathml_editor/configure.ac
index b779c3239..74115f317 100644
--- a/helm/DEVEL/mathml_editor/configure.ac
+++ b/helm/DEVEL/mathml_editor/configure.ac
@@ -165,6 +165,12 @@ AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
 
 AC_SUBST(OCAML_INCLUDE_DIR)
 
+if test $profile = yes; then
+	CFLAFS="$CFLAGS -p"
+	CXXFLAGS="$CXXFLAGS -p"
+	AC_DEFINE(ENABLE_PROFILE,,[Define to 1 to let the widget collect some information for profiling purposes])
+fi
+
 AC_CONFIG_FILES([
  Makefile 
  src/Makefile