From: Gereon Kremer <gkremer@stanford.edu>
Date: Mon, 24 Jan 2022 21:43:28 +0000 (-0800)
Subject: Always compile RANs (#7979)
X-Git-Tag: cvc5-1.0.0~513
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ef48e6f4385ef6ff914ad102287e1dc409703718;p=cvc5.git

Always compile RANs (#7979)

This PR makes sure that we always compile with real algebraic numbers, following #7976.
---

diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index f711fa824..bfa67d9c1 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -52,6 +52,8 @@ libcvc5_add_sources(
   resource_manager.h
   result.cpp
   result.h
+  real_algebraic_number_poly_imp.cpp
+  real_algebraic_number_poly_imp.h
   regexp.cpp
   regexp.h
   roundingmode.cpp
@@ -88,7 +90,3 @@ endif()
 if(CVC5_USE_GMP_IMP)
   libcvc5_add_sources(rational_gmp_imp.cpp integer_gmp_imp.cpp)
 endif()
-
-if(CVC5_USE_POLY_IMP)
-  libcvc5_add_sources(real_algebraic_number_poly_imp.cpp real_algebraic_number_poly_imp.h)
-endif()