I don't think this happens in normal development. When this happens in your setup, check the mtime of the timestamps in local/var/lib/sage/installed.
On Tuesday, November 14, 2023 at 9:37:09 AM UTC-8 Marc Culler wrote: > For me, one of the most frustrating parts of building sage is that, > whenever a build fails, the make system decides that gmp is out of date and > hence I have to wait for it to recompile gmp and all of its dependencies. > > Is this intentional? > > Does anyone know why it happens? > > Is it avoidable? > > Or am I the only one who sees this? > > - Marc > > -- 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/96d12845-208c-46cb-966b-8a991ef4a68cn%40googlegroups.com.
