On Friday, July 31, 2020 at 5:12:23 PM UTC-7, Samuel Lelievre wrote: > > > Is the following another instance of the same broken logic? > > Configuring with > ``` > $ ./configure > --with-system-gmp=no \ > --with-system-mpir=no \ > --with-mp=mpir \ > ``` > leads to both gmp and mpir being built. > > Expected: mpir needs to be built but not gmp, > and thus we skip building gmp. > > That's right -- and this reminded me that we already have a ticket for that: https://trac.sagemath.org/ticket/29620
I have added your gcc/gfortran example to it. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/611258f9-ccea-4056-bea7-6d92568c20c6o%40googlegroups.com.
