Thanks, Matthias. I will try to remember to check the timestamps next time.
- Marc On Tue, Nov 14, 2023 at 12:56 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > 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 a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/rBvXdVKC4nw/unsubscribe. > To unsubscribe from this group and all its topics, 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 > <https://groups.google.com/d/msgid/sage-devel/96d12845-208c-46cb-966b-8a991ef4a68cn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CALcZXRE3M%2BuV-Hd69%2BJdt3aAEZJcW8JhzFi0%3DpcdB%2BgFGndBrA%40mail.gmail.com.