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/dfd4a6ce-cd8a-4303-b9c8-272b425add8fn%40googlegroups.com.
