On Fri, Nov 12, 2021 at 10:17 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > No, we should revise the documentation so that it does not advertise "make > ....test" any more.
No, if we use autotools/make to build a project, there should be meaningful make targets for testing too, force people to learn peculiarities of tox or whatever the latest Python testing rage is, is wrong. > > 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/b316b9ed-c5d9-4ac6-9717-ffb275ea267fn%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/CAAWYfq2dQvjFjXN4KP1psY52qxLT5YyS4WjuTpvvi2SgWf5zAw%40mail.gmail.com.
