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 ---


Reply via email to