From e687b6e1ae8afecb7e7280aad0538672e608818d Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 6 Jun 2014 16:29:28 -0400
Subject: [PATCH] rm warning from helloworld example

---
 examples/api/Makefile.am    | 2 ++
 examples/api/helloworld.cpp | 8 ++++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am
index 0d0236376..3508f9900 100644
--- a/examples/api/Makefile.am
+++ b/examples/api/Makefile.am
@@ -32,6 +32,8 @@ combination_LDADD = \
 
 helloworld_SOURCES = \
 	helloworld.cpp
+helloworld_CXXFLAGS = \
+	-DCVC4_MAKE_EXAMPLES
 helloworld_LDADD = \
 	@builddir@/../../src/libcvc4.la
 
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp
index b74f229b6..4c62874b8 100644
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -15,9 +15,13 @@
  **/
 
 #include <iostream>
-#warning "To use helloworld.cpp as given in the wiki, instead of make examples, change the following two includes lines."
+
+#ifdef CVC4_MAKE_EXAMPLES
 #include "smt/smt_engine.h" // for use with make examples
-//#include <cvc4/cvc4.h> // To follow the wiki
+#else
+#include <cvc4/cvc4.h>      // To follow the wiki
+#endif /* CVC4_MAKE_EXAMPLES */
+
 using namespace CVC4;
 int main() {
   ExprManager em;
-- 
2.30.2