[zypp-devel] Dependency Resolution
Hi, As part of the One Click install GSoC project, I would require to resolve dependencies in packages. I am planning to use SAT solver for this purpose. I tried looking up references on how to use it and even generated docs using doxygen, but could not get much further on it. I need some guidance on how to achieve this. Regards,. Saurabh -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org To contact the owner, e-mail: zypp-devel+owner@opensuse.org
On Wed, Apr 25, 2012 at 03:13:06PM +0530, Saurabh Sood wrote:
As part of the One Click install GSoC project, I would require to resolve dependencies in packages. I am planning to use SAT solver for this purpose. I tried looking up references on how to use it and even generated docs using doxygen, but could not get much further on it. I need some guidance on how to achieve this.
If the target is an opensuse system, you really should interface with libzypp instead of libsolv, so that you view of the world matches the view of the software stack. Cheers, Michael. -- Michael Schroeder mls@suse.de SUSE LINUX Products GmbH, GF Jeff Hawn, HRB 16746 AG Nuernberg main(_){while(_=~getchar())putchar(~_-1/(~(_|32)/13*2-11)*13);} -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org To contact the owner, e-mail: zypp-devel+owner@opensuse.org
Dne 25.4.2012 11:48, Michael Schroeder napsal(a):
On Wed, Apr 25, 2012 at 03:13:06PM +0530, Saurabh Sood wrote:
As part of the One Click install GSoC project, I would require to resolve dependencies in packages. I am planning to use SAT solver for this purpose. I tried looking up references on how to use it and even generated docs using doxygen, but could not get much further on it. I need some guidance on how to achieve this.
If the target is an opensuse system, you really should interface with libzypp instead of libsolv, so that you view of the world matches the view of the software stack.
If you use libzypp then you can just simply call zypp_ptr()->resolver()->resolvePool(); If the there are dependency problems is returns false, in that case you can get the details by zypp::ResolverProblemList problems = zypp_ptr()->resolver()->problems(); Then you can iterate over the list and display possible solutions in UI. -- Best Regards Ladislav Slezák Yast Developer ------------------------------------------------------------------------ SUSE LINUX, s.r.o. e-mail: lslezak@suse.cz Lihovarská 1060/12 tel: +420 284 028 960 190 00 Prague 9 fax: +420 284 028 951 Czech Republic http://www.suse.cz/ -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org To contact the owner, e-mail: zypp-devel+owner@opensuse.org
On Wednesday 25 April 2012 11:43:06 Saurabh Sood wrote:
As part of the One Click install GSoC project, I would require to resolve dependencies in packages. I am planning to use SAT solver for this purpose. I tried looking up references on how to use it and even generated docs using doxygen, but could not get much further on it. I need some guidance on how to achieve this.
Wouldn't it be better to use it through one of the high-level libraries
instead of using it directly?
--
Cornelius Schumacher
participants (4)
-
Cornelius Schumacher -
Ladislav Slezak -
Michael Schroeder -
Saurabh Sood