Andrey, did you see this comment? On Wednesday, July 15, 2020 at 1:48:02 PM UTC-7, Matthias Koeppe wrote: > > Are you sure you did "make cmake-clean"? The last build log still seems to > be using a cmake from SAGE_LOCAL > > On Wednesday, July 15, 2020 at 1:02:20 PM UTC-7, Andrey Novoseltsev wrote: >> >> Here it is, for some reason much bigger than before, maybe there are >> several versions - are logs overwritten on each attempt? I forgot to make >> cmake-clean first, but the last one was after installing cmake from Ubuntu >> and then doing "make cmake-clean" in sage root. >> >
-- 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/85143a8a-b4dd-447e-96bf-229acf17c033o%40googlegroups.com.