On Tue, 2023-11-14 at 09:42 -0800, Marc Culler wrote: > Of course I meant that I have to wait for everything that *depends on* gmp > to be recompiled. Also, this happens when there is nothing wrong with the > gmp build. The make system decides that it is out of date even though the > build was successful and the package was installed.
I think most of us have the system copy of gmp detected by ./configure, so there could very well be a bug that we haven't noticed. But ideally you should also be using the system copy of gmp. Does ./configure say why the system copy is unsuitable? -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/25eeaa1d9b467afe24e61994e324a4f120c49b75.camel%40orlitzky.com.