diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2012-10-03 14:59:48 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2012-10-03 15:07:31 +0300 |
| commit | 4dd8c58df9aa2e7821a7d5bb50407033858ed1c3 (patch) | |
| tree | 30d79f7cb8222f5fc468f94a89d2c794a95976b1 /.gitignore | |
| parent | 081155c438c0680b868175c95d160f1e3b519541 (diff) | |
| download | apk-tools-4dd8c58df9aa2e7821a7d5bb50407033858ed1c3.tar.gz apk-tools-4dd8c58df9aa2e7821a7d5bb50407033858ed1c3.tar.bz2 apk-tools-4dd8c58df9aa2e7821a7d5bb50407033858ed1c3.tar.xz apk-tools-4dd8c58df9aa2e7821a7d5bb50407033858ed1c3.zip | |
solver: various fixes
* push_decision expects to always get the package primary 'name'
as apk_name. ASSERT that and fix problem cases.
(though - this might need to be reverted, and store the non
primary name in apk_decision instead to accomodate for better
backtracking optimizations)
* fix error reporting of virtual package names
* make 'assign_name' errors soft. the incorrect packages just are
no longer consider instead of aborting whole calculation.
* fix backtracking of virtual packages that are not depended
directly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions