It seems like my biggest problem is the fact that I'm using Cygwin rather than anything else. Unfortunately I can't use WSL because my OS is too old (Windows 8), so I decided to finally switch to Linux instead. Thanks to everyone for your help and for giving me very good reason to switch! Matthias Koeppe schrieb am Donnerstag, 4. August 2022 um 01:59:55 UTC+9:
> Help is needed with the giac package on Cygwin. See > https://trac.sagemath.org/ticket/34269 > > On Wednesday, August 3, 2022 at 7:28:32 AM UTC-7 max.w....@gmail.com > wrote: > >> Thank you for the suggestion! >> I ran it and a completely unrelated problem with giac occured (log >> attached). >> >> I sincerely hope that anybody else finds this thread useful because I >> don't want to waste anyone's times with trivial problems. >> dim...@gmail.com schrieb am Dienstag, 2. August 2022 um 20:09:59 UTC+9: >> >>> I guess this version of antic is not on the mirrors yet. run >>> >>> ./configure --enable-download-from-upstream-url >>> >>> then it should work. >>> >>> On Tue, Aug 2, 2022 at 9:51 AM Max Kölbl <max.w....@gmail.com> wrote: >>> > >>> > Thank you! That worked. Now `make` seems to have instructions it can >>> follow. >>> > It tried to download antic-0.2.4 from a list of different mirrors, >>> none of which provides it at the moment (see attachment for details). >>> > Is that deliberate? Or is something on my machine misconfigured again? >>> > >>> > Matthias Koeppe schrieb am Dienstag, 2. August 2022 um 12:56:56 UTC+9: >>> >> >>> >> You may need to run "./bootstrap" >>> >> >>> >> On Monday, August 1, 2022 at 7:37:53 PM UTC-7 max.w....@gmail.com >>> wrote: >>> >>> >>> >>> 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. >>> >>> >>> > >>> > -- >>> > 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/4e2bae6a-cf1e-440f-984f-87d926dc5c34n%40googlegroups.com. >>> >>> >>> >> -- 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/cff139a7-bf8e-4111-8ca5-d1fdea7bfd86n%40googlegroups.com.
