diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-12 15:50:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-12 15:50:44 -0700 |
| commit | fa79faf9e6ca816e8310f96c95623633e63f7bef (patch) | |
| tree | 68fa35482a018f277abfec85499d49e323194a21 /examples | |
| parent | f4f11801394afa718a5125e4386704a72e74ca48 (diff) | |
Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461)
Diffstat (limited to 'examples')
| -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() { |