Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
https://bugzilla.redhat.com/show_bug.cgi?id=442714
------- Additional Comments From terjeros@phys.ntnu.no 2008-07-05 09:31 EST -------
Upstream says that they're doing such way because of the still unstable API. Since they're stabilising the API they say that they will be providing shared libraries in the near future.
If you must use static libs, then at least follow the guidelines:
https://fedoraproject.org/wiki/Packaging/Guidelines#Packaging_Static_Librari...
Add Provides for sat-solver-static and add Buildrequires: sat-solver-static to libzypp/zypper packages.
When package is included open a bug against the package regarding the static libs issue.