This didn't work (make failed to find a target for "random-clean") ; furthermore, Sage displayed a "failure to build Sage" notice at further attempts.
In fact, nothing worked short of "make distclean ; ./configure ; make", which mercifully worked with apparent success... Le lundi 8 juin 2020 09:16:21 UTC+2, Dima Pasechnik a écrit : > > the end of your attachment suggests > > sage -f random > > for some reason > [ Snip... ] HTH, -- 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/866b4e66-1fe7-4d9a-bec7-a9e06f7206b9o%40googlegroups.com.
