FS#60394 - [opam] Spurious hard dep on aspcud

Attached to Project: Community Packages
Opened by Fnord Popos (noddy) - Friday, 12 October 2018, 18:24 GMT
Last edited by Alexander F. Rødseth (xyproto) - Wednesday, 17 October 2018, 08:33 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Alexander F. Rødseth (xyproto)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

opam's PKGBUILD lists aspcud in depends=(), but as of opam 2.0, this is no longer needed.

https://opam.ocaml.org/doc/External_solvers.html:

> As of 2.0.0, opam comes with a CUDF solver built-in by default, so unless you
> have specifically compiled without it, you shouldn't have to be worried about
> installing an external solver. However, these are still supported, and can be
> useful in some specific cases.

If solver preferences are left intact, opam 2.0 never invokes aspcud.

I propose one of the following:

- move aspcud to optdepends=() in opam; or
- drop aspcud. No longer the preferred CUDF backend, it is merely one of the 4 supported -- and optional -- external solvers. It can be removed from [community] together with its dep clingo.
This task depends upon

Closed by  Alexander F. Rødseth (xyproto)
Wednesday, 17 October 2018, 08:33 GMT
Reason for closing:  Fixed
Comment by Alexander F. Rødseth (xyproto) - Tuesday, 16 October 2018, 19:14 GMT
Thanks for reporting! I will make one of the proposed changes.
Comment by Alexander F. Rødseth (xyproto) - Wednesday, 17 October 2018, 08:31 GMT
Removed the dependency on aspcud. The updated opam package will appear in [community] shortly.

Loading...