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 >>>> >>>> <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/4e2bae6a-cf1e-440f-984f-87d926dc5c34n%40googlegroups.com.
make --no-print-directory antic-SAGE_LOCAL-no-deps [antic-0.2.4] Attempting to download package antic-0.2.4.tar.gz from mirrors [antic-0.2.4] https://ftp.yz.yamagata-u.ac.jp/pub/math/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//ftp.yz.yamagata-u.ac.jp/pub/math/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://ftp.riken.jp/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//ftp.riken.jp/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] http://files.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//files.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.aliyun.com/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.aliyun.com/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.mit.edu/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.mit.edu/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror-hk.koddos.net/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror-hk.koddos.net/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.xmission.com/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.xmission.com/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.rcg.sfu.ca/mirror/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.rcg.sfu.ca/mirror/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.lyrahosting.com/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.lyrahosting.com/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://ftp.rediris.es/mirror/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//ftp.rediris.es/mirror/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.koddos.net/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.koddos.net/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.tuna.tsinghua.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.tuna.tsinghua.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.ufs.ac.za/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.ufs.ac.za/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.csclub.uwaterloo.ca/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.csclub.uwaterloo.ca/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.nju.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.nju.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.aarnet.edu.au/pub/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.aarnet.edu.au/pub/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.marwan.ma/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.marwan.ma/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.up.pt/pub/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.up.pt/pub/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://sagemath.c3sl.ufpr.br/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//sagemath.c3sl.ufpr.br/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirrors.ustc.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirrors.ustc.edu.cn/sagemath/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://mirror.dogado.de/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.dogado.de/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] https://sage.mirror.garr.it/mirrors/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//sage.mirror.garr.it/mirrors/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] http://linorg.usp.br/sage/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//linorg.usp.br/sage/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] http://sagepad.org/spkg/upstream/antic/antic-0.2.4.tar.gz [antic-0.2.4] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [antic-0.2.4] ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//sagepad.org/spkg/upstream/antic/antic-0.2.4.tar.gz' [antic-0.2.4] ************************************************************************
