diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-17 17:49:15 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-17 17:49:15 -0700 |
commit | 204d645e97bbacd948b5777b704f7b418577610a (patch) | |
tree | 59d062e0982a70b9205f26786d55551a8d9b0391 /src | |
parent | b8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516 (diff) |
Fix build without libpoly (#6759)
Commit f10087c3b347da6ef625a2ad92846551ad324d73 added new files that do
not compile without libpoly. This commit excludes those files when
building without libpoly. It also updates one of the regressions to
ignore a warning about approximate values in the model.
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arith/nl/cad/lazard_evaluation.cpp | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/lazard_evaluation.h | 5 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/theory/arith/nl/cad/lazard_evaluation.cpp b/src/theory/arith/nl/cad/lazard_evaluation.cpp index 82b127ed0..2fee21cbf 100644 --- a/src/theory/arith/nl/cad/lazard_evaluation.cpp +++ b/src/theory/arith/nl/cad/lazard_evaluation.cpp @@ -1,5 +1,7 @@ #include "theory/arith/nl/cad/lazard_evaluation.h" +#ifdef CVC5_POLY_IMP + #include "base/check.h" #include "base/output.h" @@ -44,3 +46,5 @@ std::vector<poly::Interval> LazardEvaluation::infeasibleRegions( } } // namespace cvc5::theory::arith::nl::cad + +#endif diff --git a/src/theory/arith/nl/cad/lazard_evaluation.h b/src/theory/arith/nl/cad/lazard_evaluation.h index 0edb12010..3bb971c4c 100644 --- a/src/theory/arith/nl/cad/lazard_evaluation.h +++ b/src/theory/arith/nl/cad/lazard_evaluation.h @@ -19,6 +19,8 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__LAZARD_EVALUATION_H #define CVC5__THEORY__ARITH__NL__CAD__LAZARD_EVALUATION_H +#ifdef CVC5_POLY_IMP + #include <poly/polyxx.h> #include <memory> @@ -106,4 +108,5 @@ class LazardEvaluation } // namespace cvc5::theory::arith::nl::cad -#endif
\ No newline at end of file +#endif +#endif |