Changeset 0c86ae in git

Timestamp:

Nov 22, 2012, 8:35:18 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

e3f52366c2a42547169d92be7935671627b1705b

Parents:

2ee8ac18d25da263d8ff5b140f45b9ac7be22c0b

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-22 20:35:18+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-06-17 09:19:03+02:00

Message:

For profiling: use google proftools (optionally)

Files:

• configure.ac (modified) (1 diff)
• dyn_modules/syzextra/Makefile.am (modified) (1 diff)
• dyn_modules/syzextra/mod_main.cc (modified) (4 diffs)
• m4/google-perftools.m4 (added)

configure.ac

@@ -60 +60 @@
 AX_PYTHON_WITH_VERSION([2.4])
 
+AC_CONFIG_GOOGLE_PERFTOOLS()
 
 AC_FUNC_ERROR_AT_LINE

dyn_modules/syzextra/Makefile.am

@@ -36 +36 @@
 
 
-AMLDFLAGS       = -release ${PACKAGE_VERSION}
+AMLDFLAGS = ${GOOGLE_PERFTOOL_LDFLAGS} -release ${PACKAGE_VERSION} 
+
 # -L${top_builddir}/Singular -L${top_builddir}/numeric -L${top_builddir}/kernel \
 # -L${top_builddir}/libpolys/polys $(USE_FACTORY) -L${top_builddir}/omalloc -L${top_builddir}/resources

dyn_modules/syzextra/mod_main.cc

@@ -32 +32 @@
 #include "myNF.h"
 
-#ifdef HAVE_GOOGLE_PROFILER
+
+#if GOOGLE_PROFILE_ENABLED 
 #include <google/profiler.h>
-#endif // HAVE_GOOGLE_PROFILER  
+#endif // #if GOOGLE_PROFILE_ENABLED 
 
 
@@ -177 +178 @@
 {
   NoReturn(__res);
-#ifdef HAVE_GOOGLE_PROFILER
+#if GOOGLE_PROFILE_ENABLED
   if( h!= NULL && h->Typ() == STRING_CMD )
   {
@@ -186 +187 @@
     WerrorS("ProfilerStart requires a string [name] argument"); 
 #else
-  WarnS("Sorry no google profiler support (undefined HAVE_GOOGLE_PROFILER)...");
+  WarnS("Sorry no google profiler support (GOOGLE_PROFILE_ENABLE!=1)...");
 //  return TRUE; // ?
-#endif // #ifdef HAVE_GOOGLE_PROFILER
+#endif // #if GOOGLE_PROFILE_ENABLED
   return FALSE;
   (void)h;
@@ -195 +196 @@
 {
   NoReturn(__res);
-#ifdef HAVE_GOOGLE_PROFILER
+#if GOOGLE_PROFILE_ENABLED
   ProfilerStop();
 #else
-  WarnS("Sorry no google profiler support (undefined HAVE_GOOGLE_PROFILER)...");
+  WarnS("Sorry no google profiler support (GOOGLE_PROFILE_ENABLED!=1)...");
 //  return TRUE; // ?
-#endif // #ifdef HAVE_GOOGLE_PROFILER
+#endif // #if GOOGLE_PROFILE_ENABLED
   return FALSE;
 }