-
Notifications
You must be signed in to change notification settings - Fork 274
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support ARB with Flint 3 #1988
Support ARB with Flint 3 #1988
Conversation
Arb is now a part of flint
Doesn't work here with Flint 3.0.1
|
set(FLINT_TARGETS flint) | ||
|
||
file(READ "${FLINT_INCLUDE_DIR}/flint/flint.h" FLINT_H) | ||
string(REGEX MATCH "#define FLINT_VERSION \"([0-9.]*)\"" _ ${FLINT_H}) | ||
set(FLINT_VERSION ${CMAKE_MATCH_1}) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@antonio-rojas, can you print the value of ${FLINT_VERSION}
here?
Looking at the Arch Linux build I see the following
I'm not sure how |
@antonio-rojas, you need flintlib/flint@88bcb2e backported. |
Thanks. Still doesn't build with flint 3 as it doesn't account for API changes, see https://gitlab.archlinux.org/archlinux/packaging/packages/symengine/-/blob/main/flint-3.patch?ref_type=heads#L29-61 |
I think you also need 1ef9855 |
Missed that, sorry. Tried with master now to make sure there's no other commit missing, but it looks like there's still a missing
|
No worries. Thanks for checking. |
All good now. |
Arb is now a part of flint
Fixes #1987