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

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

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.

--- 8< ---

<><> Creating initial switch (ocaml-system>=4.02.3) <><><><><><><><><><><><><><>
[ERROR] No available solver found. Make sure your solver configuration is correct. This opam has been compiled
        without a built-in solver, so you need to install and configure an external one. See
        http://opam.ocaml.org/doc/Install.html#ExternalSolvers for details.

--- >8 ---

Best,
Samuel