[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #52 from Lorenzo Villani lvill...@binaryhelix.net 2010-08-23 06:48:46 EDT --- (In reply to comment #51) So, by that very logic, it should be satsolver-libs in Fedora. AFAIK, the -libs suffix is used when an application also happens to ship libraries usable by 3rd parties. So for pure libraries only name and name-devel are necessary, IIRC. Feel free to suggest; discussion was already started on similar hot topic http://lists.opensuse.org/opensuse-buildservice/2010-07/msg00179.html Following the if it ain't broken, don't fix it motto, I'd like to push this package as satsolver (not sat-solver) and rename it only if needed. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #50 from Lorenzo Villani lvill...@binaryhelix.net 2010-08-20 13:49:56 EDT --- (In reply to comment #49) Upstream isn't always the best :) In openSUSE itself, the package is called libsatsolver (not libsat-solver nor sat-solver nor satsolver). It's called libsatsolver because they usually prefix library packages with lib, IIRC. [...] In that regard, sat-solver with a dash seems to be a relic name of the repository. The most correct name is, probably, satsolver. It's a generic (and probably misleading) name. Maybe I can rename this package to satsolver now and, should some conflict arise, rename it again later. Suggestions welcome (-: -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #51 from Jan Engelhardt jeng...@medozas.de 2010-08-20 14:06:01 EDT --- It's called libsatsolver because they usually prefix library packages with lib, IIRC. So, by that very logic, it should be satsolver-libs in Fedora. (Though the Fedora naming scheme always felt strange. What will be done if you need two versions. libfoo1 and libfoo2 work out, but foo-libs and foo-libs - you see the clash.) satsolver. It's a generic Feel free to suggest; discussion was already started on similar hot topic http://lists.opensuse.org/opensuse-buildservice/2010-07/msg00179.html -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 Jan Engelhardt jeng...@medozas.de changed: What|Removed |Added CC||jeng...@medozas.de --- Comment #49 from Jan Engelhardt jeng...@medozas.de 2010-08-05 10:12:35 EDT --- In response to comment #27: sat-solver is the upstream name. I just packaged it with it's original name. Upstream isn't always the best :) In openSUSE itself, the package is called libsatsolver (not libsat-solver nor sat-solver nor satsolver). Its subpackages are also called perl-satsolver (not perl-sat-solver). In that regard, sat-solver with a dash seems to be a relic name of the repository. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #48 from Lorenzo Villani lvill...@binaryhelix.net 2010-05-23 09:52:12 EDT --- (In reply to comment #47) zypper and lib-zypper has a BR on sat-solver-static but I don't find it in your mock build. It is a virtual Provide from sat-solver-devel (http://fedoraproject.org/wiki/Packaging/Guidelines#Packaging_Static_Libraries) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #46 from Lorenzo Villani lvill...@binaryhelix.net 2010-05-22 15:32:48 EDT --- SPEC: http://gitorious.org/lvillani/specs/blobs/raw/master/sat-solver/sat-solver.spec SRPM: http://fedorapeople.org/~arbiter/repo/fedora/13/SRPM/sat-solver-0.15.0-1.fc13.src.rpm Test (mock) builds for F13 here: http://fedorapeople.org/~arbiter/repo/fedora/13/ Patch submitted upstream. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 Rahul Sundaram sunda...@redhat.com changed: What|Removed |Added CC||sunda...@redhat.com --- Comment #47 from Rahul Sundaram sunda...@redhat.com 2010-05-22 16:00:51 EDT --- zypper and lib-zypper has a BR on sat-solver-static but I don't find it in your mock build. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 Rahul Sundaram methe...@gmail.com changed: What|Removed |Added CC||methe...@gmail.com --- Comment #45 from Rahul Sundaram methe...@gmail.com 2010-04-23 08:00:39 EDT --- It fails to build on Fedora 13 because of the ld change --- /usr/bin/ld: ../ext/libsatsolverext.a(repo_rpmdb.o): undefined reference to symbol 'pgpPrtPkts' /usr/bin/ld: note: 'pgpPrtPkts' is defined in DSO /usr/lib/librpmio.so.1 so try adding it to the linker command line /usr/lib/librpmio.so.1: could not read symbols: Invalid operation collect2: ld returned 1 exit status --- Details on how to fix is at http://lists.fedoraproject.org/pipermail/devel-announce/2010-February/000563.html -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 --- Comment #44 from Lorenzo Villani lvill...@binaryhelix.net 2010-03-30 05:44:46 EDT --- (In reply to comment #43) Please have in mind that sat-solver is highly optimized for solving package dependencies. Are you suggesting me to use a different package name... It is also a _static_ library which is being linked into libzypp and used nowhere else (yet). ... and to build sat-solver along with libzypp source package? (I don't know if I can do that). -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=442714 Pavol Rusnak st...@gk2.sk changed: What|Removed |Added CC||st...@gk2.sk --- Comment #43 from Pavol Rusnak st...@gk2.sk 2010-03-24 18:38:34 EDT --- Please have in mind that sat-solver is highly optimized for solving package dependencies. It is also a _static_ library which is being linked into libzypp and used nowhere else (yet). -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email --- You are receiving this mail because: --- You are on the CC list for the bug. ___ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review