diff options
-rw-r--r-- | examples/api/Makefile.am | 4 | ||||
-rw-r--r-- | examples/api/helloworld-new.cpp | 1 | ||||
-rw-r--r-- | examples/api/helloworld.cpp | 7 |
3 files changed, 3 insertions, 9 deletions
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() { |