Skip to content
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.

Sign up for GitHub

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

Jump to bottom

upgrade to flint3 #35848

Merged
merged 9 commits into from
Dec 6, 2023
Merged

upgrade to flint3 #35848

merged 9 commits into from
Dec 6, 2023

Commits on Nov 13, 2023

  1. upgrade to flint 3.0.0 

    - remove arb and antic
- patch msolve (patch is already upstream but not yet in a release)
    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    8c68abf View commit details
    Browse the repository at this point in the history

  2. make sagelib build with flint3

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    d0348c1 View commit details
    Browse the repository at this point in the history

  3. test that sagemath#20003 is fixed

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    ef24184 View commit details
    Browse the repository at this point in the history

  4. simplify flint spkg-configure for flint3 

    - flint no longer depends on ntl
- HAVE_GC no longer exists
    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    3ea9f98 View commit details
    Browse the repository at this point in the history

  5. some undocumented removals noticed by Vincent

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    21f18dd View commit details
    Browse the repository at this point in the history

  6. update tests for flint3

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    5e02c5e View commit details
    Browse the repository at this point in the history

  7. missing includes 

    (thanks to Gonzalo Tornaría)
    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    516b65a View commit details
    Browse the repository at this point in the history

  8. stricter gmp version check, for flint3's benefit

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    e03f6c4 View commit details
    Browse the repository at this point in the history

  9. patch flint to fix handling of DESTDIR

    @mezzarobba
    mezzarobba committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    27351b5 View commit details
    Browse the repository at this point in the history