giac's problem might be fixable by https://trac.sagemath.org/ticket/34152
So you can pull this branch on top, and re-run ./bootstrap, followed by make build On Wed, 3 Aug 2022, 15:28 Max Kölbl, <max.w.koe...@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/90077feb-e5fa-4eea-9486-aea068507cf2n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/90077feb-e5fa-4eea-9486-aea068507cf2n%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/CAAWYfq3YQLeFCnVAi9m075yxEQg3REDP%2B1aZoH5-jbw_ov3Vdg%40mail.gmail.com.
