> On Jun 5, 2023, at 8:48 AM, Thierry Arnoux <[email protected]> wrote:
>
> Yes, the PR has not been merged in yet, so until then you will need check my
> branch out.
>
> This feature required an "XML" library and I've kept it optional, so you will
> only be able to access it if the program is compiled with the "xml" feature,
> like so:
>
> cargo run --features xml -- ../set.mm/set.mm --time --export-graphml-deps
> deps.graphml
>
> Or
>
> cargo build --features xml
I appreciate making it optional.
Can you make it so the *default* is to include it, and then optionally exclude
it?
That way, people can use options to build it for special purposes, but the
"out of the box" functionality has whatever people might like?
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/03E6D2BE-FC76-4663-A563-9BE08D9DF2A1%40dwheeler.com.
