OCaml Opam Installations-Depext-Fehler

OCaml Opam Installations-Depext-Fehler

Ich habe Probleme mit der Installation von Depext, das ist offensichtlich ein großer Reinfall.

Durch Ausführen dieses Befehls

opam install depext

Ich erhalte diesen Fehler

[ERROR] Solver failed: "/usr/bin/aspcud
        /home/toto/.opam/log/solver-in-4016-5f1023
        /home/toto/.opam/log/solver-out-4016-58c514
        -count(removed),-sum(request,version-lag),-count(down),-sum(solution,version-lag),-count(changed)"
        exited with code 1 "ERROR: grounder returned with non-zero exit status"

Ich verwende dies tatsächlich auf einem Ubuntu 19.04 mit einer OCaml-Version von 4.05.0. Ich habe Opam bereits installiert, um die Abhängigkeiten von Liquidsoap zu erhalten, und bin diesem Tutorial gefolgt

https://www.linuxjournal.com/content/creating-internet-radio-station-icecast-and-liquidsoap 

Ich werde Liquidsoap mithilfe des Apt-Pakets installieren.

Wie dem auch sei, ich bin neugierig auf die Gründe für den Installationsfehler.

Danke schön.

Antwort1

Das aspcudmacht Mist, also habe ich beschlossen, es mccsals externen Solver zu verwenden.

Konfigurationsdetails finden Sie hier:

https://stackoverflow.com/questions/59448052/how-to-define-mccs-clingo-as-a-opam-solver-instead-of-aspcud/59459896#59459896

verwandte Informationen