From 8495ee8e7de4a7e472d72cfb20290940c59794e3 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 10 Apr 2011 00:14:49 +0000
Subject: [PATCH] Add -lprofiler when --with-google-perftools is offered; also
 fix some newswire-raised documentation issues.

---
 configure.ac                          |  3 ++-
 src/parser/bounded_token_buffer.h     |  4 +++-
 src/theory/rewriter_tables_template.h | 24 +++++++++++++++++++++---
 3 files changed, 26 insertions(+), 5 deletions(-)

diff --git a/configure.ac b/configure.ac
index 25108adcc..975d032b8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -721,7 +721,8 @@ AC_ARG_WITH(
 AC_MSG_CHECKING([whether to link in google perftools libraries])
 if test $cvc4_use_google_perftools = 1; then
   AC_MSG_RESULT([yes])
-  AC_CHECK_LIB([tcmalloc], [MallocExtension_GetAllocatedSize], , [AC_MSG_ERROR([cannot link google-perftools test program])], [-lpthread])
+  AC_CHECK_LIB([tcmalloc], [MallocExtension_GetAllocatedSize], , [AC_MSG_ERROR([cannot link google-perftools test program with -ltcmalloc])], [-lpthread])
+  AC_CHECK_LIB([profiler], [ProfilerStart], , [AC_MSG_ERROR([cannot link google-perftools test program with -lprofiler])], [-lpthread])
 else
   AC_MSG_RESULT([no (user didn't request it)])
 fi
diff --git a/src/parser/bounded_token_buffer.h b/src/parser/bounded_token_buffer.h
index a29462687..5121f1cc6 100644
--- a/src/parser/bounded_token_buffer.h
+++ b/src/parser/bounded_token_buffer.h
@@ -5,7 +5,7 @@
  ** Major contributors: mdeters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
@@ -25,6 +25,8 @@
  ** are SKIP()'d and not "hidden".
  **/
 
+#include "cvc4parser_private.h"
+
 #ifndef	__CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H
 #define	__CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H
 
diff --git a/src/theory/rewriter_tables_template.h b/src/theory/rewriter_tables_template.h
index e26c879e4..cbbff95c1 100644
--- a/src/theory/rewriter_tables_template.h
+++ b/src/theory/rewriter_tables_template.h
@@ -1,3 +1,22 @@
+/*********************                                                        */
+/*! \file rewriter_tables_template.h
+ ** \verbatim
+ ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief Rewriter tables for various theories
+ **
+ ** This file contains template code for the rewriter tables that are generated
+ ** from the Theory kinds files.
+ **/
+
 #pragma once
 
 #include "theory/rewriter.h"
@@ -56,7 +75,6 @@ ${post_rewrite_set_cache}
   }
 }
 
-
 void Rewriter::init() {
 ${rewrite_init}
 }
@@ -65,5 +83,5 @@ void Rewriter::shutdown() {
 ${rewrite_shutdown}
 }
 
-}
-}
+}/* CVC4::theory namespace */
+}/* CVC4 namespace */
-- 
2.30.2