Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#70481 - [cryptominisat5] update dependencies

Attached to Project: Community Packages
Opened by loqs (loqs) - Friday, 16 April 2021, 22:54 GMT
Last edited by Antonio Rojas (arojas) - Saturday, 17 April 2021, 08:20 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
Upstream removed support for tbb [1] so it is no longer a dependency. Mysql is no longer supported [2] so the NOMYSQL option is no longer needed.
libcryptominisat5.so which both binaries link to links to libsqlite3.so.0 but is not listed in depends or optdepends. It is a transitive build dependency via binutils -> elfutils.
PKGBUILD.diff adds sqlite to depends, remove tbb from depends, drops the NOMYSQL option and updates the list of possible options.


Additional info:
* cryptominisat5 5.8.0-4
[1] https://github.com/msoos/cryptominisat/commit/f06d9f38714a9a67bbd8416aa7639711c4877e53
[2] https://github.com/msoos/cryptominisat/commit/abd7ab83e242829e875397dedbba4227d4ef7647
   PKGBUILD.diff (1.4 KiB)
This task depends upon

Closed by  Antonio Rojas (arojas)
Saturday, 17 April 2021, 08:20 GMT
Reason for closing:  Fixed
Additional comments about closing:  cryptominisat5 5.8.0-5

Loading...