I have added this as a task to https://trac.sagemath.org/ticket/30453
On Friday, November 12, 2021 at 2:17:05 PM UTC-8 Matthias Koeppe wrote: > No, we should revise the documentation so that it does not advertise "make > ....test" any more. > > On Friday, November 12, 2021 at 2:09:12 PM UTC-8 Dima Pasechnik wrote: > >> On Friday, November 12, 2021 at 8:20:24 PM UTC Matthias Koeppe wrote: >> >>> Yes, if one is not using the Sage distribution for build, one should >>> also not use it for testing. >>> Use "sage -t". >>> >> >> that's not nice. Should we have a ./configure option that just blesses >> all deps as "coming from the system"? >> >> >> >>> >>> On Friday, November 12, 2021 at 10:39:47 AM UTC-8 Dima Pasechnik wrote: >>> >>>> On Fri, Nov 12, 2021 at 5:01 PM Matthias Koeppe >>>> <matthia...@gmail.com> wrote: >>>> > >>>> > On Friday, November 12, 2021 at 2:42:09 AM UTC-8 Dima Pasechnik >>>> wrote: >>>> >> >>>> >> On Friday, November 12, 2021 at 6:36:00 AM UTC Matthias Koeppe >>>> wrote: >>>> >>> >>>> >>> I have updated the instructions. >>>> >> >>>> >> >>>> >> Thanks - are these tested? >>>> > >>>> > >>>> > Yes, I tested them on macOS Big Sur. >>>> >>>> hmm, by design, or in error, "make ptest" starts building all the >>>> dependencies, e.g. maxima. >>>> So that's not a usual environment - perhaps it should be mentioned. >>>> >>>> >>>> > >>>> > >>>> > >>>> > -- >>>> > 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/7cffbfcd-ef4c-48a4-a2ae-126677315662n%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/e5edb1b7-3459-438e-b679-1a284d338950n%40googlegroups.com.
