Re: Golf and black-hole solver

El dissabte, 18 de juliol de 2020, a les 15:36:43 CEST, Shlomi Fish va escriure:
> 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.

Will you please propose a Merge Request for it to be ON by default but still leave the OFF option for those that don't want to include libblack-hole-solver then?

Cheers,
  Albert

> 
> > Cheers,
> >   Albert
> > 
> > 
> 
> 
> 
>