PS: On 2021-11-14, Simon King <simon.k...@uni-jena.de> wrote: > On 2021-11-14, Dima Pasechnik <dimp...@gmail.com> wrote: >> hmm, if you really checked out the latest version and have done >> `make distclean`, then it should have worked (it does work, you know).
In other words: With the latest develop version, even "make distclean" didn't work. And with the latest master version, "make distclean" did eventually work, but "make" didn't. Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/smqfm0%24ncf%241%40ciao.gmane.io.
