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
dan@danny.cz changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |dan@danny.cz
------- Additional Comments From dan@danny.cz 2008-06-17 06:50 EST ------- Reviewing a package is a volunteer process, so you cannot expect that there are no delays in the communication. So removing a reviewer is at least unpolite.
Now some answers - %{_includedir}/satsolver - this includes both the directory and the files in the directory (and any deeper hierarchy), so use it - $RPM_OPT_FLAGS - there should be a way how to pass own CFLAGS into the compile process done with cmake, I think/hope :-) - static libraries - then you should investigate, how to enable building of shared libraries, using static libs is allowed only in very very special cases