From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 6 Jun 2014 20:29:28 +0000 (-0400)
Subject: rm warning from helloworld example
X-Git-Tag: cvc5-1.0.0~6852^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e687b6e1ae8afecb7e7280aad0538672e608818d;p=cvc5.git

rm warning from helloworld example
---

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;