From ef48e6f4385ef6ff914ad102287e1dc409703718 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 24 Jan 2022 13:43:28 -0800 Subject: [PATCH] Always compile RANs (#7979) This PR makes sure that we always compile with real algebraic numbers, following #7976. --- src/util/CMakeLists.txt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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() -- 2.30.2