Option 4 sounds good and I'll keep it in mind, but for now I would like to follow through with option 3. I pulled the branch of the ticket and had no issues there. Then I ran `./sage -i normaliz` again. Upgrading Sage ran without problems as usual. Then I got the following error:
*********************************************** make[1]: Entering directory '/home/Ray/sage/sage/build/make' make[1]: *** No rule to make target 'antic', needed by '/home/Ray/sage/sage/local/var/lib/sage/installed/e_antic-1.2.0'. Stop. make[1]: Leaving directory '/home/Ray/sage/sage/build/make' real 0m0.170s user 0m0.124s sys 0m0.015s *************************************************************** Error building Sage. In case it helps, I attached the makefile. Sorry for all the inconveniences and thanks for the help! dim...@gmail.com schrieb am Montag, 1. August 2022 um 16:39:45 UTC+9: > Option 4 would be to use WSL instead of Cygwin. > > > On Mon, 1 Aug 2022, 07:29 Max Kölbl, <max.w....@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+...@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/73e8c6a5-aa1e-429d-8866-cd2a2950d492n%40googlegroups.com.
Makefile
Description: Binary data
