FS#56917 - [opam] missing dependency on clingo

Attached to Project: Community Packages
Opened by Daniel Playfair Cal (hedgepigdaniel) - Monday, 01 January 2018, 12:08 GMT
Last edited by Eli Schwartz (eschwartz) - Tuesday, 02 January 2018, 11:57 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: opam package in community has missing dependency on clingo


Additional info:
* package version(s) opam 1.2.2-4
* config and/or log files etc.




Steps to reproduce:
Install opam and try running `opam init`. The output for me is as follows:

```
[daniel@danielpc-arch ~]$ opam init
Checking for available remotes: rsync and local, git, mercurial.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


=-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] synchronized from https://opam.ocaml.org
[WARNING] External solver failed:
# opam-version 1.2.2
# os linux
# command aspcud /home/daniel/.opam/log/solver-in-14702-63c3c6 /home/daniel/.opam/log/solver-out-14702-fa8811 -count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
# path /home/daniel
# exit-code 1
# env-file /home/daniel/.opam/log/log-14702-aa1d2f.env
# stdout-file /home/daniel/.opam/log/log-14702-aa1d2f.out
# stderr-file /home/daniel/.opam/log/log-14702-aa1d2f.err
### stderr ###
# ERROR: grounder returned with non-zero exit status

[ERROR] External solver failure, please fix your installation and check /home/daniel/.opam/config and variable $OPAMEXTERNALSOLVER.
You may also retry with option --use-internal-solver
[ERROR] Initialisation failed
OpamGlobals.Exit(66)
```

The gringo binary is part of the clingo package
This task depends upon

Closed by  Eli Schwartz (eschwartz)
Tuesday, 02 January 2018, 11:57 GMT
Reason for closing:  Duplicate
Additional comments about closing:   FS#56799 
Comment by Daniel Playfair Cal (hedgepigdaniel) - Monday, 01 January 2018, 12:13 GMT
Correction: this is the actual log with the relevant error:

[daniel@danielpc-arch ~]$ opam init
Checking for available remotes: rsync and local, git, mercurial.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


=-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] synchronized from https://opam.ocaml.org
[WARNING] External solver failed:
# opam-version 1.2.2
# os linux
# command aspcud /home/daniel/.opam/log/solver-in-16072-63c3c6 /home/daniel/.opam/log/solver-out-16072-fa8811 -count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
# path /home/daniel
# exit-code 1
# env-file /home/daniel/.opam/log/log-16072-aa1d2f.env
# stdout-file /home/daniel/.opam/log/log-16072-aa1d2f.out
# stderr-file /home/daniel/.opam/log/log-16072-aa1d2f.err
### stderr ###
# error: executing gringo failed (No such file or directory)
# error: gringo returned with non-zero exit status

[ERROR] External solver failure, please fix your installation and check /home/daniel/.opam/config and variable $OPAMEXTERNALSOLVER.
You may also retry with option --use-internal-solver
[ERROR] Initialisation failed
OpamGlobals.Exit(66)

Loading...