On Wednesday, July 15, 2020 at 12:38:31 PM UTC-7, Andrey Novoseltsev wrote: > > On Wednesday, 15 July 2020 10:38:46 UTC-6, Matthias Koeppe wrote: >> >> Andrey, actually could you try if installing "cmake" from the system >> package manager (and doing "make cmake-clean") fixes this problem? >> We ship an ancient version of cmake in sage. >> > > Does not seem to make any difference! >
Could you post the build log of cryptominisat with the new version of cmake anyway? -- 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/996fb25f-071b-466a-bd87-aefc61c674fdo%40googlegroups.com.
