Re: Golf and black-hole solver

Hi Albert,

On Fri, 17 Jul 2020 21:27:17 +0200
Albert Astals Cid <[email protected]> wrote:

> It's disabled by default.
> 
> Is that what you wanted?
> 
> Should it be enabled by default?
> 

Yes, that was my intention AFAIR. I don't mind toggling the default to
"ON"/"TRUE"/etc. but note that it requires libblack-hole-solver to be present
in order to build or run. And some distributions/OSes do not have it packaged.
It is MITLed though.

> Cheers,
>   Albert
> 
> 



-- 

Shlomi Fish       https://www.shlomifish.org/
https://www.shlomifish.org/humour/ways_to_do_it.html

Question: What is the difference between Chuck Norris and God?
Answer: Chuck Norris knows he isn’t God.
    — https://www.shlomifish.org/humour/bits/facts/Chuck-Norris/

Please reply to list if it's a mailing list post - https://shlom.in/reply .