diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/api/Makefile.am | 2 | ||||
-rw-r--r-- | examples/api/helloworld.cpp | 8 |
2 files changed, 8 insertions, 2 deletions
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; |