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 f711fa824cdf856da5d21f58b5cd619a62dfd879..bfa67d9c13aab5ac0de0369fd96f7d0a174d178f 100644 (file)
--- 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()