Option 4 would be to use WSL instead of Cygwin.
On Mon, 1 Aug 2022, 07:29 Max Kölbl, <max.w.koe...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/sage-devel/a1d7f630-f213-4c0e-ba12-497d75fb1121n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq0LZ035pfFV8RkTpS%2BRwkNZEyRFB5w1uYTn1zL_-%2BHrWQ%40mail.gmail.com.
