rm warning from helloworld example

diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am
index 0d023637642f23ea6bb531c1fe434398c4d7d2ed..3508f9900bbfb1fc96cd03944e04caf53a58f3bc 100644 (file)
--- 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 b74f229b673a17cc1ca279621d73414ecaf9baf5..4c62874b8e074379acf6cb27811a0c7fba44e91d 100644 (file)
--- 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;