From 452efb4bfe87f1628185c8b5c40acf4533c93c46 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 4 Mar 2021 20:36:02 +0100 Subject: Add proper define for libpoly usage (#6050) When adding libpoly, we forgot to add a proper define to cvc4autoconfig and included real_algebraic_number.h everywhere to get this define. This PR introduces the CVC4_POLY_IMP define and removes all obsolete includes to real_algebraic_number.h. --- cmake/ConfigureCVC4.cmake | 2 ++ 1 file changed, 2 insertions(+) (limited to 'cmake') diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index 6da71dc64..9c160e4fc 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -95,5 +95,7 @@ check_c_source_compiles( set(CVC4_CLN_IMP ${CVC4_USE_CLN_IMP}) # Defined if using the GMP multi-precision arithmetic library. set(CVC4_GMP_IMP ${CVC4_USE_GMP_IMP}) +# Defined if using the libpoly polynomial library. +set(CVC4_POLY_IMP ${CVC4_USE_POLY_IMP}) # Define the full name of this package. set(CVC4_PACKAGE_NAME "${PROJECT_NAME}") -- cgit v1.2.3