On Fri, Nov 17, 2023 at 5:15 PM Matthias Koeppe
<matthiaskoe...@gmail.com> wrote:
>
> On Friday, November 17, 2023 at 1:14:54 AM UTC-8 Dima Pasechnik wrote:
>
>
> On 17 November 2023 04:35:53 GMT, Matthias Koeppe <matthia...@gmail.com> 
> wrote:
> >Or we just let pillow use a system libjpeg if it finds one.
>
> With a dummy package we can have doctests,
> with #optional tag, checking that this all works.
>
>
> No, that's not true.
>
> 1) For dummy packages, there is no stamp file in 
> local/var/lib/sage/installed/, which is where our "# optional" tags have 
> traditionally come from. For example, pandoc is a dummy package, and you 
> won't see it there whether it's installed in the system or not.
>
> 2) "# optional" tags can be established by runtime Feature tests. Again, with 
> the example of pandoc, see 
> https://doc.sagemath.org/html/en/reference/spkg/sage/features/pandoc.html

why do we even need runtime Feature tests? This is a leftover from the
times one could  install Sage packages in a Sage session, something
that is long gone,
as far as I know.

Why can't Features be set up by ./configure ? You'll tell me that
(some) distributions don't run ./configure, but this is beside the
point.
They have ways to know what's installed and what's not installed.


>
>
> --
> 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/3dea5580-39b4-4033-95a3-0c826cc2860fn%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/CAAWYfq3ZrGJhWLaekUvZD6LrUdCc%2Bgrcp-aKpb3TVg4bb7vtzQ%40mail.gmail.com.

Reply via email to