]> git.saurik.com Git - apt.git/blame - apt-pkg/depcache.cc
no value for MultiArch field is 'no', not 'none'
[apt.git] / apt-pkg / depcache.cc
CommitLineData
6c139d6e
AL
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
e7b470ee 3// $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
6c139d6e
AL
4/* ######################################################################
5
6 Dependency Cache - Caches Dependency information.
7
8 ##################################################################### */
9 /*}}}*/
10// Include Files /*{{{*/
ea542140
DK
11#include<config.h>
12
094a497d 13#include <apt-pkg/depcache.h>
2c085486 14#include <apt-pkg/versionmatch.h>
094a497d 15#include <apt-pkg/error.h>
b2e465d6 16#include <apt-pkg/sptr.h>
afb1e2e3 17#include <apt-pkg/fileutl.h>
fa3b0945 18#include <apt-pkg/strutl.h>
afb1e2e3 19#include <apt-pkg/configuration.h>
8b32e920 20#include <apt-pkg/aptconfiguration.h>
afb1e2e3 21#include <apt-pkg/tagfile.h>
472ff00e 22#include <apt-pkg/progress.h>
2b5c35c7 23#include <apt-pkg/cacheset.h>
453b82a3
DK
24#include <apt-pkg/pkgcache.h>
25#include <apt-pkg/cacheiterators.h>
9112f777 26#include <apt-pkg/cachefile.h>
453b82a3 27#include <apt-pkg/macros.h>
120365ce 28
453b82a3
DK
29#include <stdio.h>
30#include <string.h>
31#include <list>
32#include <string>
33#include <utility>
34#include <vector>
2b5c35c7 35#include <algorithm>
120365ce 36#include <iostream>
b1a8717a 37#include <set>
d4c5f11f 38
8a3a2e99
MV
39#include <sys/stat.h>
40
ea542140 41#include <apti18n.h>
92fcbfc1 42 /*}}}*/
8f3ba4e8
DK
43
44using std::string;
45
92fcbfc1 46// helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
cb1933df
MV
47static bool
48ConfigValueInSubTree(const char* SubTree, const char *needle)
49{
50 Configuration::Item const *Opts;
51 Opts = _config->Tree(SubTree);
52 if (Opts != 0 && Opts->Child != 0)
53 {
54 Opts = Opts->Child;
55 for (; Opts != 0; Opts = Opts->Next)
56 {
57 if (Opts->Value.empty() == true)
58 continue;
59 if (strcmp(needle, Opts->Value.c_str()) == 0)
60 return true;
61 }
62 }
63 return false;
64}
92fcbfc1
DK
65 /*}}}*/
66pkgDepCache::ActionGroup::ActionGroup(pkgDepCache &cache) : /*{{{*/
6c55f07a 67 d(NULL), cache(cache), released(false)
74a05226
MV
68{
69 ++cache.group_level;
70}
71
72void pkgDepCache::ActionGroup::release()
73{
74 if(!released)
75 {
76 if(cache.group_level == 0)
77 std::cerr << "W: Unbalanced action groups, expect badness" << std::endl;
78 else
79 {
80 --cache.group_level;
81
82 if(cache.group_level == 0)
83 cache.MarkAndSweep();
84 }
85
ab60fb67 86 released = true;
74a05226
MV
87 }
88}
89
90pkgDepCache::ActionGroup::~ActionGroup()
91{
92 release();
93}
92fcbfc1 94 /*}}}*/
6c139d6e
AL
95// DepCache::pkgDepCache - Constructors /*{{{*/
96// ---------------------------------------------------------------------
97/* */
fd23676e 98pkgDepCache::pkgDepCache(pkgCache * const pCache,Policy * const Plcy) :
e8afd168
DK
99 group_level(0), Cache(pCache), PkgState(0), DepState(0),
100 iUsrSize(0), iDownloadSize(0), iInstCount(0), iDelCount(0), iKeepCount(0),
6c55f07a 101 iBrokenCount(0), iPolicyBrokenCount(0), iBadCount(0), d(NULL)
6c139d6e 102{
af29ffb4
MV
103 DebugMarker = _config->FindB("Debug::pkgDepCache::Marker", false);
104 DebugAutoInstall = _config->FindB("Debug::pkgDepCache::AutoInstall", false);
b2e465d6
AL
105 delLocalPolicy = 0;
106 LocalPolicy = Plcy;
107 if (LocalPolicy == 0)
108 delLocalPolicy = LocalPolicy = new Policy;
6c139d6e
AL
109}
110 /*}}}*/
111// DepCache::~pkgDepCache - Destructor /*{{{*/
112// ---------------------------------------------------------------------
113/* */
114pkgDepCache::~pkgDepCache()
115{
116 delete [] PkgState;
117 delete [] DepState;
b2e465d6 118 delete delLocalPolicy;
6c139d6e
AL
119}
120 /*}}}*/
6c139d6e
AL
121// DepCache::Init - Generate the initial extra structures. /*{{{*/
122// ---------------------------------------------------------------------
123/* This allocats the extension buffers and initializes them. */
fd23676e 124bool pkgDepCache::Init(OpProgress * const Prog)
6c139d6e 125{
74a05226
MV
126 // Suppress mark updates during this operation (just in case) and
127 // run a mark operation when Init terminates.
128 ActionGroup actions(*this);
129
6c139d6e
AL
130 delete [] PkgState;
131 delete [] DepState;
132 PkgState = new StateCache[Head().PackageCount];
133 DepState = new unsigned char[Head().DependsCount];
134 memset(PkgState,0,sizeof(*PkgState)*Head().PackageCount);
fd23676e 135 memset(DepState,0,sizeof(*DepState)*Head().DependsCount);
b2e465d6 136
a246f2dc
AL
137 if (Prog != 0)
138 {
139 Prog->OverallProgress(0,2*Head().PackageCount,Head().PackageCount,
db0db9fe
CP
140 _("Building dependency tree"));
141 Prog->SubProgress(Head().PackageCount,_("Candidate versions"));
a246f2dc 142 }
fd23676e 143
6c139d6e
AL
144 /* Set the current state of everything. In this state all of the
145 packages are kept exactly as is. See AllUpgrade */
a246f2dc 146 int Done = 0;
f7f0d6c7 147 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
6c139d6e 148 {
2edcefd5 149 if (Prog != 0 && Done%20 == 0)
a246f2dc 150 Prog->Progress(Done);
fd23676e 151
6c139d6e
AL
152 // Find the proper cache slot
153 StateCache &State = PkgState[I->ID];
154 State.iFlags = 0;
afb1e2e3 155
6c139d6e
AL
156 // Figure out the install version
157 State.CandidateVer = GetCandidateVer(I);
158 State.InstallVer = I.CurrentVer();
159 State.Mode = ModeKeep;
fd23676e 160
6c139d6e 161 State.Update(I,*this);
fd23676e
DK
162 }
163
a246f2dc
AL
164 if (Prog != 0)
165 {
a246f2dc
AL
166 Prog->OverallProgress(Head().PackageCount,2*Head().PackageCount,
167 Head().PackageCount,
db0db9fe
CP
168 _("Building dependency tree"));
169 Prog->SubProgress(Head().PackageCount,_("Dependency generation"));
a246f2dc 170 }
fd23676e 171
a246f2dc 172 Update(Prog);
e004867d
MV
173
174 if(Prog != 0)
175 Prog->Done();
74a05226 176
6c139d6e 177 return true;
fd23676e 178}
6c139d6e 179 /*}}}*/
fd23676e 180bool pkgDepCache::readStateFile(OpProgress * const Prog) /*{{{*/
a83d884d
MV
181{
182 FileFd state_file;
d34690e1 183 string const state = _config->FindFile("Dir::State::extended_states");
36f1098a 184 if(RealFileExists(state)) {
a83d884d 185 state_file.Open(state, FileFd::ReadOnly);
650faab0 186 off_t const file_size = state_file.Size();
bc80031f 187 if(Prog != NULL)
fd23676e 188 Prog->OverallProgress(0, file_size, 1,
bc80031f 189 _("Reading state information"));
a83d884d
MV
190
191 pkgTagFile tagfile(&state_file);
192 pkgTagSection section;
650faab0 193 off_t amt = 0;
e0b94b97 194 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
a83d884d 195 while(tagfile.Step(section)) {
e0b94b97
DK
196 string const pkgname = section.FindS("Package");
197 string pkgarch = section.FindS("Architecture");
198 if (pkgarch.empty() == true)
199 pkgarch = "any";
200 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
201 // Silently ignore unknown packages and packages with no actual version.
202 if(pkg.end() == true || pkg->VersionList == 0)
203 continue;
204
205 short const reason = section.FindI("Auto-Installed", 0);
206 if(reason > 0)
207 {
208 PkgState[pkg->ID].Flags |= Flag::Auto;
209 if (unlikely(debug_autoremove))
6ee2b0f8 210 std::clog << "Auto-Installed : " << pkg.FullName() << std::endl;
e0b94b97
DK
211 if (pkgarch == "any")
212 {
213 pkgCache::GrpIterator G = pkg.Group();
214 for (pkg = G.NextPkg(pkg); pkg.end() != true; pkg = G.NextPkg(pkg))
215 if (pkg->VersionList != 0)
216 PkgState[pkg->ID].Flags |= Flag::Auto;
217 }
a83d884d 218 }
e0b94b97
DK
219 amt += section.size();
220 if(Prog != NULL)
221 Prog->OverallProgress(amt, file_size, 1,
222 _("Reading state information"));
a83d884d 223 }
eef21b9f
DK
224 if(Prog != NULL)
225 Prog->OverallProgress(file_size, file_size, 1,
226 _("Reading state information"));
a83d884d
MV
227 }
228
229 return true;
230}
92fcbfc1 231 /*}}}*/
fd23676e 232bool pkgDepCache::writeStateFile(OpProgress * const /*prog*/, bool const InstalledOnly) /*{{{*/
a83d884d 233{
e0b94b97 234 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
95afdfd0
OS
235
236 if(debug_autoremove)
e23e6733
MV
237 std::clog << "pkgDepCache::writeStateFile()" << std::endl;
238
b1a8717a 239 FileFd StateFile;
d34690e1 240 string const state = _config->FindFile("Dir::State::extended_states");
1b671a9b
DK
241 if (CreateAPTDirectoryIfNeeded(_config->FindDir("Dir::State"), flNotFile(state)) == false)
242 return false;
9a9665f9
MV
243
244 // if it does not exist, create a empty one
1b671a9b 245 if(!RealFileExists(state))
9a9665f9 246 {
22041bd2 247 StateFile.Open(state, FileFd::WriteAtomic);
9a9665f9
MV
248 StateFile.Close();
249 }
250
251 // open it
b1a8717a
MV
252 if(!StateFile.Open(state, FileFd::ReadOnly))
253 return _error->Error(_("Failed to open StateFile %s"),
a83d884d
MV
254 state.c_str());
255
88593886
DK
256 FileFd OutFile(state, FileFd::ReadWrite | FileFd::Atomic);
257 if (OutFile.IsOpen() == false || OutFile.Failed() == true)
258 return _error->Error(_("Failed to write temporary StateFile %s"), state.c_str());
80fa0d8a 259
b1a8717a
MV
260 // first merge with the existing sections
261 pkgTagFile tagfile(&StateFile);
262 pkgTagSection section;
263 std::set<string> pkgs_seen;
b1a8717a 264 while(tagfile.Step(section)) {
c176c4d0 265 string const pkgname = section.FindS("Package");
e0b94b97
DK
266 string pkgarch = section.FindS("Architecture");
267 if (pkgarch.empty() == true)
268 pkgarch = "native";
b1a8717a
MV
269 // Silently ignore unknown packages and packages with no actual
270 // version.
e0b94b97 271 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
88593886 272 if(pkg.end() || pkg.VersionList().end())
b1a8717a 273 continue;
c176c4d0
DK
274 StateCache const &P = PkgState[pkg->ID];
275 bool newAuto = (P.Flags & Flag::Auto);
276 // skip not installed or now-removed ones if requested
277 if (InstalledOnly && (
278 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
279 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
280 {
281 // The section is obsolete if it contains no other tag
282 unsigned int const count = section.Count();
283 if (count < 2 ||
c67dc114
DK
284 (count == 2 && section.Exists("Auto-Installed")) ||
285 (count == 3 && section.Exists("Auto-Installed") && section.Exists("Architecture")))
c176c4d0
DK
286 continue;
287 else
288 newAuto = false;
289 }
b1a8717a 290 if(_config->FindB("Debug::pkgAutoRemove",false))
a1e42d1f 291 std::clog << "Update existing AutoInstall info: "
e0b94b97 292 << pkg.FullName() << std::endl;
88593886
DK
293
294 std::vector<pkgTagSection::Tag> rewrite;
295 rewrite.push_back(pkgTagSection::Tag::Rewrite("Architecture", pkg.Arch()));
296 rewrite.push_back(pkgTagSection::Tag::Rewrite("Auto-Installed", newAuto ? "1" : "0"));
297 section.Write(OutFile, NULL, rewrite);
298 if (OutFile.Write("\n", 1) == false)
299 return false;
e0b94b97 300 pkgs_seen.insert(pkg.FullName());
b1a8717a 301 }
88593886 302
b1a8717a 303 // then write the ones we have not seen yet
f7f0d6c7 304 for(pkgCache::PkgIterator pkg=Cache->PkgBegin(); !pkg.end(); ++pkg) {
c176c4d0
DK
305 StateCache const &P = PkgState[pkg->ID];
306 if(P.Flags & Flag::Auto) {
e0b94b97 307 if (pkgs_seen.find(pkg.FullName()) != pkgs_seen.end()) {
95afdfd0 308 if(debug_autoremove)
e0b94b97 309 std::clog << "Skipping already written " << pkg.FullName() << std::endl;
b1a8717a
MV
310 continue;
311 }
c176c4d0
DK
312 // skip not installed ones if requested
313 if (InstalledOnly && (
314 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
315 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
316 continue;
e0b94b97
DK
317 const char* const pkgarch = pkg.Arch();
318 if (strcmp(pkgarch, "all") == 0)
319 continue;
95afdfd0 320 if(debug_autoremove)
e0b94b97 321 std::clog << "Writing new AutoInstall: " << pkg.FullName() << std::endl;
88593886
DK
322 std::string stanza = "Package: ";
323 stanza.append(pkg.Name())
324 .append("\nArchitecture: ").append(pkgarch)
325 .append("\nAuto-Installed: 1\n\n");
326 if (OutFile.Write(stanza.c_str(), stanza.length()) == false)
327 return false;
a83d884d
MV
328 }
329 }
88593886
DK
330 if (OutFile.Close() == false)
331 return false;
8a3a2e99 332 chmod(state.c_str(), 0644);
a83d884d
MV
333 return true;
334}
92fcbfc1 335 /*}}}*/
6c139d6e
AL
336// DepCache::CheckDep - Checks a single dependency /*{{{*/
337// ---------------------------------------------------------------------
338/* This first checks the dependency against the main target package and
339 then walks along the package provides list and checks if each provides
340 will be installed then checks the provides against the dep. Res will be
341 set to the package which was used to satisfy the dep. */
fd23676e 342bool pkgDepCache::CheckDep(DepIterator const &Dep,int const Type,PkgIterator &Res)
6c139d6e
AL
343{
344 Res = Dep.TargetPkg();
345
346 /* Check simple depends. A depends -should- never self match but
347 we allow it anyhow because dpkg does. Technically it is a packaging
348 bug. Conflicts may never self match */
021626db 349 if (Dep.IsIgnorable(Res) == false)
6c139d6e 350 {
6c139d6e 351 // Check the base package
fd23676e
DK
352 if (Type == NowVersion)
353 {
71c9e95b 354 if (Res->CurrentVer != 0 && Dep.IsSatisfied(Res.CurrentVer()) == true)
6c139d6e 355 return true;
fd23676e
DK
356 }
357 else if (Type == InstallVersion)
358 {
71c9e95b
DK
359 if (PkgState[Res->ID].InstallVer != 0 &&
360 Dep.IsSatisfied(PkgState[Res->ID].InstVerIter(*this)) == true)
6c139d6e 361 return true;
fd23676e
DK
362 }
363 else if (Type == CandidateVersion)
71c9e95b
DK
364 if (PkgState[Res->ID].CandidateVer != 0 &&
365 Dep.IsSatisfied(PkgState[Res->ID].CandidateVerIter(*this)) == true)
6c139d6e
AL
366 return true;
367 }
fd23676e 368
b2e465d6
AL
369 if (Dep->Type == Dep::Obsoletes)
370 return false;
fd23676e 371
6c139d6e
AL
372 // Check the providing packages
373 PrvIterator P = Dep.TargetPkg().ProvidesList();
f7f0d6c7 374 for (; P.end() != true; ++P)
6c139d6e 375 {
85434114
DK
376 if (Dep.IsIgnorable(P) == true)
377 continue;
88a52816 378
6c139d6e
AL
379 // Check if the provides is a hit
380 if (Type == NowVersion)
381 {
382 if (P.OwnerPkg().CurrentVer() != P.OwnerVer())
383 continue;
384 }
fd23676e 385 else if (Type == InstallVersion)
6c139d6e
AL
386 {
387 StateCache &State = PkgState[P.OwnerPkg()->ID];
388 if (State.InstallVer != (Version *)P.OwnerVer())
389 continue;
390 }
fd23676e 391 else if (Type == CandidateVersion)
6c139d6e
AL
392 {
393 StateCache &State = PkgState[P.OwnerPkg()->ID];
394 if (State.CandidateVer != (Version *)P.OwnerVer())
395 continue;
396 }
fd23676e 397
6c139d6e 398 // Compare the versions.
887c6940 399 if (Dep.IsSatisfied(P) == true)
6c139d6e
AL
400 {
401 Res = P.OwnerPkg();
402 return true;
403 }
404 }
fd23676e 405
6c139d6e
AL
406 return false;
407}
408 /*}}}*/
409// DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
410// ---------------------------------------------------------------------
81305a0b 411/* Call with Inverse = true to preform the inverse opration */
6935cd05 412void pkgDepCache::AddSizes(const PkgIterator &Pkg, bool const Inverse)
81305a0b
DK
413{
414 StateCache &P = PkgState[Pkg->ID];
415
416 if (Pkg->VersionList == 0)
417 return;
418
419 if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
420 P.Keep() == true)
421 return;
422
423 // Compute the size data
424 if (P.NewInstall() == true)
425 {
426 if (Inverse == false) {
427 iUsrSize += P.InstVerIter(*this)->InstalledSize;
428 iDownloadSize += P.InstVerIter(*this)->Size;
429 } else {
430 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
431 iDownloadSize -= P.InstVerIter(*this)->Size;
432 }
433 return;
434 }
435
436 // Upgrading
437 if (Pkg->CurrentVer != 0 &&
438 (P.InstallVer != (Version *)Pkg.CurrentVer() ||
439 (P.iFlags & ReInstall) == ReInstall) && P.InstallVer != 0)
440 {
441 if (Inverse == false) {
442 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
443 iUsrSize += P.InstVerIter(*this)->InstalledSize;
444 iDownloadSize += P.InstVerIter(*this)->Size;
445 } else {
446 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
447 iUsrSize += Pkg.CurrentVer()->InstalledSize;
448 iDownloadSize -= P.InstVerIter(*this)->Size;
449 }
450 return;
451 }
452
453 // Reinstall
454 if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
455 P.Delete() == false)
456 {
457 if (Inverse == false)
458 iDownloadSize += P.InstVerIter(*this)->Size;
459 else
460 iDownloadSize -= P.InstVerIter(*this)->Size;
461 return;
462 }
463
464 // Removing
465 if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
466 {
467 if (Inverse == false)
468 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
469 else
470 iUsrSize += Pkg.CurrentVer()->InstalledSize;
d38b7b3d
AL
471 return;
472 }
6c139d6e
AL
473}
474 /*}}}*/
475// DepCache::AddStates - Add the package to the state counter /*{{{*/
476// ---------------------------------------------------------------------
477/* This routine is tricky to use, you must make sure that it is never
478 called twice for the same package. This means the Remove/Add section
479 should be as short as possible and not encompass any code that will
480 calld Remove/Add itself. Remember, dependencies can be circular so
481 while processing a dep for Pkg it is possible that Add/Remove
482 will be called on Pkg */
6935cd05 483void pkgDepCache::AddStates(const PkgIterator &Pkg, bool const Invert)
6c139d6e 484{
6935cd05 485 signed char const Add = (Invert == false) ? 1 : -1;
6c139d6e 486 StateCache &State = PkgState[Pkg->ID];
fd23676e 487
4ef9a929 488 // The Package is broken (either minimal dep or policy dep)
6c139d6e
AL
489 if ((State.DepState & DepInstMin) != DepInstMin)
490 iBrokenCount += Add;
4ef9a929
MV
491 if ((State.DepState & DepInstPolicy) != DepInstPolicy)
492 iPolicyBrokenCount += Add;
fd23676e 493
6c139d6e
AL
494 // Bad state
495 if (Pkg.State() != PkgIterator::NeedsNothing)
496 iBadCount += Add;
fd23676e 497
6c139d6e
AL
498 // Not installed
499 if (Pkg->CurrentVer == 0)
500 {
949e033c
DK
501 if (State.Mode == ModeDelete &&
502 (State.iFlags & Purge) == Purge && Pkg.Purge() == false)
d556d1a1 503 iDelCount += Add;
fd23676e 504
6c139d6e
AL
505 if (State.Mode == ModeInstall)
506 iInstCount += Add;
507 return;
508 }
fd23676e 509
6c139d6e 510 // Installed, no upgrade
6321777b 511 if (State.Status == 0)
fd23676e 512 {
6c139d6e
AL
513 if (State.Mode == ModeDelete)
514 iDelCount += Add;
d0c59649
AL
515 else
516 if ((State.iFlags & ReInstall) == ReInstall)
517 iInstCount += Add;
6c139d6e
AL
518 return;
519 }
fd23676e 520
6c139d6e
AL
521 // Alll 3 are possible
522 if (State.Mode == ModeDelete)
fd23676e
DK
523 iDelCount += Add;
524 else if (State.Mode == ModeKeep)
6c139d6e 525 iKeepCount += Add;
fd23676e 526 else if (State.Mode == ModeInstall)
6c139d6e
AL
527 iInstCount += Add;
528}
529 /*}}}*/
530// DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
531// ---------------------------------------------------------------------
532/* The or group results are stored in the last item of the or group. This
533 allows easy detection of the state of a whole or'd group. */
534void pkgDepCache::BuildGroupOrs(VerIterator const &V)
535{
536 unsigned char Group = 0;
f7f0d6c7 537 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
6c139d6e
AL
538 {
539 // Build the dependency state.
540 unsigned char &State = DepState[D->ID];
541
542 /* Invert for Conflicts. We have to do this twice to get the
543 right sense for a conflicts group */
359e46db 544 if (D.IsNegative() == true)
6c139d6e 545 State = ~State;
fd23676e 546
6c139d6e 547 // Add to the group if we are within an or..
d2685fd6 548 State &= 0x7;
6c139d6e
AL
549 Group |= State;
550 State |= Group << 3;
551 if ((D->CompareOp & Dep::Or) != Dep::Or)
552 Group = 0;
fd23676e 553
6c139d6e 554 // Invert for Conflicts
359e46db 555 if (D.IsNegative() == true)
6c139d6e 556 State = ~State;
fd23676e 557 }
6c139d6e
AL
558}
559 /*}}}*/
560// DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
561// ---------------------------------------------------------------------
562/* This is used to run over a dependency list and determine the dep
563 state of the list, filtering it through both a Min check and a Policy
564 check. The return result will have SetMin/SetPolicy low if a check
565 fails. It uses the DepState cache for it's computations. */
fd23676e
DK
566unsigned char pkgDepCache::VersionState(DepIterator D, unsigned char const Check,
567 unsigned char const SetMin,
568 unsigned char const SetPolicy) const
6c139d6e
AL
569{
570 unsigned char Dep = 0xFF;
6c139d6e
AL
571 while (D.end() != true)
572 {
fd23676e
DK
573 // the last or-dependency has the state of all previous or'ed
574 DepIterator Start, End;
575 D.GlobOr(Start, End);
576 // ignore if we are called with Dep{Install,…} or DepG{Install,…}
577 // the later would be more correct, but the first is what we get
578 unsigned char const State = DepState[End->ID] | (DepState[End->ID] >> 3);
579
6c139d6e
AL
580 // Minimum deps that must be satisfied to have a working package
581 if (Start.IsCritical() == true)
fd23676e 582 {
6c139d6e 583 if ((State & Check) != Check)
fd23676e
DK
584 return Dep &= ~(SetMin | SetPolicy);
585 }
6c139d6e 586 // Policy deps that must be satisfied to install the package
fd23676e 587 else if (IsImportantDep(Start) == true &&
6c139d6e
AL
588 (State & Check) != Check)
589 Dep &= ~SetPolicy;
590 }
6c139d6e
AL
591 return Dep;
592}
593 /*}}}*/
594// DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
595// ---------------------------------------------------------------------
596/* This is the main dependency computation bit. It computes the 3 main
597 results for a dependencys, Now, Install and Candidate. Callers must
598 invert the result if dealing with conflicts. */
fd23676e 599unsigned char pkgDepCache::DependencyState(DepIterator const &D)
6c139d6e
AL
600{
601 unsigned char State = 0;
fd23676e 602
6c139d6e
AL
603 if (CheckDep(D,NowVersion) == true)
604 State |= DepNow;
605 if (CheckDep(D,InstallVersion) == true)
606 State |= DepInstall;
607 if (CheckDep(D,CandidateVersion) == true)
608 State |= DepCVer;
fd23676e 609
6c139d6e
AL
610 return State;
611}
612 /*}}}*/
613// DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
614// ---------------------------------------------------------------------
615/* This determines the combined dependency representation of a package
616 for its two states now and install. This is done by using the pre-generated
617 dependency information. */
fd23676e 618void pkgDepCache::UpdateVerState(PkgIterator const &Pkg)
6c139d6e
AL
619{
620 // Empty deps are always true
621 StateCache &State = PkgState[Pkg->ID];
622 State.DepState = 0xFF;
623
624 // Check the Current state
625 if (Pkg->CurrentVer != 0)
626 {
627 DepIterator D = Pkg.CurrentVer().DependsList();
628 State.DepState &= VersionState(D,DepNow,DepNowMin,DepNowPolicy);
629 }
630
631 /* Check the candidate state. We do not compare against the whole as
632 a candidate state but check the candidate version against the
633 install states */
634 if (State.CandidateVer != 0)
635 {
636 DepIterator D = State.CandidateVerIter(*this).DependsList();
637 State.DepState &= VersionState(D,DepInstall,DepCandMin,DepCandPolicy);
638 }
639
640 // Check target state which can only be current or installed
641 if (State.InstallVer != 0)
642 {
643 DepIterator D = State.InstVerIter(*this).DependsList();
644 State.DepState &= VersionState(D,DepInstall,DepInstMin,DepInstPolicy);
645 }
646}
647 /*}}}*/
648// DepCache::Update - Figure out all the state information /*{{{*/
649// ---------------------------------------------------------------------
650/* This will figure out the state of all the packages and all the
651 dependencies based on the current policy. */
fd23676e 652void pkgDepCache::Update(OpProgress * const Prog)
6c139d6e
AL
653{
654 iUsrSize = 0;
655 iDownloadSize = 0;
6c139d6e 656 iInstCount = 0;
fb4c7643 657 iDelCount = 0;
6c139d6e
AL
658 iKeepCount = 0;
659 iBrokenCount = 0;
fb4c7643 660 iPolicyBrokenCount = 0;
6c139d6e 661 iBadCount = 0;
8b32e920 662
6c139d6e 663 // Perform the depends pass
a246f2dc 664 int Done = 0;
f7f0d6c7 665 for (PkgIterator I = PkgBegin(); I.end() != true; ++I, ++Done)
6c139d6e 666 {
2edcefd5 667 if (Prog != 0 && Done%20 == 0)
a246f2dc 668 Prog->Progress(Done);
f7f0d6c7 669 for (VerIterator V = I.VersionList(); V.end() != true; ++V)
6c139d6e
AL
670 {
671 unsigned char Group = 0;
8b32e920 672
f7f0d6c7 673 for (DepIterator D = V.DependsList(); D.end() != true; ++D)
6c139d6e
AL
674 {
675 // Build the dependency state.
676 unsigned char &State = DepState[D->ID];
b2e465d6 677 State = DependencyState(D);
6c139d6e
AL
678
679 // Add to the group if we are within an or..
680 Group |= State;
681 State |= Group << 3;
682 if ((D->CompareOp & Dep::Or) != Dep::Or)
683 Group = 0;
684
685 // Invert for Conflicts
359e46db 686 if (D.IsNegative() == true)
6c139d6e 687 State = ~State;
8b32e920 688 }
6c139d6e
AL
689 }
690
8b32e920 691 // Compute the package dependency state and size additions
6c139d6e
AL
692 AddSizes(I);
693 UpdateVerState(I);
694 AddStates(I);
695 }
a246f2dc 696
8b32e920 697 if (Prog != 0)
a246f2dc 698 Prog->Progress(Done);
74a05226
MV
699
700 readStateFile(Prog);
6c139d6e
AL
701}
702 /*}}}*/
703// DepCache::Update - Update the deps list of a package /*{{{*/
704// ---------------------------------------------------------------------
705/* This is a helper for update that only does the dep portion of the scan.
74a05226 706 It is mainly meant to scan reverse dependencies. */
6c139d6e
AL
707void pkgDepCache::Update(DepIterator D)
708{
709 // Update the reverse deps
f7f0d6c7 710 for (;D.end() != true; ++D)
6c139d6e
AL
711 {
712 unsigned char &State = DepState[D->ID];
713 State = DependencyState(D);
714
715 // Invert for Conflicts
359e46db 716 if (D.IsNegative() == true)
6c139d6e 717 State = ~State;
b2e465d6 718
6c139d6e
AL
719 RemoveStates(D.ParentPkg());
720 BuildGroupOrs(D.ParentVer());
721 UpdateVerState(D.ParentPkg());
722 AddStates(D.ParentPkg());
723 }
724}
725 /*}}}*/
726// DepCache::Update - Update the related deps of a package /*{{{*/
727// ---------------------------------------------------------------------
728/* This is called whenever the state of a package changes. It updates
729 all cached dependencies related to this package. */
730void pkgDepCache::Update(PkgIterator const &Pkg)
b2e465d6 731{
6c139d6e
AL
732 // Recompute the dep of the package
733 RemoveStates(Pkg);
734 UpdateVerState(Pkg);
735 AddStates(Pkg);
736
737 // Update the reverse deps
738 Update(Pkg.RevDependsList());
739
740 // Update the provides map for the current ver
741 if (Pkg->CurrentVer != 0)
742 for (PrvIterator P = Pkg.CurrentVer().ProvidesList();
f7f0d6c7 743 P.end() != true; ++P)
6c139d6e
AL
744 Update(P.ParentPkg().RevDependsList());
745
746 // Update the provides map for the candidate ver
9972233d
AL
747 if (PkgState[Pkg->ID].CandidateVer != 0)
748 for (PrvIterator P = PkgState[Pkg->ID].CandidateVerIter(*this).ProvidesList();
f7f0d6c7 749 P.end() != true; ++P)
9972233d 750 Update(P.ParentPkg().RevDependsList());
6c139d6e 751}
6c139d6e 752 /*}}}*/
6c139d6e
AL
753// DepCache::MarkKeep - Put the package in the keep state /*{{{*/
754// ---------------------------------------------------------------------
755/* */
3d619a20 756bool pkgDepCache::MarkKeep(PkgIterator const &Pkg, bool Soft, bool FromUser,
af29ffb4 757 unsigned long Depth)
6c139d6e 758{
dde0c674 759 if (IsModeChangeOk(ModeKeep, Pkg, Depth, FromUser) == false)
3d619a20 760 return false;
813c8eea
AL
761
762 /* Reject an attempt to keep a non-source broken installed package, those
763 must be upgraded */
764 if (Pkg.State() == PkgIterator::NeedsUnpack &&
765 Pkg.CurrentVer().Downloadable() == false)
3d619a20 766 return false;
74a05226 767
6c139d6e
AL
768 /* We changed the soft state all the time so the UI is a bit nicer
769 to use */
770 StateCache &P = PkgState[Pkg->ID];
dde0c674
DK
771
772 // Check that it is not already kept
773 if (P.Mode == ModeKeep)
3d619a20 774 return true;
dde0c674 775
6c139d6e
AL
776 if (Soft == true)
777 P.iFlags |= AutoKept;
778 else
779 P.iFlags &= ~AutoKept;
6c139d6e 780
dde0c674
DK
781 ActionGroup group(*this);
782
32085498
MV
783#if 0 // reseting the autoflag here means we lose the
784 // auto-mark information if a user selects a package for removal
785 // but changes his mind then and sets it for keep again
786 // - this makes sense as default when all Garbage dependencies
787 // are automatically marked for removal (as aptitude does).
788 // setting a package for keep then makes it no longer autoinstalled
1e3f4083 789 // for all other use-case this action is rather surprising
74a05226
MV
790 if(FromUser && !P.Marked)
791 P.Flags &= ~Flag::Auto;
32085498
MV
792#endif
793
af29ffb4 794 if (DebugMarker == true)
c3a85f49 795 std::clog << OutputInDepth(Depth) << "MarkKeep " << Pkg << " FU=" << FromUser << std::endl;
af29ffb4 796
6c139d6e
AL
797 RemoveSizes(Pkg);
798 RemoveStates(Pkg);
799
800 P.Mode = ModeKeep;
801 if (Pkg->CurrentVer == 0)
802 P.InstallVer = 0;
803 else
804 P.InstallVer = Pkg.CurrentVer();
805
806 AddStates(Pkg);
6c139d6e 807 Update(Pkg);
6c139d6e 808 AddSizes(Pkg);
3d619a20
DK
809
810 return true;
6c139d6e
AL
811}
812 /*}}}*/
813// DepCache::MarkDelete - Put the package in the delete state /*{{{*/
814// ---------------------------------------------------------------------
815/* */
3d619a20 816bool pkgDepCache::MarkDelete(PkgIterator const &Pkg, bool rPurge,
6910a2ac 817 unsigned long Depth, bool FromUser)
6c139d6e 818{
dde0c674 819 if (IsModeChangeOk(ModeDelete, Pkg, Depth, FromUser) == false)
3d619a20 820 return false;
6c139d6e 821
dde0c674 822 StateCache &P = PkgState[Pkg->ID];
74a05226 823
6c139d6e 824 // Check that it is not already marked for delete
d556d1a1
AL
825 if ((P.Mode == ModeDelete || P.InstallVer == 0) &&
826 (Pkg.Purge() == true || rPurge == false))
3d619a20 827 return true;
6c139d6e 828
dde0c674 829 // check if we are allowed to remove the package
6910a2ac 830 if (IsDeleteOk(Pkg,rPurge,Depth,FromUser) == false)
3d619a20 831 return false;
6910a2ac 832
dde0c674
DK
833 P.iFlags &= ~(AutoKept | Purge);
834 if (rPurge == true)
835 P.iFlags |= Purge;
836
837 ActionGroup group(*this);
838
af29ffb4 839 if (DebugMarker == true)
35db2f35 840 std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << Pkg << " FU=" << FromUser << std::endl;
af29ffb4 841
6c139d6e
AL
842 RemoveSizes(Pkg);
843 RemoveStates(Pkg);
844
d556d1a1 845 if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
3d615484
AL
846 P.Mode = ModeKeep;
847 else
848 P.Mode = ModeDelete;
6c139d6e 849 P.InstallVer = 0;
6c139d6e
AL
850
851 AddStates(Pkg);
852 Update(Pkg);
853 AddSizes(Pkg);
803ea2a8 854
3d619a20 855 return true;
6c139d6e
AL
856}
857 /*}}}*/
6910a2ac
DK
858// DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
859// ---------------------------------------------------------------------
dde0c674
DK
860/* The default implementation tries to prevent deletion of install requests.
861 dpkg holds are enforced by the private IsModeChangeOk */
6910a2ac
DK
862bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
863 unsigned long Depth, bool FromUser)
486d190d
DK
864{
865 return IsDeleteOkProtectInstallRequests(Pkg, rPurge, Depth, FromUser);
866}
867bool pkgDepCache::IsDeleteOkProtectInstallRequests(PkgIterator const &Pkg,
65512241 868 bool const /*rPurge*/, unsigned long const Depth, bool const FromUser)
6910a2ac 869{
dde0c674 870 if (FromUser == false && Pkg->CurrentVer == 0)
0c6aa02e
DK
871 {
872 StateCache &P = PkgState[Pkg->ID];
873 if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
874 {
875 if (DebugMarker == true)
876 std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << Pkg << std::endl;
877 return false;
878 }
879 }
dde0c674
DK
880 return true;
881}
882 /*}}}*/
883// DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
884// ---------------------------------------------------------------------
885/* this is used by all Mark methods on the very first line to check sanity
886 and prevents mode changes for packages on hold for example.
887 If you want to check Mode specific stuff you can use the virtual public
888 Is<Mode>Ok methods instead */
c3ccac92 889static char const* PrintMode(char const mode)
dde0c674
DK
890{
891 switch (mode)
892 {
893 case pkgDepCache::ModeInstall: return "Install";
894 case pkgDepCache::ModeKeep: return "Keep";
895 case pkgDepCache::ModeDelete: return "Delete";
8fa042ca 896 case pkgDepCache::ModeGarbage: return "Garbage";
dde0c674
DK
897 default: return "UNKNOWN";
898 }
899}
900bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
901 unsigned long const Depth, bool const FromUser)
902{
903 // we are not trying to hard…
904 if (unlikely(Depth > 100))
905 return false;
906
907 // general sanity
908 if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
909 return false;
910
cc26da01
DK
911 // the user is always right
912 if (FromUser == true)
913 return true;
914
915 StateCache &P = PkgState[Pkg->ID];
35f6b9ea
DK
916 // not changing the mode is obviously also fine as we might want to call
917 // e.g. MarkInstall multiple times with different arguments for the same package
918 if (P.Mode == mode)
919 return true;
cc26da01
DK
920
921 // if previous state was set by user only user can reset it
922 if ((P.iFlags & Protected) == Protected)
923 {
35f6b9ea 924 if (unlikely(DebugMarker == true))
cc26da01
DK
925 std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
926 << " of " << Pkg << " as its mode (" << PrintMode(P.Mode)
927 << ") is protected" << std::endl;
928 return false;
929 }
dde0c674 930 // enforce dpkg holds
cc26da01 931 else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
dde0c674
DK
932 _config->FindB("APT::Ignore-Hold",false) == false)
933 {
35f6b9ea 934 if (unlikely(DebugMarker == true))
dde0c674
DK
935 std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
936 << " of " << Pkg << std::endl;
937 return false;
938 }
939
6910a2ac
DK
940 return true;
941}
942 /*}}}*/
6c139d6e
AL
943// DepCache::MarkInstall - Put the package in the install state /*{{{*/
944// ---------------------------------------------------------------------
945/* */
2b5c35c7
DK
946struct CompareProviders {
947 pkgCache::PkgIterator const Pkg;
e8afd168 948 explicit CompareProviders(pkgCache::DepIterator const &Dep) : Pkg(Dep.TargetPkg()) {};
2b5c35c7
DK
949 //bool operator() (APT::VersionList::iterator const &AV, APT::VersionList::iterator const &BV)
950 bool operator() (pkgCache::VerIterator const &AV, pkgCache::VerIterator const &BV)
951 {
952 pkgCache::PkgIterator const A = AV.ParentPkg();
953 pkgCache::PkgIterator const B = BV.ParentPkg();
9bfd7b57
DK
954 // Prefer MA:same packages if other architectures for it are installed
955 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same ||
956 (BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
957 {
958 bool instA = false;
959 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
960 {
961 pkgCache::GrpIterator Grp = A.Group();
962 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
963 if (P->CurrentVer != 0)
964 {
965 instA = true;
966 break;
967 }
968 }
969 bool instB = false;
970 if ((BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
971 {
972 pkgCache::GrpIterator Grp = B.Group();
973 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
974 {
975 if (P->CurrentVer != 0)
976 {
977 instB = true;
978 break;
979 }
980 }
981 }
982 if (instA != instB)
983 return instA == false;
984 }
2b5c35c7
DK
985 // Prefer packages in the same group as the target; e.g. foo:i386, foo:amd64
986 if (A->Group != B->Group)
987 {
988 if (A->Group == Pkg->Group && B->Group != Pkg->Group)
989 return false;
990 else if (B->Group == Pkg->Group && A->Group != Pkg->Group)
991 return true;
992 }
993 // we like essentials
994 if ((A->Flags & pkgCache::Flag::Essential) != (B->Flags & pkgCache::Flag::Essential))
995 {
996 if ((A->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
997 return false;
998 else if ((B->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
999 return true;
1000 }
c5200869
JAK
1001 if ((A->Flags & pkgCache::Flag::Important) != (B->Flags & pkgCache::Flag::Important))
1002 {
1003 if ((A->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1004 return false;
1005 else if ((B->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1006 return true;
1007 }
2b5c35c7
DK
1008 // prefer native architecture
1009 if (strcmp(A.Arch(), B.Arch()) != 0)
1010 {
1011 if (strcmp(A.Arch(), A.Cache()->NativeArch()) == 0)
1012 return false;
1013 else if (strcmp(B.Arch(), B.Cache()->NativeArch()) == 0)
1014 return true;
1015 std::vector<std::string> archs = APT::Configuration::getArchitectures();
1016 for (std::vector<std::string>::const_iterator a = archs.begin(); a != archs.end(); ++a)
1017 if (*a == A.Arch())
1018 return false;
1019 else if (*a == B.Arch())
1020 return true;
1021 }
096bd9f5
CW
1022 // higher priority seems like a good idea
1023 if (AV->Priority != BV->Priority)
1024 return AV->Priority > BV->Priority;
2b5c35c7
DK
1025 // unable to decide…
1026 return A->ID < B->ID;
1027 }
1028};
3d619a20 1029bool pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
7610bb3d
MV
1030 unsigned long Depth, bool FromUser,
1031 bool ForceImportantDeps)
b2e465d6 1032{
dde0c674 1033 if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
3d619a20 1034 return false;
dde0c674
DK
1035
1036 StateCache &P = PkgState[Pkg->ID];
1037
1038 // See if there is even any possible instalation candidate
1039 if (P.CandidateVer == 0)
3d619a20 1040 return false;
74a05226 1041
6c139d6e
AL
1042 /* Check that it is not already marked for install and that it can be
1043 installed */
60681f93
MV
1044 if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
1045 (P.Mode == ModeInstall ||
6c139d6e
AL
1046 P.CandidateVer == (Version *)Pkg.CurrentVer()))
1047 {
1048 if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
3d619a20
DK
1049 return MarkKeep(Pkg, false, FromUser, Depth+1);
1050 return true;
6c139d6e 1051 }
b2e465d6 1052
be7ce6f1
DK
1053 // check if we are allowed to install the package
1054 if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
1055 return false;
6910a2ac 1056
dde0c674
DK
1057 ActionGroup group(*this);
1058 P.iFlags &= ~AutoKept;
1059
6c139d6e
AL
1060 /* Target the candidate version and remove the autoflag. We reset the
1061 autoflag below if this was called recursively. Otherwise the user
1062 should have the ability to de-auto a package by changing its state */
1063 RemoveSizes(Pkg);
1064 RemoveStates(Pkg);
1065
1066 P.Mode = ModeInstall;
1067 P.InstallVer = P.CandidateVer;
74a05226
MV
1068
1069 if(FromUser)
1070 {
e26a777c
DK
1071 // Set it to manual if it's a new install or already installed,
1072 // but only if its not marked by the autoremover (aptitude depend on this behavior)
1073 // or if we do automatic installation (aptitude never does it)
1074 if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
74a05226
MV
1075 P.Flags &= ~Flag::Auto;
1076 }
1077 else
1078 {
1079 // Set it to auto if this is a new install.
1080 if(P.Status == 2)
1081 P.Flags |= Flag::Auto;
1082 }
6c139d6e
AL
1083 if (P.CandidateVer == (Version *)Pkg.CurrentVer())
1084 P.Mode = ModeKeep;
1085
1086 AddStates(Pkg);
1087 Update(Pkg);
1088 AddSizes(Pkg);
6910a2ac 1089
98278a81 1090 if (AutoInst == false || _config->Find("APT::Solver", "internal") != "internal")
3d619a20 1091 return true;
6c139d6e 1092
af29ffb4 1093 if (DebugMarker == true)
c3a85f49 1094 std::clog << OutputInDepth(Depth) << "MarkInstall " << Pkg << " FU=" << FromUser << std::endl;
af29ffb4 1095
3cbeed98
DK
1096 VerIterator const PV = P.InstVerIter(*this);
1097 if (unlikely(PV.end() == true))
1098 return false;
1099 bool const PinNeverMarkAutoSection = (PV->Section != 0 && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", PV.Section()));
1100
1101 DepIterator Dep = PV.DependsList();
6c139d6e
AL
1102 for (; Dep.end() != true;)
1103 {
1104 // Grok or groups
1105 DepIterator Start = Dep;
1106 bool Result = true;
b2e465d6 1107 unsigned Ors = 0;
f7f0d6c7 1108 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
6c139d6e
AL
1109 {
1110 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1111
1112 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1113 Result = false;
1114 }
1115
1116 // Dep is satisfied okay.
1117 if (Result == false)
1118 continue;
1119
1120 /* Check if this dep should be consider for install. If it is a user
21b3eac8 1121 defined important dep and we are installed a new package then
4ef9a929 1122 it will be installed. Otherwise we only check for important
21b3eac8 1123 deps that have changed from the installed version */
6c139d6e
AL
1124 if (IsImportantDep(Start) == false)
1125 continue;
e92f6a18 1126
21b3eac8
DK
1127 /* If we are in an or group locate the first or that can
1128 succeed. We have already cached this… */
e92f6a18
DK
1129 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1130 ++Start;
21b3eac8
DK
1131
1132 /* unsatisfiable dependency: IsInstallOkDependenciesSatisfiableByCandidates
1133 would have prevented us to get here if not overridden, so just skip
1134 over the problem here as the frontend will know what it is doing */
e92f6a18 1135 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
21b3eac8 1136 continue;
e92f6a18 1137
0526822a
DB
1138 /* Check if any ImportantDep() (but not Critical) were added
1139 * since we installed the package. Also check for deps that
1140 * were satisfied in the past: for instance, if a version
1141 * restriction in a Recommends was tightened, upgrading the
1142 * package should follow that Recommends rather than causing the
1143 * dependency to be removed. (bug #470115)
1b1c2224 1144 */
6ed08516 1145 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1b1c2224 1146 {
6ed08516
DK
1147 bool isNewImportantDep = true;
1148 bool isPreviouslySatisfiedImportantDep = false;
1149 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1d722933 1150 {
6ed08516
DK
1151 //FIXME: Should we handle or-group better here?
1152 // We do not check if the package we look for is part of the same or-group
1153 // we might find while searching, but could that really be a problem?
1154 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1155 Start.TargetPkg() != D.TargetPkg())
1156 continue;
1157
1158 isNewImportantDep = false;
1159
1160 while ((D->CompareOp & Dep::Or) != 0)
1161 ++D;
1162
1163 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1164 if (isPreviouslySatisfiedImportantDep == true)
1165 break;
1166 }
1167
1168 if(isNewImportantDep == true)
1169 {
1170 if (DebugAutoInstall == true)
1171 std::clog << OutputInDepth(Depth) << "new important dependency: "
1172 << Start.TargetPkg().FullName() << std::endl;
1173 }
1174 else if(isPreviouslySatisfiedImportantDep == true)
1175 {
1176 if (DebugAutoInstall == true)
1177 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1178 << Start.TargetPkg().FullName() << std::endl;
1179 }
1180 else
1181 {
1182 if (DebugAutoInstall == true)
1183 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1184 << Start.TargetPkg().FullName() << std::endl;
1185 continue;
1d722933 1186 }
1b1c2224 1187 }
6ed08516 1188
1e3f4083 1189 /* This bit is for processing the possibility of an install/upgrade
074da097
DK
1190 fixing the problem for "positive" dependencies */
1191 if (Start.IsNegative() == false && (DepState[Start->ID] & DepCVer) == DepCVer)
6c139d6e 1192 {
9112f777
DK
1193 pkgCacheFile CacheFile(this);
1194 APT::VersionList verlist = APT::VersionList::FromDependency(CacheFile, Start, APT::CacheSetHelper::CANDIDATE);
2b5c35c7 1195 CompareProviders comp(Start);
b2e465d6 1196
66706285
DK
1197 do {
1198 APT::VersionList::iterator InstVer = std::max_element(verlist.begin(), verlist.end(), comp);
1199
1200 if (InstVer == verlist.end())
1201 break;
1202
2b5c35c7 1203 pkgCache::PkgIterator InstPkg = InstVer.ParentPkg();
af29ffb4
MV
1204 if(DebugAutoInstall == true)
1205 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1206 << " as " << Start.DepType() << " of " << Pkg.Name()
d4c5f11f 1207 << std::endl;
66706285
DK
1208 if (MarkInstall(InstPkg, true, Depth + 1, false, ForceImportantDeps) == false)
1209 {
1210 verlist.erase(InstVer);
1211 continue;
1212 }
c1e0a100 1213 // now check if we should consider it a automatic dependency or not
3cbeed98 1214 if(InstPkg->CurrentVer == 0 && PinNeverMarkAutoSection)
c1e0a100 1215 {
af29ffb4
MV
1216 if(DebugAutoInstall == true)
1217 std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1218 << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
c1e0a100
DK
1219 MarkAuto(InstPkg, false);
1220 }
66706285
DK
1221 break;
1222 } while(true);
6c139d6e
AL
1223 continue;
1224 }
074da097
DK
1225 /* Negative dependencies have no or-group
1226 If the dependency isn't versioned, we try if an upgrade might solve the problem.
1227 Otherwise we remove the offender if needed */
1228 else if (Start.IsNegative() == true && Start->Type != pkgCache::Dep::Obsoletes)
6c139d6e 1229 {
2b5c35c7 1230 SPtrArray<Version *> List = Start.AllTargets();
074da097 1231 pkgCache::PkgIterator TrgPkg = Start.TargetPkg();
6c139d6e
AL
1232 for (Version **I = List; *I != 0; I++)
1233 {
1234 VerIterator Ver(*this,*I);
1235 PkgIterator Pkg = Ver.ParentPkg();
308c7d30 1236
edbda33b
DK
1237 /* The List includes all packages providing this dependency,
1238 even providers which are not installed, so skip them. */
1239 if (PkgState[Pkg->ID].InstallVer == 0)
1240 continue;
1241
0dfc7eef
MV
1242 /* Ignore negative dependencies that we are not going to
1243 get installed */
1244 if (PkgState[Pkg->ID].InstallVer != *I)
1245 continue;
1246
074da097
DK
1247 if ((Start->Version != 0 || TrgPkg != Pkg) &&
1248 PkgState[Pkg->ID].CandidateVer != PkgState[Pkg->ID].InstallVer &&
1249 PkgState[Pkg->ID].CandidateVer != *I &&
a16dec4d
DK
1250 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps) == true)
1251 continue;
06f88117
MV
1252 else if (Start->Type == pkgCache::Dep::Conflicts ||
1253 Start->Type == pkgCache::Dep::DpkgBreaks)
1254 {
1255 if(DebugAutoInstall == true)
1256 std::clog << OutputInDepth(Depth)
1257 << " Removing: " << Pkg.Name()
1258 << std::endl;
1259 if (MarkDelete(Pkg,false,Depth + 1, false) == false)
1260 break;
1261 }
6c139d6e 1262 }
6c139d6e 1263 continue;
074da097 1264 }
6c139d6e 1265 }
3d619a20 1266
a16dec4d 1267 return Dep.end() == true;
6c139d6e 1268}
92fcbfc1 1269 /*}}}*/
6910a2ac 1270// DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
2d403b92 1271// ---------------------------------------------------------------------
486d190d
DK
1272/* The default implementation checks if the installation of an M-A:same
1273 package would lead us into a version-screw and if so forbids it.
dde0c674 1274 dpkg holds are enforced by the private IsModeChangeOk */
6910a2ac
DK
1275bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1276 unsigned long Depth, bool FromUser)
2d403b92 1277{
21b3eac8
DK
1278 return IsInstallOkMultiArchSameVersionSynced(Pkg,AutoInst, Depth, FromUser) &&
1279 IsInstallOkDependenciesSatisfiableByCandidates(Pkg,AutoInst, Depth, FromUser);
486d190d
DK
1280}
1281bool pkgDepCache::IsInstallOkMultiArchSameVersionSynced(PkgIterator const &Pkg,
65512241 1282 bool const /*AutoInst*/, unsigned long const Depth, bool const FromUser)
486d190d
DK
1283{
1284 if (FromUser == true) // as always: user is always right
1285 return true;
1286
be7ce6f1
DK
1287 // if we have checked before and it was okay, it will still be okay
1288 if (PkgState[Pkg->ID].Mode == ModeInstall &&
1289 PkgState[Pkg->ID].InstallVer == PkgState[Pkg->ID].CandidateVer)
1290 return true;
1291
486d190d
DK
1292 // ignore packages with none-M-A:same candidates
1293 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1294 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer() ||
1295 (CandVer->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
1296 return true;
1297
1298 GrpIterator const Grp = Pkg.Group();
1299 for (PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1300 {
98c9c26c
DK
1301 // not installed or self-check: fine by definition
1302 if (P->CurrentVer == 0 || P == Pkg)
1303 continue;
1304
1305 // not having a candidate or being in sync
486d190d 1306 // (simple string-compare as stuff like '1' == '0:1-0' can't happen here)
98c9c26c
DK
1307 VerIterator CV = PkgState[P->ID].CandidateVerIter(*this);
1308 if (CV.end() == true || strcmp(Pkg.CandVersion(), CV.VerStr()) == 0)
486d190d 1309 continue;
98c9c26c 1310
1e3f4083 1311 // packages losing M-A:same can be out-of-sync
98c9c26c 1312 if ((CV->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
486d190d
DK
1313 continue;
1314
1315 // not downloadable means the package is obsolete, so allow out-of-sync
1316 if (CV.Downloadable() == false)
1317 continue;
1318
1319 PkgState[Pkg->ID].iFlags |= AutoKept;
1320 if (unlikely(DebugMarker == true))
1321 std::clog << OutputInDepth(Depth) << "Ignore MarkInstall of " << Pkg
98c9c26c
DK
1322 << " as it is not in sync with its M-A:same sibling " << P
1323 << " (" << Pkg.CandVersion() << " != " << CV.VerStr() << ")" << std::endl;
486d190d
DK
1324 return false;
1325 }
1326
21b3eac8
DK
1327 return true;
1328}
1329bool pkgDepCache::IsInstallOkDependenciesSatisfiableByCandidates(PkgIterator const &Pkg,
1330 bool const AutoInst, unsigned long const Depth, bool const /*FromUser*/)
1331{
1332 if (AutoInst == false)
1333 return true;
1334
1335 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1336 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer())
1337 return true;
1338
1339 for (DepIterator Dep = CandVer.DependsList(); Dep.end() != true;)
1340 {
1341 // Grok or groups
1342 DepIterator Start = Dep;
1343 bool Result = true;
1344 unsigned Ors = 0;
1345 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
1346 {
1347 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1348
1349 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1350 Result = false;
1351 }
1352
1353 if (Start.IsCritical() == false || Start.IsNegative() == true || Result == false)
1354 continue;
1355
1356 /* If we are in an or group locate the first or that can succeed.
1357 We have already cached this… */
1358 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1359 ++Start;
1360
1361 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer)
1362 {
1363 if (DebugAutoInstall == true)
1364 std::clog << OutputInDepth(Depth) << Start << " can't be satisfied!" << std::endl;
1365
1366 // the dependency is critical, but can't be installed, so discard the candidate
1367 // as the problemresolver will trip over it otherwise trying to install it (#735967)
e41d3d7e 1368 if (Pkg->CurrentVer != 0 && (PkgState[Pkg->ID].iFlags & Protected) != Protected)
21b3eac8
DK
1369 SetCandidateVersion(Pkg.CurrentVer());
1370 return false;
1371 }
1372 }
1373
6910a2ac 1374 return true;
2d403b92
MV
1375}
1376 /*}}}*/
d0c59649
AL
1377// DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1378// ---------------------------------------------------------------------
1379/* */
1380void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1381{
1019948c
DK
1382 if (unlikely(Pkg.end() == true))
1383 return;
1384
9535a4db
DK
1385 APT::PackageList pkglist;
1386 if (Pkg->CurrentVer != 0 &&
1387 (Pkg.CurrentVer()-> MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1388 {
1389 pkgCache::GrpIterator Grp = Pkg.Group();
1390 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1391 {
1392 if (P->CurrentVer != 0)
1393 pkglist.insert(P);
1394 }
1395 }
1396 else
1397 pkglist.insert(Pkg);
1398
74a05226
MV
1399 ActionGroup group(*this);
1400
9535a4db
DK
1401 for (APT::PackageList::const_iterator Pkg = pkglist.begin(); Pkg != pkglist.end(); ++Pkg)
1402 {
1403 RemoveSizes(Pkg);
1404 RemoveStates(Pkg);
1405
1406 StateCache &P = PkgState[Pkg->ID];
1407 if (To == true)
1408 P.iFlags |= ReInstall;
1409 else
1410 P.iFlags &= ~ReInstall;
1411
1412 AddStates(Pkg);
1413 AddSizes(Pkg);
1414 }
d0c59649
AL
1415}
1416 /*}}}*/
b2e465d6
AL
1417// DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1418// ---------------------------------------------------------------------
1419/* */
27e8981a 1420void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
b2e465d6
AL
1421{
1422 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1423 StateCache &P = PkgState[Pkg->ID];
74a05226 1424
08fa1cab
DK
1425 if (P.CandidateVer == TargetVer)
1426 return;
1427
1428 ActionGroup group(*this);
1429
b2e465d6
AL
1430 RemoveSizes(Pkg);
1431 RemoveStates(Pkg);
1432
758729c8 1433 if (P.CandidateVer == P.InstallVer && P.Install() == true)
b2e465d6
AL
1434 P.InstallVer = (Version *)TargetVer;
1435 P.CandidateVer = (Version *)TargetVer;
1436 P.Update(Pkg,*this);
1437
1438 AddStates(Pkg);
1439 Update(Pkg);
1440 AddSizes(Pkg);
1019948c 1441
b2e465d6 1442}
08fa1cab 1443 /*}}}*/
2c085486
DK
1444// DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1445// ---------------------------------------------------------------------
1446/* changes the candidate of a package and walks over all its dependencies
1447 to check if it needs to change the candidate of the dependency, too,
1448 to reach a installable versionstate */
1449bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1450 std::string const &TargetRel)
1451{
1452 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1453 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1454}
1455bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1456 std::string const &TargetRel,
1457 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1458{
758729c8 1459 ActionGroup group(*this);
2c085486
DK
1460 SetCandidateVersion(TargetVer);
1461
1462 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1463 return true;
1464
1465 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1466 // save the position of the last element we will not undo - if we have to
1467 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1468
1469 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1470 {
1471 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1472 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1473 IsImportantDep(D) == false))
1474 continue;
1475
1476 // walk over an or-group and check if we need to do anything
1477 // for simpilicity no or-group is handled as a or-group including one dependency
1478 pkgCache::DepIterator Start = D;
1479 bool itsFine = false;
1480 for (bool stillOr = true; stillOr == true; ++Start)
1481 {
1482 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1483 pkgCache::PkgIterator const P = Start.TargetPkg();
1484 // virtual packages can't be a solution
1485 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1486 continue;
1487 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1488 // no versioned dependency - but is it installable?
1489 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1490 {
1491 // Check if one of the providers is installable
1492 if (P->ProvidesList != 0)
1493 {
1494 pkgCache::PrvIterator Prv = P.ProvidesList();
1495 for (; Prv.end() == false; ++Prv)
1496 {
1497 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1498 if (C.end() == true || C != Prv.OwnerVer() ||
1499 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1500 continue;
1501 break;
1502 }
1503 if (Prv.end() == true)
1504 continue;
1505 }
1506 // no providers, so check if we have an installable candidate version
1507 else if (Cand.end() == true ||
1508 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1509 continue;
1510 itsFine = true;
1511 break;
1512 }
1513 if (Cand.end() == true)
1514 continue;
1515 // check if the current candidate is enough for the versioned dependency - and installable?
887c6940 1516 if (Start.IsSatisfied(Cand) == true &&
2c085486
DK
1517 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1518 {
1519 itsFine = true;
1520 break;
1521 }
1522 }
1523
1524 if (itsFine == true) {
1525 // something in the or-group was fine, skip all other members
1526 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1527 continue;
1528 }
1529
1530 // walk again over the or-group and check each if a candidate switch would help
1531 itsFine = false;
1532 for (bool stillOr = true; stillOr == true; ++D)
1533 {
1534 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1535 // changing candidate will not help if the dependency is not versioned
1536 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1537 {
1538 if (stillOr == true)
1539 continue;
1540 break;
1541 }
1542
1543 pkgCache::VerIterator V;
1544 if (TargetRel == "newest")
1545 V = D.TargetPkg().VersionList();
1546 else
1547 V = Match.Find(D.TargetPkg());
1548
1549 // check if the version from this release could satisfy the dependency
887c6940 1550 if (V.end() == true || D.IsSatisfied(V) == false)
2c085486
DK
1551 {
1552 if (stillOr == true)
1553 continue;
1554 break;
1555 }
1556
1557 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1558 if (V == oldCand)
1559 {
1560 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1561 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1562 c != Changed.end(); ++c)
1563 {
1564 if (c->first->ParentPkg != V->ParentPkg)
1565 continue;
1566 itsFine = true;
1567 break;
1568 }
1569 }
1570
1571 if (itsFine == false)
1572 {
1573 // change the candidate
2f5ed336 1574 Changed.push_back(make_pair(V, TargetVer));
2c085486
DK
1575 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1576 {
1577 if (stillOr == false)
1578 break;
1579 // undo the candidate changing
1580 SetCandidateVersion(oldCand);
1581 Changed.pop_back();
1582 continue;
1583 }
1584 itsFine = true;
1585 }
1586
1587 // something in the or-group was fine, skip all other members
1588 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1589 break;
1590 }
1591
1592 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1593 {
1594 // undo all changes which aren't lead to a solution
1595 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1596 c != Changed.end(); ++c)
1597 SetCandidateVersion(c->first);
1598 Changed.erase(newChanged, Changed.end());
1599 return false;
1600 }
1601 }
1602 return true;
1603}
1604 /*}}}*/
08fa1cab
DK
1605// DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1606// ---------------------------------------------------------------------
1607/* */
74a05226
MV
1608void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1609{
1610 StateCache &state = PkgState[Pkg->ID];
1611
1612 ActionGroup group(*this);
1613
1614 if(Auto)
1615 state.Flags |= Flag::Auto;
1616 else
1617 state.Flags &= ~Flag::Auto;
1618}
b2e465d6 1619 /*}}}*/
6c139d6e
AL
1620// StateCache::Update - Compute the various static display things /*{{{*/
1621// ---------------------------------------------------------------------
1622/* This is called whenever the Candidate version changes. */
1623void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1624{
1625 // Some info
1626 VerIterator Ver = CandidateVerIter(Cache);
1627
1628 // Use a null string or the version string
1629 if (Ver.end() == true)
1630 CandVersion = "";
1631 else
1632 CandVersion = Ver.VerStr();
1633
1634 // Find the current version
1635 CurVersion = "";
1636 if (Pkg->CurrentVer != 0)
1637 CurVersion = Pkg.CurrentVer().VerStr();
1638
1639 // Strip off the epochs for display
1640 CurVersion = StripEpoch(CurVersion);
1641 CandVersion = StripEpoch(CandVersion);
1642
1643 // Figure out if its up or down or equal
1644 Status = Ver.CompareVer(Pkg.CurrentVer());
1645 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1646 Status = 2;
1647}
1648 /*}}}*/
1649// StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1650// ---------------------------------------------------------------------
1651/* */
1652const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1653{
1654 if (Ver == 0)
1655 return 0;
1656
1657 // Strip any epoch
fd23676e
DK
1658 char const * const I = strchr(Ver, ':');
1659 if (I == nullptr)
1660 return Ver;
1661 return I + 1;
6c139d6e
AL
1662}
1663 /*}}}*/
b2e465d6 1664// Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
6321777b 1665// ---------------------------------------------------------------------
b2e465d6
AL
1666/* The default just returns the highest available version that is not
1667 a source and automatic. */
e841200b 1668pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
6321777b 1669{
b2e465d6
AL
1670 /* Not source/not automatic versions cannot be a candidate version
1671 unless they are already installed */
de6221c9 1672 VerIterator Last;
6321777b 1673
f7f0d6c7 1674 for (VerIterator I = Pkg.VersionList(); I.end() == false; ++I)
b2e465d6
AL
1675 {
1676 if (Pkg.CurrentVer() == I)
1677 return I;
1678
f7f0d6c7 1679 for (VerFileIterator J = I.FileList(); J.end() == false; ++J)
b2e465d6 1680 {
b07aeb1a 1681 if (J.File().Flagged(Flag::NotSource))
b2e465d6
AL
1682 continue;
1683
1684 /* Stash the highest version of a not-automatic source, we use it
1685 if there is nothing better */
b07aeb1a
DK
1686 if (J.File().Flagged(Flag::NotAutomatic) ||
1687 J.File().Flagged(Flag::ButAutomaticUpgrades))
b2e465d6
AL
1688 {
1689 if (Last.end() == true)
1690 Last = I;
1691 continue;
1692 }
1693
1694 return I;
1695 }
1696 }
6321777b 1697
b2e465d6
AL
1698 return Last;
1699}
1700 /*}}}*/
1701// Policy::IsImportantDep - True if the dependency is important /*{{{*/
1702// ---------------------------------------------------------------------
1703/* */
fd23676e 1704bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep) const
b2e465d6 1705{
60681f93
MV
1706 if(Dep.IsCritical())
1707 return true;
fd23676e 1708 else if(Dep->Type == pkgCache::Dep::Recommends)
1d722933 1709 {
b20c1683 1710 if (InstallRecommends)
1d722933
MV
1711 return true;
1712 // we suport a special mode to only install-recommends for certain
1713 // sections
fd23676e 1714 // FIXME: this is a meant as a temporarly solution until the
1d722933 1715 // recommends are cleaned up
cb1933df
MV
1716 const char *sec = Dep.ParentVer().Section();
1717 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1718 return true;
1d722933 1719 }
60681f93 1720 else if(Dep->Type == pkgCache::Dep::Suggests)
b20c1683 1721 return InstallSuggests;
60681f93 1722
74a05226
MV
1723 return false;
1724}
92fcbfc1 1725 /*}}}*/
6d38011b 1726// Policy::GetPriority - Get the priority of the package pin /*{{{*/
a02db58f 1727APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &/*Pkg*/)
d3e8fbb3 1728{ return 0; }
a02db58f 1729APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &/*File*/)
d3e8fbb3 1730{ return 0; }
6d38011b 1731 /*}}}*/
92fcbfc1 1732pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
74a05226
MV
1733{
1734 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1735 if(f->wasConstructedSuccessfully())
1736 return f;
1737 else
1738 {
1739 delete f;
1740 return NULL;
1741 }
1742}
92fcbfc1 1743 /*}}}*/
74a05226
MV
1744bool pkgDepCache::MarkFollowsRecommends()
1745{
1746 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1747}
1748
1749bool pkgDepCache::MarkFollowsSuggests()
1750{
db4351be 1751 return _config->FindB("APT::AutoRemove::SuggestsImportant", true);
74a05226
MV
1752}
1753
92fcbfc1 1754// pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
74a05226
MV
1755bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1756{
98278a81 1757 if (_config->Find("APT::Solver", "internal") != "internal")
76d4aab0
DK
1758 return true;
1759
fd23676e 1760 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
74a05226
MV
1761
1762 // init the states
fd23676e
DK
1763 map_id_t const PackagesCount = Head().PackageCount;
1764 for(map_id_t i = 0; i < PackagesCount; ++i)
74a05226 1765 {
fd23676e
DK
1766 PkgState[i].Marked = false;
1767 PkgState[i].Garbage = false;
74a05226 1768 }
fd23676e
DK
1769 if (debug_autoremove)
1770 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1771 if(PkgState[p->ID].Flags & Flag::Auto)
1772 std::clog << "AutoDep: " << p.FullName() << std::endl;
74a05226 1773
fd23676e
DK
1774 bool const follow_recommends = MarkFollowsRecommends();
1775 bool const follow_suggests = MarkFollowsSuggests();
74a05226 1776
74a05226
MV
1777 // do the mark part, this is the core bit of the algorithm
1778 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1779 {
1780 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1781 (p->Flags & Flag::Essential) ||
c5200869 1782 (p->Flags & Flag::Important) ||
83789130
DK
1783 userFunc.InRootSet(p) ||
1784 // be nice even then a required package violates the policy (#583517)
1785 // and do the full mark process also for required packages
1786 (p.CurrentVer().end() != true &&
8fa042ca
DK
1787 p.CurrentVer()->Priority == pkgCache::State::Required) ||
1788 // packages which can't be changed (like holds) can't be garbage
1789 (IsModeChangeOk(ModeGarbage, p, 0, false) == false))
74a05226
MV
1790 {
1791 // the package is installed (and set to keep)
1792 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
83860e37 1793 MarkPackage(p, p.CurrentVer(),
74a05226
MV
1794 follow_recommends, follow_suggests);
1795 // the package is to be installed
1796 else if(PkgState[p->ID].Install())
1797 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1798 follow_recommends, follow_suggests);
1799 }
1800 }
1801
1802 return true;
1803}
92fcbfc1
DK
1804 /*}}}*/
1805// MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
74a05226
MV
1806void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1807 const pkgCache::VerIterator &ver,
e0b94b97
DK
1808 bool const &follow_recommends,
1809 bool const &follow_suggests)
74a05226
MV
1810{
1811 pkgDepCache::StateCache &state = PkgState[pkg->ID];
e0b94b97
DK
1812
1813 // if we are marked already we are done
1814 if(state.Marked)
1815 return;
1816
1817 VerIterator const currver = pkg.CurrentVer();
e0b94b97 1818 VerIterator const instver = state.InstVerIter(*this);
74a05226
MV
1819
1820#if 0
cda456d7
DK
1821 VerIterator const candver = state.CandidateVerIter(*this);
1822
74a05226
MV
1823 // If a package was garbage-collected but is now being marked, we
1824 // should re-select it
1825 // For cases when a pkg is set to upgrade and this trigger the
1826 // removal of a no-longer used dependency. if the pkg is set to
1827 // keep again later it will result in broken deps
1828 if(state.Delete() && state.RemoveReason = Unused)
1829 {
1830 if(ver==candver)
1831 mark_install(pkg, false, false, NULL);
1832 else if(ver==pkg.CurrentVer())
1833 MarkKeep(pkg, false, false);
1834
1835 instver=state.InstVerIter(*this);
1836 }
1837#endif
1838
36baa77a
MV
1839 // For packages that are not going to be removed, ignore versions
1840 // other than the InstVer. For packages that are going to be
1841 // removed, ignore versions other than the current version.
1842 if(!(ver == instver && !instver.end()) &&
1843 !(ver == currver && instver.end() && !ver.end()))
74a05226
MV
1844 return;
1845
e0b94b97 1846 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
74a05226 1847
95afdfd0 1848 if(debug_autoremove)
83860e37 1849 {
e0b94b97 1850 std::clog << "Marking: " << pkg.FullName();
83860e37
DB
1851 if(!ver.end())
1852 std::clog << " " << ver.VerStr();
1853 if(!currver.end())
1854 std::clog << ", Curr=" << currver.VerStr();
1855 if(!instver.end())
1856 std::clog << ", Inst=" << instver.VerStr();
1857 std::clog << std::endl;
1858 }
1859
74a05226
MV
1860 state.Marked=true;
1861
e0b94b97
DK
1862 if(ver.end() == true)
1863 return;
1864
74a05226
MV
1865 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1866 {
1867 if(d->Type == Dep::Depends ||
1868 d->Type == Dep::PreDepends ||
1869 (follow_recommends &&
1870 d->Type == Dep::Recommends) ||
1871 (follow_suggests &&
1872 d->Type == Dep::Suggests))
1873 {
1874 // Try all versions of this package.
1875 for(VerIterator V = d.TargetPkg().VersionList();
1876 !V.end(); ++V)
1877 {
887c6940 1878 if(d.IsSatisfied(V))
74a05226 1879 {
95afdfd0 1880 if(debug_autoremove)
83860e37 1881 {
e0b94b97 1882 std::clog << "Following dep: " << d.ParentPkg().FullName()
83860e37 1883 << " " << d.ParentVer().VerStr() << " "
e0b94b97 1884 << d.DepType() << " " << d.TargetPkg().FullName();
83860e37
DB
1885 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1886 {
1887 std::clog << " (" << d.CompType() << " "
1888 << d.TargetVer() << ")";
1889 }
1890 std::clog << std::endl;
1891 }
e0b94b97 1892 MarkPackage(V.ParentPkg(), V,
74a05226
MV
1893 follow_recommends, follow_suggests);
1894 }
1895 }
1896 // Now try virtual packages
1897 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1898 !prv.end(); ++prv)
1899 {
887c6940 1900 if(d.IsSatisfied(prv))
74a05226 1901 {
95afdfd0 1902 if(debug_autoremove)
83860e37 1903 {
e0b94b97
DK
1904 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1905 << d.ParentVer().VerStr() << " "
1906 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
83860e37
DB
1907 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1908 {
1909 std::clog << " (" << d.CompType() << " "
1910 << d.TargetVer() << ")";
1911 }
1912 std::clog << ", provided by "
e0b94b97 1913 << prv.OwnerPkg().FullName() << " "
83860e37
DB
1914 << prv.OwnerVer().VerStr()
1915 << std::endl;
1916 }
1917
74a05226
MV
1918 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1919 follow_recommends, follow_suggests);
1920 }
1921 }
1922 }
1923 }
74a05226 1924}
92fcbfc1
DK
1925 /*}}}*/
1926bool pkgDepCache::Sweep() /*{{{*/
74a05226 1927{
95afdfd0
OS
1928 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1929
74a05226
MV
1930 // do the sweep
1931 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
95afdfd0 1932 {
74a05226
MV
1933 StateCache &state=PkgState[p->ID];
1934
c9b320e8
MV
1935 // skip required packages
1936 if (!p.CurrentVer().end() &&
1937 (p.CurrentVer()->Priority == pkgCache::State::Required))
1938 continue;
1939
74a05226 1940 // if it is not marked and it is installed, it's garbage
32085498 1941 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
74a05226
MV
1942 {
1943 state.Garbage=true;
95afdfd0 1944 if(debug_autoremove)
6ee2b0f8 1945 std::clog << "Garbage: " << p.FullName() << std::endl;
74a05226
MV
1946 }
1947 }
1948
1949 return true;
1950}
92fcbfc1 1951 /*}}}*/
107d054b
DK
1952// DepCache::MarkAndSweep /*{{{*/
1953bool pkgDepCache::MarkAndSweep(InRootSetFunc &rootFunc)
1954{
1955 return MarkRequired(rootFunc) && Sweep();
1956}
1957bool pkgDepCache::MarkAndSweep()
1958{
1959 std::auto_ptr<InRootSetFunc> f(GetRootSetFunc());
1960 if(f.get() != NULL)
1961 return MarkAndSweep(*f.get());
1962 else
1963 return false;
1964}
1965 /*}}}*/