]> matita.cs.unibo.it Git - helm.git/commitdiff
* added profiling options
authorLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:25:04 +0000 (10:25 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:25:04 +0000 (10:25 +0000)
helm/DEVEL/mathml_editor/configure.ac

index b779c3239b1f12323292fe6ad4d667065ed13b9a..74115f317c79228322f7742c7272b7b3b5b2d6df 100644 (file)
@@ -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