]> git.saurik.com Git - apt.git/blame - apt-pkg/depcache.cc
just-in-time creation for (explicit) negative deps
[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
6c139d6e
AL
1096 DepIterator Dep = P.InstVerIter(*this).DependsList();
1097 for (; Dep.end() != true;)
1098 {
1099 // Grok or groups
1100 DepIterator Start = Dep;
1101 bool Result = true;
b2e465d6 1102 unsigned Ors = 0;
f7f0d6c7 1103 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
6c139d6e
AL
1104 {
1105 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1106
1107 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1108 Result = false;
1109 }
1110
1111 // Dep is satisfied okay.
1112 if (Result == false)
1113 continue;
1114
1115 /* Check if this dep should be consider for install. If it is a user
21b3eac8 1116 defined important dep and we are installed a new package then
4ef9a929 1117 it will be installed. Otherwise we only check for important
21b3eac8 1118 deps that have changed from the installed version */
6c139d6e
AL
1119 if (IsImportantDep(Start) == false)
1120 continue;
e92f6a18 1121
21b3eac8
DK
1122 /* If we are in an or group locate the first or that can
1123 succeed. We have already cached this… */
e92f6a18
DK
1124 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1125 ++Start;
21b3eac8
DK
1126
1127 /* unsatisfiable dependency: IsInstallOkDependenciesSatisfiableByCandidates
1128 would have prevented us to get here if not overridden, so just skip
1129 over the problem here as the frontend will know what it is doing */
e92f6a18 1130 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
21b3eac8 1131 continue;
e92f6a18 1132
0526822a
DB
1133 /* Check if any ImportantDep() (but not Critical) were added
1134 * since we installed the package. Also check for deps that
1135 * were satisfied in the past: for instance, if a version
1136 * restriction in a Recommends was tightened, upgrading the
1137 * package should follow that Recommends rather than causing the
1138 * dependency to be removed. (bug #470115)
1b1c2224 1139 */
6ed08516 1140 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1b1c2224 1141 {
6ed08516
DK
1142 bool isNewImportantDep = true;
1143 bool isPreviouslySatisfiedImportantDep = false;
1144 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1d722933 1145 {
6ed08516
DK
1146 //FIXME: Should we handle or-group better here?
1147 // We do not check if the package we look for is part of the same or-group
1148 // we might find while searching, but could that really be a problem?
1149 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1150 Start.TargetPkg() != D.TargetPkg())
1151 continue;
1152
1153 isNewImportantDep = false;
1154
1155 while ((D->CompareOp & Dep::Or) != 0)
1156 ++D;
1157
1158 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1159 if (isPreviouslySatisfiedImportantDep == true)
1160 break;
1161 }
1162
1163 if(isNewImportantDep == true)
1164 {
1165 if (DebugAutoInstall == true)
1166 std::clog << OutputInDepth(Depth) << "new important dependency: "
1167 << Start.TargetPkg().FullName() << std::endl;
1168 }
1169 else if(isPreviouslySatisfiedImportantDep == true)
1170 {
1171 if (DebugAutoInstall == true)
1172 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1173 << Start.TargetPkg().FullName() << std::endl;
1174 }
1175 else
1176 {
1177 if (DebugAutoInstall == true)
1178 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1179 << Start.TargetPkg().FullName() << std::endl;
1180 continue;
1d722933 1181 }
1b1c2224 1182 }
6ed08516 1183
1e3f4083 1184 /* This bit is for processing the possibility of an install/upgrade
074da097
DK
1185 fixing the problem for "positive" dependencies */
1186 if (Start.IsNegative() == false && (DepState[Start->ID] & DepCVer) == DepCVer)
6c139d6e 1187 {
9112f777
DK
1188 pkgCacheFile CacheFile(this);
1189 APT::VersionList verlist = APT::VersionList::FromDependency(CacheFile, Start, APT::CacheSetHelper::CANDIDATE);
2b5c35c7 1190 CompareProviders comp(Start);
b2e465d6 1191
66706285
DK
1192 do {
1193 APT::VersionList::iterator InstVer = std::max_element(verlist.begin(), verlist.end(), comp);
1194
1195 if (InstVer == verlist.end())
1196 break;
1197
2b5c35c7 1198 pkgCache::PkgIterator InstPkg = InstVer.ParentPkg();
af29ffb4
MV
1199 if(DebugAutoInstall == true)
1200 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1201 << " as " << Start.DepType() << " of " << Pkg.Name()
d4c5f11f 1202 << std::endl;
66706285
DK
1203 if (MarkInstall(InstPkg, true, Depth + 1, false, ForceImportantDeps) == false)
1204 {
1205 verlist.erase(InstVer);
1206 continue;
1207 }
c1e0a100 1208 // now check if we should consider it a automatic dependency or not
7a669774 1209 if(InstPkg->CurrentVer == 0 && InstVer->Section != 0 && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", InstVer.Section()))
c1e0a100 1210 {
af29ffb4
MV
1211 if(DebugAutoInstall == true)
1212 std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1213 << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
c1e0a100
DK
1214 MarkAuto(InstPkg, false);
1215 }
66706285
DK
1216 break;
1217 } while(true);
6c139d6e
AL
1218 continue;
1219 }
074da097
DK
1220 /* Negative dependencies have no or-group
1221 If the dependency isn't versioned, we try if an upgrade might solve the problem.
1222 Otherwise we remove the offender if needed */
1223 else if (Start.IsNegative() == true && Start->Type != pkgCache::Dep::Obsoletes)
6c139d6e 1224 {
2b5c35c7 1225 SPtrArray<Version *> List = Start.AllTargets();
074da097 1226 pkgCache::PkgIterator TrgPkg = Start.TargetPkg();
6c139d6e
AL
1227 for (Version **I = List; *I != 0; I++)
1228 {
1229 VerIterator Ver(*this,*I);
1230 PkgIterator Pkg = Ver.ParentPkg();
308c7d30 1231
edbda33b
DK
1232 /* The List includes all packages providing this dependency,
1233 even providers which are not installed, so skip them. */
1234 if (PkgState[Pkg->ID].InstallVer == 0)
1235 continue;
1236
0dfc7eef
MV
1237 /* Ignore negative dependencies that we are not going to
1238 get installed */
1239 if (PkgState[Pkg->ID].InstallVer != *I)
1240 continue;
1241
074da097
DK
1242 if ((Start->Version != 0 || TrgPkg != Pkg) &&
1243 PkgState[Pkg->ID].CandidateVer != PkgState[Pkg->ID].InstallVer &&
1244 PkgState[Pkg->ID].CandidateVer != *I &&
a16dec4d
DK
1245 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps) == true)
1246 continue;
06f88117
MV
1247 else if (Start->Type == pkgCache::Dep::Conflicts ||
1248 Start->Type == pkgCache::Dep::DpkgBreaks)
1249 {
1250 if(DebugAutoInstall == true)
1251 std::clog << OutputInDepth(Depth)
1252 << " Removing: " << Pkg.Name()
1253 << std::endl;
1254 if (MarkDelete(Pkg,false,Depth + 1, false) == false)
1255 break;
1256 }
6c139d6e 1257 }
6c139d6e 1258 continue;
074da097 1259 }
6c139d6e 1260 }
3d619a20 1261
a16dec4d 1262 return Dep.end() == true;
6c139d6e 1263}
92fcbfc1 1264 /*}}}*/
6910a2ac 1265// DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
2d403b92 1266// ---------------------------------------------------------------------
486d190d
DK
1267/* The default implementation checks if the installation of an M-A:same
1268 package would lead us into a version-screw and if so forbids it.
dde0c674 1269 dpkg holds are enforced by the private IsModeChangeOk */
6910a2ac
DK
1270bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1271 unsigned long Depth, bool FromUser)
2d403b92 1272{
21b3eac8
DK
1273 return IsInstallOkMultiArchSameVersionSynced(Pkg,AutoInst, Depth, FromUser) &&
1274 IsInstallOkDependenciesSatisfiableByCandidates(Pkg,AutoInst, Depth, FromUser);
486d190d
DK
1275}
1276bool pkgDepCache::IsInstallOkMultiArchSameVersionSynced(PkgIterator const &Pkg,
65512241 1277 bool const /*AutoInst*/, unsigned long const Depth, bool const FromUser)
486d190d
DK
1278{
1279 if (FromUser == true) // as always: user is always right
1280 return true;
1281
be7ce6f1
DK
1282 // if we have checked before and it was okay, it will still be okay
1283 if (PkgState[Pkg->ID].Mode == ModeInstall &&
1284 PkgState[Pkg->ID].InstallVer == PkgState[Pkg->ID].CandidateVer)
1285 return true;
1286
486d190d
DK
1287 // ignore packages with none-M-A:same candidates
1288 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1289 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer() ||
1290 (CandVer->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
1291 return true;
1292
1293 GrpIterator const Grp = Pkg.Group();
1294 for (PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1295 {
98c9c26c
DK
1296 // not installed or self-check: fine by definition
1297 if (P->CurrentVer == 0 || P == Pkg)
1298 continue;
1299
1300 // not having a candidate or being in sync
486d190d 1301 // (simple string-compare as stuff like '1' == '0:1-0' can't happen here)
98c9c26c
DK
1302 VerIterator CV = PkgState[P->ID].CandidateVerIter(*this);
1303 if (CV.end() == true || strcmp(Pkg.CandVersion(), CV.VerStr()) == 0)
486d190d 1304 continue;
98c9c26c 1305
1e3f4083 1306 // packages losing M-A:same can be out-of-sync
98c9c26c 1307 if ((CV->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
486d190d
DK
1308 continue;
1309
1310 // not downloadable means the package is obsolete, so allow out-of-sync
1311 if (CV.Downloadable() == false)
1312 continue;
1313
1314 PkgState[Pkg->ID].iFlags |= AutoKept;
1315 if (unlikely(DebugMarker == true))
1316 std::clog << OutputInDepth(Depth) << "Ignore MarkInstall of " << Pkg
98c9c26c
DK
1317 << " as it is not in sync with its M-A:same sibling " << P
1318 << " (" << Pkg.CandVersion() << " != " << CV.VerStr() << ")" << std::endl;
486d190d
DK
1319 return false;
1320 }
1321
21b3eac8
DK
1322 return true;
1323}
1324bool pkgDepCache::IsInstallOkDependenciesSatisfiableByCandidates(PkgIterator const &Pkg,
1325 bool const AutoInst, unsigned long const Depth, bool const /*FromUser*/)
1326{
1327 if (AutoInst == false)
1328 return true;
1329
1330 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1331 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer())
1332 return true;
1333
1334 for (DepIterator Dep = CandVer.DependsList(); Dep.end() != true;)
1335 {
1336 // Grok or groups
1337 DepIterator Start = Dep;
1338 bool Result = true;
1339 unsigned Ors = 0;
1340 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
1341 {
1342 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1343
1344 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1345 Result = false;
1346 }
1347
1348 if (Start.IsCritical() == false || Start.IsNegative() == true || Result == false)
1349 continue;
1350
1351 /* If we are in an or group locate the first or that can succeed.
1352 We have already cached this… */
1353 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1354 ++Start;
1355
1356 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer)
1357 {
1358 if (DebugAutoInstall == true)
1359 std::clog << OutputInDepth(Depth) << Start << " can't be satisfied!" << std::endl;
1360
1361 // the dependency is critical, but can't be installed, so discard the candidate
1362 // as the problemresolver will trip over it otherwise trying to install it (#735967)
e41d3d7e 1363 if (Pkg->CurrentVer != 0 && (PkgState[Pkg->ID].iFlags & Protected) != Protected)
21b3eac8
DK
1364 SetCandidateVersion(Pkg.CurrentVer());
1365 return false;
1366 }
1367 }
1368
6910a2ac 1369 return true;
2d403b92
MV
1370}
1371 /*}}}*/
d0c59649
AL
1372// DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1373// ---------------------------------------------------------------------
1374/* */
1375void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1376{
1019948c
DK
1377 if (unlikely(Pkg.end() == true))
1378 return;
1379
9535a4db
DK
1380 APT::PackageList pkglist;
1381 if (Pkg->CurrentVer != 0 &&
1382 (Pkg.CurrentVer()-> MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1383 {
1384 pkgCache::GrpIterator Grp = Pkg.Group();
1385 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1386 {
1387 if (P->CurrentVer != 0)
1388 pkglist.insert(P);
1389 }
1390 }
1391 else
1392 pkglist.insert(Pkg);
1393
74a05226
MV
1394 ActionGroup group(*this);
1395
9535a4db
DK
1396 for (APT::PackageList::const_iterator Pkg = pkglist.begin(); Pkg != pkglist.end(); ++Pkg)
1397 {
1398 RemoveSizes(Pkg);
1399 RemoveStates(Pkg);
1400
1401 StateCache &P = PkgState[Pkg->ID];
1402 if (To == true)
1403 P.iFlags |= ReInstall;
1404 else
1405 P.iFlags &= ~ReInstall;
1406
1407 AddStates(Pkg);
1408 AddSizes(Pkg);
1409 }
d0c59649
AL
1410}
1411 /*}}}*/
b2e465d6
AL
1412// DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1413// ---------------------------------------------------------------------
1414/* */
27e8981a 1415void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
b2e465d6
AL
1416{
1417 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1418 StateCache &P = PkgState[Pkg->ID];
74a05226 1419
08fa1cab
DK
1420 if (P.CandidateVer == TargetVer)
1421 return;
1422
1423 ActionGroup group(*this);
1424
b2e465d6
AL
1425 RemoveSizes(Pkg);
1426 RemoveStates(Pkg);
1427
758729c8 1428 if (P.CandidateVer == P.InstallVer && P.Install() == true)
b2e465d6
AL
1429 P.InstallVer = (Version *)TargetVer;
1430 P.CandidateVer = (Version *)TargetVer;
1431 P.Update(Pkg,*this);
1432
1433 AddStates(Pkg);
1434 Update(Pkg);
1435 AddSizes(Pkg);
1019948c 1436
b2e465d6 1437}
08fa1cab 1438 /*}}}*/
2c085486
DK
1439// DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1440// ---------------------------------------------------------------------
1441/* changes the candidate of a package and walks over all its dependencies
1442 to check if it needs to change the candidate of the dependency, too,
1443 to reach a installable versionstate */
1444bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1445 std::string const &TargetRel)
1446{
1447 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1448 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1449}
1450bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1451 std::string const &TargetRel,
1452 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1453{
758729c8 1454 ActionGroup group(*this);
2c085486
DK
1455 SetCandidateVersion(TargetVer);
1456
1457 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1458 return true;
1459
1460 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1461 // save the position of the last element we will not undo - if we have to
1462 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1463
1464 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1465 {
1466 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1467 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1468 IsImportantDep(D) == false))
1469 continue;
1470
1471 // walk over an or-group and check if we need to do anything
1472 // for simpilicity no or-group is handled as a or-group including one dependency
1473 pkgCache::DepIterator Start = D;
1474 bool itsFine = false;
1475 for (bool stillOr = true; stillOr == true; ++Start)
1476 {
1477 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1478 pkgCache::PkgIterator const P = Start.TargetPkg();
1479 // virtual packages can't be a solution
1480 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1481 continue;
1482 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1483 // no versioned dependency - but is it installable?
1484 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1485 {
1486 // Check if one of the providers is installable
1487 if (P->ProvidesList != 0)
1488 {
1489 pkgCache::PrvIterator Prv = P.ProvidesList();
1490 for (; Prv.end() == false; ++Prv)
1491 {
1492 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1493 if (C.end() == true || C != Prv.OwnerVer() ||
1494 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1495 continue;
1496 break;
1497 }
1498 if (Prv.end() == true)
1499 continue;
1500 }
1501 // no providers, so check if we have an installable candidate version
1502 else if (Cand.end() == true ||
1503 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1504 continue;
1505 itsFine = true;
1506 break;
1507 }
1508 if (Cand.end() == true)
1509 continue;
1510 // check if the current candidate is enough for the versioned dependency - and installable?
887c6940 1511 if (Start.IsSatisfied(Cand) == true &&
2c085486
DK
1512 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1513 {
1514 itsFine = true;
1515 break;
1516 }
1517 }
1518
1519 if (itsFine == true) {
1520 // something in the or-group was fine, skip all other members
1521 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1522 continue;
1523 }
1524
1525 // walk again over the or-group and check each if a candidate switch would help
1526 itsFine = false;
1527 for (bool stillOr = true; stillOr == true; ++D)
1528 {
1529 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1530 // changing candidate will not help if the dependency is not versioned
1531 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1532 {
1533 if (stillOr == true)
1534 continue;
1535 break;
1536 }
1537
1538 pkgCache::VerIterator V;
1539 if (TargetRel == "newest")
1540 V = D.TargetPkg().VersionList();
1541 else
1542 V = Match.Find(D.TargetPkg());
1543
1544 // check if the version from this release could satisfy the dependency
887c6940 1545 if (V.end() == true || D.IsSatisfied(V) == false)
2c085486
DK
1546 {
1547 if (stillOr == true)
1548 continue;
1549 break;
1550 }
1551
1552 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1553 if (V == oldCand)
1554 {
1555 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1556 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1557 c != Changed.end(); ++c)
1558 {
1559 if (c->first->ParentPkg != V->ParentPkg)
1560 continue;
1561 itsFine = true;
1562 break;
1563 }
1564 }
1565
1566 if (itsFine == false)
1567 {
1568 // change the candidate
2f5ed336 1569 Changed.push_back(make_pair(V, TargetVer));
2c085486
DK
1570 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1571 {
1572 if (stillOr == false)
1573 break;
1574 // undo the candidate changing
1575 SetCandidateVersion(oldCand);
1576 Changed.pop_back();
1577 continue;
1578 }
1579 itsFine = true;
1580 }
1581
1582 // something in the or-group was fine, skip all other members
1583 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1584 break;
1585 }
1586
1587 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1588 {
1589 // undo all changes which aren't lead to a solution
1590 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1591 c != Changed.end(); ++c)
1592 SetCandidateVersion(c->first);
1593 Changed.erase(newChanged, Changed.end());
1594 return false;
1595 }
1596 }
1597 return true;
1598}
1599 /*}}}*/
08fa1cab
DK
1600// DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1601// ---------------------------------------------------------------------
1602/* */
74a05226
MV
1603void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1604{
1605 StateCache &state = PkgState[Pkg->ID];
1606
1607 ActionGroup group(*this);
1608
1609 if(Auto)
1610 state.Flags |= Flag::Auto;
1611 else
1612 state.Flags &= ~Flag::Auto;
1613}
b2e465d6 1614 /*}}}*/
6c139d6e
AL
1615// StateCache::Update - Compute the various static display things /*{{{*/
1616// ---------------------------------------------------------------------
1617/* This is called whenever the Candidate version changes. */
1618void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1619{
1620 // Some info
1621 VerIterator Ver = CandidateVerIter(Cache);
1622
1623 // Use a null string or the version string
1624 if (Ver.end() == true)
1625 CandVersion = "";
1626 else
1627 CandVersion = Ver.VerStr();
1628
1629 // Find the current version
1630 CurVersion = "";
1631 if (Pkg->CurrentVer != 0)
1632 CurVersion = Pkg.CurrentVer().VerStr();
1633
1634 // Strip off the epochs for display
1635 CurVersion = StripEpoch(CurVersion);
1636 CandVersion = StripEpoch(CandVersion);
1637
1638 // Figure out if its up or down or equal
1639 Status = Ver.CompareVer(Pkg.CurrentVer());
1640 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1641 Status = 2;
1642}
1643 /*}}}*/
1644// StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1645// ---------------------------------------------------------------------
1646/* */
1647const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1648{
1649 if (Ver == 0)
1650 return 0;
1651
1652 // Strip any epoch
fd23676e
DK
1653 char const * const I = strchr(Ver, ':');
1654 if (I == nullptr)
1655 return Ver;
1656 return I + 1;
6c139d6e
AL
1657}
1658 /*}}}*/
b2e465d6 1659// Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
6321777b 1660// ---------------------------------------------------------------------
b2e465d6
AL
1661/* The default just returns the highest available version that is not
1662 a source and automatic. */
e841200b 1663pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
6321777b 1664{
b2e465d6
AL
1665 /* Not source/not automatic versions cannot be a candidate version
1666 unless they are already installed */
de6221c9 1667 VerIterator Last;
6321777b 1668
f7f0d6c7 1669 for (VerIterator I = Pkg.VersionList(); I.end() == false; ++I)
b2e465d6
AL
1670 {
1671 if (Pkg.CurrentVer() == I)
1672 return I;
1673
f7f0d6c7 1674 for (VerFileIterator J = I.FileList(); J.end() == false; ++J)
b2e465d6 1675 {
b07aeb1a 1676 if (J.File().Flagged(Flag::NotSource))
b2e465d6
AL
1677 continue;
1678
1679 /* Stash the highest version of a not-automatic source, we use it
1680 if there is nothing better */
b07aeb1a
DK
1681 if (J.File().Flagged(Flag::NotAutomatic) ||
1682 J.File().Flagged(Flag::ButAutomaticUpgrades))
b2e465d6
AL
1683 {
1684 if (Last.end() == true)
1685 Last = I;
1686 continue;
1687 }
1688
1689 return I;
1690 }
1691 }
6321777b 1692
b2e465d6
AL
1693 return Last;
1694}
1695 /*}}}*/
1696// Policy::IsImportantDep - True if the dependency is important /*{{{*/
1697// ---------------------------------------------------------------------
1698/* */
fd23676e 1699bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep) const
b2e465d6 1700{
60681f93
MV
1701 if(Dep.IsCritical())
1702 return true;
fd23676e 1703 else if(Dep->Type == pkgCache::Dep::Recommends)
1d722933 1704 {
b20c1683 1705 if (InstallRecommends)
1d722933
MV
1706 return true;
1707 // we suport a special mode to only install-recommends for certain
1708 // sections
fd23676e 1709 // FIXME: this is a meant as a temporarly solution until the
1d722933 1710 // recommends are cleaned up
cb1933df
MV
1711 const char *sec = Dep.ParentVer().Section();
1712 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1713 return true;
1d722933 1714 }
60681f93 1715 else if(Dep->Type == pkgCache::Dep::Suggests)
b20c1683 1716 return InstallSuggests;
60681f93 1717
74a05226
MV
1718 return false;
1719}
92fcbfc1 1720 /*}}}*/
6d38011b 1721// Policy::GetPriority - Get the priority of the package pin /*{{{*/
a02db58f 1722APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &/*Pkg*/)
d3e8fbb3 1723{ return 0; }
a02db58f 1724APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &/*File*/)
d3e8fbb3 1725{ return 0; }
6d38011b 1726 /*}}}*/
92fcbfc1 1727pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
74a05226
MV
1728{
1729 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1730 if(f->wasConstructedSuccessfully())
1731 return f;
1732 else
1733 {
1734 delete f;
1735 return NULL;
1736 }
1737}
92fcbfc1 1738 /*}}}*/
74a05226
MV
1739bool pkgDepCache::MarkFollowsRecommends()
1740{
1741 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1742}
1743
1744bool pkgDepCache::MarkFollowsSuggests()
1745{
db4351be 1746 return _config->FindB("APT::AutoRemove::SuggestsImportant", true);
74a05226
MV
1747}
1748
92fcbfc1 1749// pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
74a05226
MV
1750bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1751{
98278a81 1752 if (_config->Find("APT::Solver", "internal") != "internal")
76d4aab0
DK
1753 return true;
1754
fd23676e 1755 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
74a05226
MV
1756
1757 // init the states
fd23676e
DK
1758 map_id_t const PackagesCount = Head().PackageCount;
1759 for(map_id_t i = 0; i < PackagesCount; ++i)
74a05226 1760 {
fd23676e
DK
1761 PkgState[i].Marked = false;
1762 PkgState[i].Garbage = false;
74a05226 1763 }
fd23676e
DK
1764 if (debug_autoremove)
1765 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1766 if(PkgState[p->ID].Flags & Flag::Auto)
1767 std::clog << "AutoDep: " << p.FullName() << std::endl;
74a05226 1768
fd23676e
DK
1769 bool const follow_recommends = MarkFollowsRecommends();
1770 bool const follow_suggests = MarkFollowsSuggests();
74a05226 1771
74a05226
MV
1772 // do the mark part, this is the core bit of the algorithm
1773 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1774 {
1775 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1776 (p->Flags & Flag::Essential) ||
c5200869 1777 (p->Flags & Flag::Important) ||
83789130
DK
1778 userFunc.InRootSet(p) ||
1779 // be nice even then a required package violates the policy (#583517)
1780 // and do the full mark process also for required packages
1781 (p.CurrentVer().end() != true &&
8fa042ca
DK
1782 p.CurrentVer()->Priority == pkgCache::State::Required) ||
1783 // packages which can't be changed (like holds) can't be garbage
1784 (IsModeChangeOk(ModeGarbage, p, 0, false) == false))
74a05226
MV
1785 {
1786 // the package is installed (and set to keep)
1787 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
83860e37 1788 MarkPackage(p, p.CurrentVer(),
74a05226
MV
1789 follow_recommends, follow_suggests);
1790 // the package is to be installed
1791 else if(PkgState[p->ID].Install())
1792 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1793 follow_recommends, follow_suggests);
1794 }
1795 }
1796
1797 return true;
1798}
92fcbfc1
DK
1799 /*}}}*/
1800// MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
74a05226
MV
1801void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1802 const pkgCache::VerIterator &ver,
e0b94b97
DK
1803 bool const &follow_recommends,
1804 bool const &follow_suggests)
74a05226
MV
1805{
1806 pkgDepCache::StateCache &state = PkgState[pkg->ID];
e0b94b97
DK
1807
1808 // if we are marked already we are done
1809 if(state.Marked)
1810 return;
1811
1812 VerIterator const currver = pkg.CurrentVer();
e0b94b97 1813 VerIterator const instver = state.InstVerIter(*this);
74a05226
MV
1814
1815#if 0
cda456d7
DK
1816 VerIterator const candver = state.CandidateVerIter(*this);
1817
74a05226
MV
1818 // If a package was garbage-collected but is now being marked, we
1819 // should re-select it
1820 // For cases when a pkg is set to upgrade and this trigger the
1821 // removal of a no-longer used dependency. if the pkg is set to
1822 // keep again later it will result in broken deps
1823 if(state.Delete() && state.RemoveReason = Unused)
1824 {
1825 if(ver==candver)
1826 mark_install(pkg, false, false, NULL);
1827 else if(ver==pkg.CurrentVer())
1828 MarkKeep(pkg, false, false);
1829
1830 instver=state.InstVerIter(*this);
1831 }
1832#endif
1833
36baa77a
MV
1834 // For packages that are not going to be removed, ignore versions
1835 // other than the InstVer. For packages that are going to be
1836 // removed, ignore versions other than the current version.
1837 if(!(ver == instver && !instver.end()) &&
1838 !(ver == currver && instver.end() && !ver.end()))
74a05226
MV
1839 return;
1840
e0b94b97 1841 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
74a05226 1842
95afdfd0 1843 if(debug_autoremove)
83860e37 1844 {
e0b94b97 1845 std::clog << "Marking: " << pkg.FullName();
83860e37
DB
1846 if(!ver.end())
1847 std::clog << " " << ver.VerStr();
1848 if(!currver.end())
1849 std::clog << ", Curr=" << currver.VerStr();
1850 if(!instver.end())
1851 std::clog << ", Inst=" << instver.VerStr();
1852 std::clog << std::endl;
1853 }
1854
74a05226
MV
1855 state.Marked=true;
1856
e0b94b97
DK
1857 if(ver.end() == true)
1858 return;
1859
74a05226
MV
1860 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1861 {
1862 if(d->Type == Dep::Depends ||
1863 d->Type == Dep::PreDepends ||
1864 (follow_recommends &&
1865 d->Type == Dep::Recommends) ||
1866 (follow_suggests &&
1867 d->Type == Dep::Suggests))
1868 {
1869 // Try all versions of this package.
1870 for(VerIterator V = d.TargetPkg().VersionList();
1871 !V.end(); ++V)
1872 {
887c6940 1873 if(d.IsSatisfied(V))
74a05226 1874 {
95afdfd0 1875 if(debug_autoremove)
83860e37 1876 {
e0b94b97 1877 std::clog << "Following dep: " << d.ParentPkg().FullName()
83860e37 1878 << " " << d.ParentVer().VerStr() << " "
e0b94b97 1879 << d.DepType() << " " << d.TargetPkg().FullName();
83860e37
DB
1880 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1881 {
1882 std::clog << " (" << d.CompType() << " "
1883 << d.TargetVer() << ")";
1884 }
1885 std::clog << std::endl;
1886 }
e0b94b97 1887 MarkPackage(V.ParentPkg(), V,
74a05226
MV
1888 follow_recommends, follow_suggests);
1889 }
1890 }
1891 // Now try virtual packages
1892 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1893 !prv.end(); ++prv)
1894 {
887c6940 1895 if(d.IsSatisfied(prv))
74a05226 1896 {
95afdfd0 1897 if(debug_autoremove)
83860e37 1898 {
e0b94b97
DK
1899 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1900 << d.ParentVer().VerStr() << " "
1901 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
83860e37
DB
1902 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1903 {
1904 std::clog << " (" << d.CompType() << " "
1905 << d.TargetVer() << ")";
1906 }
1907 std::clog << ", provided by "
e0b94b97 1908 << prv.OwnerPkg().FullName() << " "
83860e37
DB
1909 << prv.OwnerVer().VerStr()
1910 << std::endl;
1911 }
1912
74a05226
MV
1913 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1914 follow_recommends, follow_suggests);
1915 }
1916 }
1917 }
1918 }
74a05226 1919}
92fcbfc1
DK
1920 /*}}}*/
1921bool pkgDepCache::Sweep() /*{{{*/
74a05226 1922{
95afdfd0
OS
1923 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1924
74a05226
MV
1925 // do the sweep
1926 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
95afdfd0 1927 {
74a05226
MV
1928 StateCache &state=PkgState[p->ID];
1929
c9b320e8
MV
1930 // skip required packages
1931 if (!p.CurrentVer().end() &&
1932 (p.CurrentVer()->Priority == pkgCache::State::Required))
1933 continue;
1934
74a05226 1935 // if it is not marked and it is installed, it's garbage
32085498 1936 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
74a05226
MV
1937 {
1938 state.Garbage=true;
95afdfd0 1939 if(debug_autoremove)
6ee2b0f8 1940 std::clog << "Garbage: " << p.FullName() << std::endl;
74a05226
MV
1941 }
1942 }
1943
1944 return true;
1945}
92fcbfc1 1946 /*}}}*/
107d054b
DK
1947// DepCache::MarkAndSweep /*{{{*/
1948bool pkgDepCache::MarkAndSweep(InRootSetFunc &rootFunc)
1949{
1950 return MarkRequired(rootFunc) && Sweep();
1951}
1952bool pkgDepCache::MarkAndSweep()
1953{
1954 std::auto_ptr<InRootSetFunc> f(GetRootSetFunc());
1955 if(f.get() != NULL)
1956 return MarkAndSweep(*f.get());
1957 else
1958 return false;
1959}
1960 /*}}}*/