Thanks everyone for the suggestions! I tried (and failed with) both options 1 and 2, and now I would like to try option 3. However, if I'm being honest, I have no idea what to do. What do I need and how does one pull a branch from a ticket?
Than you very much in advance! Matthias Koeppe schrieb am Samstag, 30. Juli 2022 um 02:33:50 UTC+9: > On Friday, July 29, 2022 at 7:35:37 AM UTC-7 vdelecroix wrote: > >> Your compilation problem comes from the fact that antic >> (https://github.com/wbhart/antic) is not available. You should install >> it first. If you are familiar with (or curious about) >> compilation/installation in the sage environment you can install the >> full normaliz stack manually. Otherwise you might just want to wait >> for the upgrade ticket to be ready. >> > > Clearly there is a third option: Max can just pull the branch from the > upgrade ticket and try it. > There's no need to build the dependencies by hand > > > > > > > -- 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/a1d7f630-f213-4c0e-ba12-497d75fb1121n%40googlegroups.com.