Bug#907636: opam: "opam init" calls gringo that requires 3GB of memory
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
Reply to: