Bug#907636: opam: "opam init" calls gringo that requires 3GB of memory

[Samuel Hym <samuel.hym+bugs@rustyne.lautre.net>]

Le 08 septembre 2018 à 13h23, Samuel Hym disait :

> Hi Nicolas,
> 
> Le 08 septembre 2018 à 02h27, Nicolas Braud-Santoni disait :
> 
> > Can you try giving the flag --use-internal-solver to opam ?
> 
> I had tried but the internal solver seems to be disabled.

I talked too fast, before updating my machine. This is fixed by
updating from 2.0.0-1 to 2.0.0-2.

But, even after update, "opam init" without "--use-internal-solver"
does launch aspcud. I killed it quite fast, so I didn’t check whether
the update to opam changed the memory requirements for gringo.

Best,
Samuel