From 3535d5bf820b4a7577692946de445e0d6a83b8bf Mon Sep 17 00:00:00 2001 From: Chen Xu Date: Fri, 1 Nov 2024 07:39:53 -0400 Subject: [PATCH] libarb is has been rolled into libflint-arb. CMakeFileList.txt needs to be updated. Fixes #311 A quick workaround so that we can compile with flint/arb --- CMakeLists.txt | 6 ++++-- src/detail/arb.cpp | 10 +++++----- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 90d38420..980928e3 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -365,7 +365,8 @@ endif() # Optional dependency on Arb. if(MPPP_WITH_ARB) find_package(mp++_FLINT REQUIRED) - find_package(mp++_Arb REQUIRED) + # ARB has been merged into FLINT. + # find_package(mp++_Arb REQUIRED) # Check support for certain Arb functions. set(CMAKE_REQUIRED_INCLUDES "${MPPP_ARB_INCLUDE_DIR}") @@ -374,7 +375,8 @@ if(MPPP_WITH_ARB) unset(CMAKE_REQUIRED_INCLUDES) unset(CMAKE_REQUIRED_LIBRARIES) - target_link_libraries(mp++ PRIVATE mp++::Arb mp++::FLINT) + #target_link_libraries(mp++ PRIVATE mp++::Arb mp++::FLINT) + target_link_libraries(mp++ PRIVATE mp++::FLINT) set(MPPP_ENABLE_ARB "#define MPPP_WITH_ARB") endif() diff --git a/src/detail/arb.cpp b/src/detail/arb.cpp index 598a8b88..a7f35175 100644 --- a/src/detail/arb.cpp +++ b/src/detail/arb.cpp @@ -23,14 +23,14 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include #if defined(MPPP_WITH_MPC) -#include +#include #endif