diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-17 09:06:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 00:06:31 -0700 |
commit | 0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549 (patch) | |
tree | 8df7919ddfa7e3d3b6207f61edddfac6ed204305 /src/base/configuration_private.h | |
parent | 2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8 (diff) |
Integration of libpoly (#4679)
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration.
Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
Diffstat (limited to 'src/base/configuration_private.h')
-rw-r--r-- | src/base/configuration_private.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 9c58e7898..906cf831d 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -138,6 +138,12 @@ namespace CVC4 { #define IS_LFSC_BUILD false #endif /* CVC4_USE_LFSC */ +#if CVC4_USE_POLY +#define IS_POLY_BUILD true +#else /* CVC4_USE_POLY */ +#define IS_POLY_BUILD false +#endif /* CVC4_USE_POLY */ + #if HAVE_LIBREADLINE # define IS_READLINE_BUILD true #else /* HAVE_LIBREADLINE */ |