From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 29 Oct 2003 10:25:04 +0000 (+0000)
Subject: * added profiling options
X-Git-Tag: V_0_2_2~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ae97cd49148b3ff8338d43c42a0dfd520cff82c;p=helm.git

* added profiling options
---

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