From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 12 Sep 2018 22:50:44 +0000 (-0700)
Subject: Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)
X-Git-Tag: cvc5-1.0.0~4656
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fa79faf9e6ca816e8310f96c95623633e63f7bef;p=cvc5.git

Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)
---

diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am
index 6cde8b98d..a36819e5c 100644
--- 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 7957741e5..484995143 100644
--- 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 f90c332ba..667faed50 100644
--- 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() {