diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 16:29:28 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 16:29:28 -0400 |
| commit | e687b6e1ae8afecb7e7280aad0538672e608818d (patch) | |
| tree | 8b4a143b02b0797714cbb93328bfe51ac846e291 | |
| parent | 5b2fc4b690f9358dac09b057285c54a6df7c543e (diff) | |
rm warning from helloworld example
| -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; |