Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)

diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am
index 6cde8b98d02ccaa6c04ab78c9a28111d93ee7fed..a36819e5c32a15f68cb179761af683a682f7c25a 100644 (file)
--- a/examples/api/Makefile.am
+++ b/examples/api/Makefile.am
@@ -74,14 +74,10 @@ extract_new_LDADD = \
 
 helloworld_SOURCES = \
        helloworld.cpp
-helloworld_CXXFLAGS = \
-       -DCVC4_MAKE_EXAMPLES
 helloworld_LDADD = \
        @builddir@/../../src/libcvc4.la
 helloworld_new_SOURCES = \
        helloworld-new.cpp
-helloworld_new_CXXFLAGS = \
-       -DCVC4_MAKE_EXAMPLES
 helloworld_new_LDADD = \
        @builddir@/../../src/libcvc4.la
 

diff --git a/examples/api/helloworld-new.cpp b/examples/api/helloworld-new.cpp
index 7957741e5061b226cdd472a8439d1e3abcf96c73..484995143ad529bffe87a81433b39ee91b941796 100644 (file)
--- a/examples/api/helloworld-new.cpp
+++ b/examples/api/helloworld-new.cpp
@@ -16,6 +16,7 @@
 
 #include <iostream>
 
+//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
 #include "api/cvc4cpp.h"
 
 using namespace CVC4::api;

diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp
index f90c332ba54a78b9ba2fbd207828c9cfb51f269b..667faed50d1f2e4c847c2c7465a3bd71ef386747 100644 (file)
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -16,11 +16,8 @@
 
 #include <iostream>
 
-#ifdef CVC4_MAKE_EXAMPLES
-#include "smt/smt_engine.h" // for use with make examples
-#else
-#include <cvc4/cvc4.h>      // To follow the wiki
-#endif /* CVC4_MAKE_EXAMPLES */
+//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
+#include "smt/smt_engine.h"
 
 using namespace CVC4;
 int main() {