]> git.saurik.com Git - apt.git/blame - apt-pkg/depcache.cc
refactor EDSP classes for better internal reuse
[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>
afb1e2e3 16#include <apt-pkg/fileutl.h>
fa3b0945 17#include <apt-pkg/strutl.h>
afb1e2e3 18#include <apt-pkg/configuration.h>
8b32e920 19#include <apt-pkg/aptconfiguration.h>
afb1e2e3 20#include <apt-pkg/tagfile.h>
472ff00e 21#include <apt-pkg/progress.h>
2b5c35c7 22#include <apt-pkg/cacheset.h>
453b82a3
DK
23#include <apt-pkg/pkgcache.h>
24#include <apt-pkg/cacheiterators.h>
84573326 25#include <apt-pkg/prettyprinters.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 156 // Figure out the install version
294a8020 157 State.CandidateVer = LocalPolicy->GetCandidateVer(I);
6c139d6e
AL
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)
84573326 795 std::clog << OutputInDepth(Depth) << "MarkKeep " << APT::PrettyPkg(this, 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
7c2cc4a7
DK
839 if (FromUser == false)
840 {
841 VerIterator const PV = P.InstVerIter(*this);
842 if (PV.end() == false)
843 {
844 // removed metapackages mark their dependencies as manual to prevent in "desktop depends browser, texteditor"
845 // the removal of browser to suggest the removal of desktop and texteditor.
846 // We ignore the auto-bit here as we can't deal with metapackage cascardes otherwise.
847 // We do not check for or-groups here as we don't know which package takes care of
848 // providing the feature the user likes e.g.: browser1 | browser2 | browser3
849 // Temporary removals are effected by this as well, which is bad, but unlikely in practice
850 bool const PinNeverMarkAutoSection = (PV->Section != 0 && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", PV.Section()));
851 if (PinNeverMarkAutoSection)
852 {
853 for (DepIterator D = PV.DependsList(); D.end() != true; ++D)
854 {
855 if (D.IsMultiArchImplicit() == true || D.IsNegative() == true || IsImportantDep(D) == false)
856 continue;
857
858 pkgCacheFile CacheFile(this);
859 APT::VersionList verlist = APT::VersionList::FromDependency(CacheFile, D, APT::CacheSetHelper::INSTALLED);
860 for (auto const &V : verlist)
861 {
862 PkgIterator const DP = V.ParentPkg();
863 if(DebugAutoInstall == true)
864 std::clog << OutputInDepth(Depth) << "Setting " << DP.FullName(false) << " NOT as auto-installed (direct "
865 << D.DepType() << " of " << Pkg.FullName(false) << " which is in APT::Never-MarkAuto-Sections)" << std::endl;
866
867 MarkAuto(DP, false);
868 }
869 }
870 }
871 }
872 }
873
af29ffb4 874 if (DebugMarker == true)
84573326 875 std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << APT::PrettyPkg(this, Pkg) << " FU=" << FromUser << std::endl;
af29ffb4 876
6c139d6e
AL
877 RemoveSizes(Pkg);
878 RemoveStates(Pkg);
879
d556d1a1 880 if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
3d615484
AL
881 P.Mode = ModeKeep;
882 else
883 P.Mode = ModeDelete;
6c139d6e 884 P.InstallVer = 0;
6c139d6e
AL
885
886 AddStates(Pkg);
887 Update(Pkg);
888 AddSizes(Pkg);
803ea2a8 889
3d619a20 890 return true;
6c139d6e
AL
891}
892 /*}}}*/
6910a2ac
DK
893// DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
894// ---------------------------------------------------------------------
dde0c674
DK
895/* The default implementation tries to prevent deletion of install requests.
896 dpkg holds are enforced by the private IsModeChangeOk */
6910a2ac
DK
897bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
898 unsigned long Depth, bool FromUser)
486d190d
DK
899{
900 return IsDeleteOkProtectInstallRequests(Pkg, rPurge, Depth, FromUser);
901}
902bool pkgDepCache::IsDeleteOkProtectInstallRequests(PkgIterator const &Pkg,
65512241 903 bool const /*rPurge*/, unsigned long const Depth, bool const FromUser)
6910a2ac 904{
dde0c674 905 if (FromUser == false && Pkg->CurrentVer == 0)
0c6aa02e
DK
906 {
907 StateCache &P = PkgState[Pkg->ID];
908 if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
909 {
910 if (DebugMarker == true)
84573326 911 std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << APT::PrettyPkg(this, Pkg) << std::endl;
0c6aa02e
DK
912 return false;
913 }
914 }
dde0c674
DK
915 return true;
916}
917 /*}}}*/
918// DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
919// ---------------------------------------------------------------------
920/* this is used by all Mark methods on the very first line to check sanity
921 and prevents mode changes for packages on hold for example.
922 If you want to check Mode specific stuff you can use the virtual public
923 Is<Mode>Ok methods instead */
c3ccac92 924static char const* PrintMode(char const mode)
dde0c674
DK
925{
926 switch (mode)
927 {
928 case pkgDepCache::ModeInstall: return "Install";
929 case pkgDepCache::ModeKeep: return "Keep";
930 case pkgDepCache::ModeDelete: return "Delete";
8fa042ca 931 case pkgDepCache::ModeGarbage: return "Garbage";
dde0c674
DK
932 default: return "UNKNOWN";
933 }
934}
935bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
936 unsigned long const Depth, bool const FromUser)
937{
938 // we are not trying to hard…
939 if (unlikely(Depth > 100))
940 return false;
941
942 // general sanity
943 if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
944 return false;
945
cc26da01
DK
946 // the user is always right
947 if (FromUser == true)
948 return true;
949
950 StateCache &P = PkgState[Pkg->ID];
35f6b9ea
DK
951 // not changing the mode is obviously also fine as we might want to call
952 // e.g. MarkInstall multiple times with different arguments for the same package
953 if (P.Mode == mode)
954 return true;
cc26da01
DK
955
956 // if previous state was set by user only user can reset it
957 if ((P.iFlags & Protected) == Protected)
958 {
35f6b9ea 959 if (unlikely(DebugMarker == true))
cc26da01 960 std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
84573326 961 << " of " << APT::PrettyPkg(this, Pkg) << " as its mode (" << PrintMode(P.Mode)
cc26da01
DK
962 << ") is protected" << std::endl;
963 return false;
964 }
dde0c674 965 // enforce dpkg holds
cc26da01 966 else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
dde0c674
DK
967 _config->FindB("APT::Ignore-Hold",false) == false)
968 {
35f6b9ea 969 if (unlikely(DebugMarker == true))
dde0c674 970 std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
84573326 971 << " of " << APT::PrettyPkg(this, Pkg) << std::endl;
dde0c674
DK
972 return false;
973 }
974
6910a2ac
DK
975 return true;
976}
977 /*}}}*/
6c139d6e
AL
978// DepCache::MarkInstall - Put the package in the install state /*{{{*/
979// ---------------------------------------------------------------------
980/* */
2b5c35c7
DK
981struct CompareProviders {
982 pkgCache::PkgIterator const Pkg;
e8afd168 983 explicit CompareProviders(pkgCache::DepIterator const &Dep) : Pkg(Dep.TargetPkg()) {};
2b5c35c7
DK
984 //bool operator() (APT::VersionList::iterator const &AV, APT::VersionList::iterator const &BV)
985 bool operator() (pkgCache::VerIterator const &AV, pkgCache::VerIterator const &BV)
986 {
987 pkgCache::PkgIterator const A = AV.ParentPkg();
988 pkgCache::PkgIterator const B = BV.ParentPkg();
9bfd7b57
DK
989 // Prefer MA:same packages if other architectures for it are installed
990 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same ||
991 (BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
992 {
993 bool instA = false;
994 if ((AV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
995 {
996 pkgCache::GrpIterator Grp = A.Group();
997 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
998 if (P->CurrentVer != 0)
999 {
1000 instA = true;
1001 break;
1002 }
1003 }
1004 bool instB = false;
1005 if ((BV->MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1006 {
1007 pkgCache::GrpIterator Grp = B.Group();
1008 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1009 {
1010 if (P->CurrentVer != 0)
1011 {
1012 instB = true;
1013 break;
1014 }
1015 }
1016 }
1017 if (instA != instB)
1018 return instA == false;
1019 }
529bf9b0
DK
1020 if ((A->CurrentVer == 0 || B->CurrentVer == 0) && A->CurrentVer != B->CurrentVer)
1021 return A->CurrentVer == 0;
2b5c35c7
DK
1022 // Prefer packages in the same group as the target; e.g. foo:i386, foo:amd64
1023 if (A->Group != B->Group)
1024 {
1025 if (A->Group == Pkg->Group && B->Group != Pkg->Group)
1026 return false;
1027 else if (B->Group == Pkg->Group && A->Group != Pkg->Group)
1028 return true;
1029 }
1030 // we like essentials
1031 if ((A->Flags & pkgCache::Flag::Essential) != (B->Flags & pkgCache::Flag::Essential))
1032 {
1033 if ((A->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1034 return false;
1035 else if ((B->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
1036 return true;
1037 }
c5200869
JAK
1038 if ((A->Flags & pkgCache::Flag::Important) != (B->Flags & pkgCache::Flag::Important))
1039 {
1040 if ((A->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1041 return false;
1042 else if ((B->Flags & pkgCache::Flag::Important) == pkgCache::Flag::Important)
1043 return true;
1044 }
2b5c35c7
DK
1045 // prefer native architecture
1046 if (strcmp(A.Arch(), B.Arch()) != 0)
1047 {
1048 if (strcmp(A.Arch(), A.Cache()->NativeArch()) == 0)
1049 return false;
1050 else if (strcmp(B.Arch(), B.Cache()->NativeArch()) == 0)
1051 return true;
1052 std::vector<std::string> archs = APT::Configuration::getArchitectures();
1053 for (std::vector<std::string>::const_iterator a = archs.begin(); a != archs.end(); ++a)
1054 if (*a == A.Arch())
1055 return false;
1056 else if (*a == B.Arch())
1057 return true;
1058 }
096bd9f5
CW
1059 // higher priority seems like a good idea
1060 if (AV->Priority != BV->Priority)
1061 return AV->Priority > BV->Priority;
2b5c35c7
DK
1062 // unable to decide…
1063 return A->ID < B->ID;
1064 }
1065};
3d619a20 1066bool pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
7610bb3d
MV
1067 unsigned long Depth, bool FromUser,
1068 bool ForceImportantDeps)
b2e465d6 1069{
dde0c674 1070 if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
3d619a20 1071 return false;
dde0c674
DK
1072
1073 StateCache &P = PkgState[Pkg->ID];
1074
1075 // See if there is even any possible instalation candidate
1076 if (P.CandidateVer == 0)
3d619a20 1077 return false;
74a05226 1078
6c139d6e
AL
1079 /* Check that it is not already marked for install and that it can be
1080 installed */
60681f93
MV
1081 if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
1082 (P.Mode == ModeInstall ||
6c139d6e
AL
1083 P.CandidateVer == (Version *)Pkg.CurrentVer()))
1084 {
1085 if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
3d619a20
DK
1086 return MarkKeep(Pkg, false, FromUser, Depth+1);
1087 return true;
6c139d6e 1088 }
b2e465d6 1089
be7ce6f1
DK
1090 // check if we are allowed to install the package
1091 if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
1092 return false;
6910a2ac 1093
dde0c674
DK
1094 ActionGroup group(*this);
1095 P.iFlags &= ~AutoKept;
1096
6c139d6e
AL
1097 /* Target the candidate version and remove the autoflag. We reset the
1098 autoflag below if this was called recursively. Otherwise the user
1099 should have the ability to de-auto a package by changing its state */
1100 RemoveSizes(Pkg);
1101 RemoveStates(Pkg);
1102
1103 P.Mode = ModeInstall;
1104 P.InstallVer = P.CandidateVer;
74a05226
MV
1105
1106 if(FromUser)
1107 {
e26a777c
DK
1108 // Set it to manual if it's a new install or already installed,
1109 // but only if its not marked by the autoremover (aptitude depend on this behavior)
1110 // or if we do automatic installation (aptitude never does it)
1111 if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
74a05226
MV
1112 P.Flags &= ~Flag::Auto;
1113 }
1114 else
1115 {
1116 // Set it to auto if this is a new install.
1117 if(P.Status == 2)
1118 P.Flags |= Flag::Auto;
1119 }
6c139d6e
AL
1120 if (P.CandidateVer == (Version *)Pkg.CurrentVer())
1121 P.Mode = ModeKeep;
1122
1123 AddStates(Pkg);
1124 Update(Pkg);
1125 AddSizes(Pkg);
6910a2ac 1126
98278a81 1127 if (AutoInst == false || _config->Find("APT::Solver", "internal") != "internal")
3d619a20 1128 return true;
6c139d6e 1129
af29ffb4 1130 if (DebugMarker == true)
84573326 1131 std::clog << OutputInDepth(Depth) << "MarkInstall " << APT::PrettyPkg(this, Pkg) << " FU=" << FromUser << std::endl;
af29ffb4 1132
5f4495e3 1133 bool MoveAutoBitToDependencies = false;
3cbeed98
DK
1134 VerIterator const PV = P.InstVerIter(*this);
1135 if (unlikely(PV.end() == true))
1136 return false;
5f4495e3
DK
1137 else if (PV->Section != 0 && (P.Flags & Flag::Auto) != Flag::Auto)
1138 {
1139 VerIterator const CurVer = Pkg.CurrentVer();
1140 if (CurVer.end() == false && CurVer->Section != 0 && strcmp(CurVer.Section(), PV.Section()) != 0)
1141 {
1142 bool const CurVerInMoveSection = ConfigValueInSubTree("APT::Move-Autobit-Sections", CurVer.Section());
1143 bool const InstVerInMoveSection = ConfigValueInSubTree("APT::Move-Autobit-Sections", PV.Section());
1144 MoveAutoBitToDependencies = (CurVerInMoveSection == false && InstVerInMoveSection == true);
1145 if (MoveAutoBitToDependencies == true)
1146 {
1147 if(DebugAutoInstall == true)
1148 std::clog << OutputInDepth(Depth) << "Setting " << Pkg.FullName(false) << " as auto-installed, moving manual to its dependencies" << std::endl;
1149 MarkAuto(Pkg, true);
1150 }
1151 }
1152 }
3cbeed98
DK
1153
1154 DepIterator Dep = PV.DependsList();
6c139d6e
AL
1155 for (; Dep.end() != true;)
1156 {
1157 // Grok or groups
1158 DepIterator Start = Dep;
1159 bool Result = true;
b2e465d6 1160 unsigned Ors = 0;
f7f0d6c7 1161 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
6c139d6e
AL
1162 {
1163 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1164
1165 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1166 Result = false;
1167 }
1168
1169 // Dep is satisfied okay.
1170 if (Result == false)
1171 continue;
1172
1173 /* Check if this dep should be consider for install. If it is a user
21b3eac8 1174 defined important dep and we are installed a new package then
4ef9a929 1175 it will be installed. Otherwise we only check for important
21b3eac8 1176 deps that have changed from the installed version */
6c139d6e
AL
1177 if (IsImportantDep(Start) == false)
1178 continue;
e92f6a18 1179
21b3eac8
DK
1180 /* If we are in an or group locate the first or that can
1181 succeed. We have already cached this… */
e92f6a18
DK
1182 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1183 ++Start;
21b3eac8
DK
1184
1185 /* unsatisfiable dependency: IsInstallOkDependenciesSatisfiableByCandidates
1186 would have prevented us to get here if not overridden, so just skip
add81166 1187 over the problem here as the front-end will know what it is doing */
e92f6a18 1188 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
21b3eac8 1189 continue;
e92f6a18 1190
0526822a
DB
1191 /* Check if any ImportantDep() (but not Critical) were added
1192 * since we installed the package. Also check for deps that
1193 * were satisfied in the past: for instance, if a version
1194 * restriction in a Recommends was tightened, upgrading the
1195 * package should follow that Recommends rather than causing the
1196 * dependency to be removed. (bug #470115)
1b1c2224 1197 */
6ed08516 1198 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1b1c2224 1199 {
6ed08516
DK
1200 bool isNewImportantDep = true;
1201 bool isPreviouslySatisfiedImportantDep = false;
1202 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1d722933 1203 {
6ed08516
DK
1204 //FIXME: Should we handle or-group better here?
1205 // We do not check if the package we look for is part of the same or-group
1206 // we might find while searching, but could that really be a problem?
1207 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1208 Start.TargetPkg() != D.TargetPkg())
1209 continue;
1210
1211 isNewImportantDep = false;
1212
1213 while ((D->CompareOp & Dep::Or) != 0)
1214 ++D;
1215
1216 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1217 if (isPreviouslySatisfiedImportantDep == true)
1218 break;
1219 }
1220
1221 if(isNewImportantDep == true)
1222 {
1223 if (DebugAutoInstall == true)
1224 std::clog << OutputInDepth(Depth) << "new important dependency: "
1225 << Start.TargetPkg().FullName() << std::endl;
1226 }
1227 else if(isPreviouslySatisfiedImportantDep == true)
1228 {
1229 if (DebugAutoInstall == true)
1230 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1231 << Start.TargetPkg().FullName() << std::endl;
1232 }
1233 else
1234 {
1235 if (DebugAutoInstall == true)
1236 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1237 << Start.TargetPkg().FullName() << std::endl;
1238 continue;
1d722933 1239 }
1b1c2224 1240 }
6ed08516 1241
1e3f4083 1242 /* This bit is for processing the possibility of an install/upgrade
074da097
DK
1243 fixing the problem for "positive" dependencies */
1244 if (Start.IsNegative() == false && (DepState[Start->ID] & DepCVer) == DepCVer)
6c139d6e 1245 {
9112f777
DK
1246 pkgCacheFile CacheFile(this);
1247 APT::VersionList verlist = APT::VersionList::FromDependency(CacheFile, Start, APT::CacheSetHelper::CANDIDATE);
2b5c35c7 1248 CompareProviders comp(Start);
b2e465d6 1249
66706285
DK
1250 do {
1251 APT::VersionList::iterator InstVer = std::max_element(verlist.begin(), verlist.end(), comp);
1252
1253 if (InstVer == verlist.end())
1254 break;
1255
2b5c35c7 1256 pkgCache::PkgIterator InstPkg = InstVer.ParentPkg();
af29ffb4
MV
1257 if(DebugAutoInstall == true)
1258 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1259 << " as " << Start.DepType() << " of " << Pkg.Name()
d4c5f11f 1260 << std::endl;
66706285
DK
1261 if (MarkInstall(InstPkg, true, Depth + 1, false, ForceImportantDeps) == false)
1262 {
1263 verlist.erase(InstVer);
1264 continue;
1265 }
5f4495e3
DK
1266
1267 // now check if we should consider it a automatic dependency or not
1268 if(InstPkg->CurrentVer == 0 && MoveAutoBitToDependencies)
1269 {
1270 if(DebugAutoInstall == true)
1271 std::clog << OutputInDepth(Depth) << "Setting " << InstPkg.FullName(false) << " NOT as auto-installed (direct "
1272 << Start.DepType() << " of " << Pkg.FullName(false) << " which is manual and in APT::Move-Autobit-Sections)" << std::endl;
1273 MarkAuto(InstPkg, false);
1274 }
1275
1276
66706285
DK
1277 break;
1278 } while(true);
6c139d6e
AL
1279 continue;
1280 }
074da097
DK
1281 /* Negative dependencies have no or-group
1282 If the dependency isn't versioned, we try if an upgrade might solve the problem.
1283 Otherwise we remove the offender if needed */
1284 else if (Start.IsNegative() == true && Start->Type != pkgCache::Dep::Obsoletes)
6c139d6e 1285 {
98cc7fd2 1286 std::unique_ptr<Version *[]> List(Start.AllTargets());
074da097 1287 pkgCache::PkgIterator TrgPkg = Start.TargetPkg();
98cc7fd2 1288 for (Version **I = List.get(); *I != 0; I++)
6c139d6e
AL
1289 {
1290 VerIterator Ver(*this,*I);
1291 PkgIterator Pkg = Ver.ParentPkg();
308c7d30 1292
edbda33b
DK
1293 /* The List includes all packages providing this dependency,
1294 even providers which are not installed, so skip them. */
1295 if (PkgState[Pkg->ID].InstallVer == 0)
1296 continue;
1297
0dfc7eef
MV
1298 /* Ignore negative dependencies that we are not going to
1299 get installed */
1300 if (PkgState[Pkg->ID].InstallVer != *I)
1301 continue;
1302
074da097
DK
1303 if ((Start->Version != 0 || TrgPkg != Pkg) &&
1304 PkgState[Pkg->ID].CandidateVer != PkgState[Pkg->ID].InstallVer &&
1305 PkgState[Pkg->ID].CandidateVer != *I &&
a16dec4d
DK
1306 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps) == true)
1307 continue;
06f88117
MV
1308 else if (Start->Type == pkgCache::Dep::Conflicts ||
1309 Start->Type == pkgCache::Dep::DpkgBreaks)
1310 {
1311 if(DebugAutoInstall == true)
1312 std::clog << OutputInDepth(Depth)
1313 << " Removing: " << Pkg.Name()
1314 << std::endl;
1315 if (MarkDelete(Pkg,false,Depth + 1, false) == false)
1316 break;
1317 }
6c139d6e 1318 }
6c139d6e 1319 continue;
074da097 1320 }
6c139d6e 1321 }
3d619a20 1322
a16dec4d 1323 return Dep.end() == true;
6c139d6e 1324}
92fcbfc1 1325 /*}}}*/
6910a2ac 1326// DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
2d403b92 1327// ---------------------------------------------------------------------
486d190d
DK
1328/* The default implementation checks if the installation of an M-A:same
1329 package would lead us into a version-screw and if so forbids it.
dde0c674 1330 dpkg holds are enforced by the private IsModeChangeOk */
6910a2ac
DK
1331bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1332 unsigned long Depth, bool FromUser)
2d403b92 1333{
21b3eac8
DK
1334 return IsInstallOkMultiArchSameVersionSynced(Pkg,AutoInst, Depth, FromUser) &&
1335 IsInstallOkDependenciesSatisfiableByCandidates(Pkg,AutoInst, Depth, FromUser);
486d190d
DK
1336}
1337bool pkgDepCache::IsInstallOkMultiArchSameVersionSynced(PkgIterator const &Pkg,
65512241 1338 bool const /*AutoInst*/, unsigned long const Depth, bool const FromUser)
486d190d
DK
1339{
1340 if (FromUser == true) // as always: user is always right
1341 return true;
1342
be7ce6f1
DK
1343 // if we have checked before and it was okay, it will still be okay
1344 if (PkgState[Pkg->ID].Mode == ModeInstall &&
1345 PkgState[Pkg->ID].InstallVer == PkgState[Pkg->ID].CandidateVer)
1346 return true;
1347
486d190d
DK
1348 // ignore packages with none-M-A:same candidates
1349 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1350 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer() ||
1351 (CandVer->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
1352 return true;
1353
1354 GrpIterator const Grp = Pkg.Group();
1355 for (PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1356 {
98c9c26c
DK
1357 // not installed or self-check: fine by definition
1358 if (P->CurrentVer == 0 || P == Pkg)
1359 continue;
1360
1361 // not having a candidate or being in sync
486d190d 1362 // (simple string-compare as stuff like '1' == '0:1-0' can't happen here)
98c9c26c 1363 VerIterator CV = PkgState[P->ID].CandidateVerIter(*this);
91414dd7 1364 if (CV.end() == true || strcmp(CandVer.VerStr(), CV.VerStr()) == 0)
486d190d 1365 continue;
98c9c26c 1366
1e3f4083 1367 // packages losing M-A:same can be out-of-sync
98c9c26c 1368 if ((CV->MultiArch & pkgCache::Version::Same) != pkgCache::Version::Same)
486d190d
DK
1369 continue;
1370
1371 // not downloadable means the package is obsolete, so allow out-of-sync
1372 if (CV.Downloadable() == false)
1373 continue;
1374
1375 PkgState[Pkg->ID].iFlags |= AutoKept;
1376 if (unlikely(DebugMarker == true))
84573326
DK
1377 std::clog << OutputInDepth(Depth) << "Ignore MarkInstall of " << APT::PrettyPkg(this, Pkg)
1378 << " as it is not in sync with its M-A:same sibling " << APT::PrettyPkg(this, P)
91414dd7 1379 << " (" << CandVer.VerStr() << " != " << CV.VerStr() << ")" << std::endl;
486d190d
DK
1380 return false;
1381 }
1382
21b3eac8
DK
1383 return true;
1384}
1385bool pkgDepCache::IsInstallOkDependenciesSatisfiableByCandidates(PkgIterator const &Pkg,
1386 bool const AutoInst, unsigned long const Depth, bool const /*FromUser*/)
1387{
1388 if (AutoInst == false)
1389 return true;
1390
1391 VerIterator const CandVer = PkgState[Pkg->ID].CandidateVerIter(*this);
1392 if (unlikely(CandVer.end() == true) || CandVer == Pkg.CurrentVer())
1393 return true;
1394
1395 for (DepIterator Dep = CandVer.DependsList(); Dep.end() != true;)
1396 {
1397 // Grok or groups
1398 DepIterator Start = Dep;
1399 bool Result = true;
1400 unsigned Ors = 0;
1401 for (bool LastOR = true; Dep.end() == false && LastOR == true; ++Dep, ++Ors)
1402 {
1403 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1404
1405 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1406 Result = false;
1407 }
1408
1409 if (Start.IsCritical() == false || Start.IsNegative() == true || Result == false)
1410 continue;
1411
1412 /* If we are in an or group locate the first or that can succeed.
1413 We have already cached this… */
1414 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1415 ++Start;
1416
1417 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer)
1418 {
1419 if (DebugAutoInstall == true)
84573326 1420 std::clog << OutputInDepth(Depth) << APT::PrettyDep(this, Start) << " can't be satisfied!" << std::endl;
21b3eac8
DK
1421
1422 // the dependency is critical, but can't be installed, so discard the candidate
1423 // as the problemresolver will trip over it otherwise trying to install it (#735967)
e41d3d7e 1424 if (Pkg->CurrentVer != 0 && (PkgState[Pkg->ID].iFlags & Protected) != Protected)
0390edd5 1425 {
21b3eac8 1426 SetCandidateVersion(Pkg.CurrentVer());
0390edd5 1427 StateCache &State = PkgState[Pkg->ID];
6df56323
JAK
1428 if (State.Mode != ModeDelete)
1429 {
1430 State.Mode = ModeKeep;
1431 State.Update(Pkg, *this);
1432 }
0390edd5 1433 }
21b3eac8
DK
1434 return false;
1435 }
1436 }
1437
6910a2ac 1438 return true;
2d403b92
MV
1439}
1440 /*}}}*/
d0c59649
AL
1441// DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1442// ---------------------------------------------------------------------
1443/* */
1444void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1445{
1019948c
DK
1446 if (unlikely(Pkg.end() == true))
1447 return;
1448
9535a4db
DK
1449 APT::PackageList pkglist;
1450 if (Pkg->CurrentVer != 0 &&
1451 (Pkg.CurrentVer()-> MultiArch & pkgCache::Version::Same) == pkgCache::Version::Same)
1452 {
1453 pkgCache::GrpIterator Grp = Pkg.Group();
1454 for (pkgCache::PkgIterator P = Grp.PackageList(); P.end() == false; P = Grp.NextPkg(P))
1455 {
1456 if (P->CurrentVer != 0)
1457 pkglist.insert(P);
1458 }
1459 }
1460 else
1461 pkglist.insert(Pkg);
1462
74a05226
MV
1463 ActionGroup group(*this);
1464
9535a4db
DK
1465 for (APT::PackageList::const_iterator Pkg = pkglist.begin(); Pkg != pkglist.end(); ++Pkg)
1466 {
1467 RemoveSizes(Pkg);
1468 RemoveStates(Pkg);
1469
1470 StateCache &P = PkgState[Pkg->ID];
1471 if (To == true)
1472 P.iFlags |= ReInstall;
1473 else
1474 P.iFlags &= ~ReInstall;
1475
1476 AddStates(Pkg);
1477 AddSizes(Pkg);
1478 }
d0c59649
AL
1479}
1480 /*}}}*/
294a8020
DK
1481pkgCache::VerIterator pkgDepCache::GetCandidateVersion(PkgIterator const &Pkg)/*{{{*/
1482{
1483 return PkgState[Pkg->ID].CandidateVerIter(*this);
1484}
1485 /*}}}*/
b2e465d6
AL
1486// DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1487// ---------------------------------------------------------------------
1488/* */
27e8981a 1489void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
b2e465d6
AL
1490{
1491 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1492 StateCache &P = PkgState[Pkg->ID];
74a05226 1493
08fa1cab
DK
1494 if (P.CandidateVer == TargetVer)
1495 return;
1496
1497 ActionGroup group(*this);
1498
b2e465d6
AL
1499 RemoveSizes(Pkg);
1500 RemoveStates(Pkg);
1501
758729c8 1502 if (P.CandidateVer == P.InstallVer && P.Install() == true)
b2e465d6
AL
1503 P.InstallVer = (Version *)TargetVer;
1504 P.CandidateVer = (Version *)TargetVer;
1505 P.Update(Pkg,*this);
1506
1507 AddStates(Pkg);
1508 Update(Pkg);
1509 AddSizes(Pkg);
1019948c 1510
b2e465d6 1511}
08fa1cab 1512 /*}}}*/
2c085486
DK
1513// DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1514// ---------------------------------------------------------------------
1515/* changes the candidate of a package and walks over all its dependencies
1516 to check if it needs to change the candidate of the dependency, too,
1517 to reach a installable versionstate */
1518bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1519 std::string const &TargetRel)
1520{
1521 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1522 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1523}
1524bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1525 std::string const &TargetRel,
1526 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1527{
758729c8 1528 ActionGroup group(*this);
2c085486
DK
1529 SetCandidateVersion(TargetVer);
1530
1531 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1532 return true;
1533
1534 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1535 // save the position of the last element we will not undo - if we have to
1536 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1537
1538 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1539 {
1540 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1541 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1542 IsImportantDep(D) == false))
1543 continue;
1544
1545 // walk over an or-group and check if we need to do anything
1546 // for simpilicity no or-group is handled as a or-group including one dependency
1547 pkgCache::DepIterator Start = D;
1548 bool itsFine = false;
1549 for (bool stillOr = true; stillOr == true; ++Start)
1550 {
1551 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1552 pkgCache::PkgIterator const P = Start.TargetPkg();
1553 // virtual packages can't be a solution
1554 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1555 continue;
1556 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1557 // no versioned dependency - but is it installable?
1558 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1559 {
1560 // Check if one of the providers is installable
1561 if (P->ProvidesList != 0)
1562 {
1563 pkgCache::PrvIterator Prv = P.ProvidesList();
1564 for (; Prv.end() == false; ++Prv)
1565 {
1566 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1567 if (C.end() == true || C != Prv.OwnerVer() ||
1568 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1569 continue;
1570 break;
1571 }
1572 if (Prv.end() == true)
1573 continue;
1574 }
1575 // no providers, so check if we have an installable candidate version
1576 else if (Cand.end() == true ||
1577 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1578 continue;
1579 itsFine = true;
1580 break;
1581 }
1582 if (Cand.end() == true)
1583 continue;
1584 // check if the current candidate is enough for the versioned dependency - and installable?
887c6940 1585 if (Start.IsSatisfied(Cand) == true &&
2c085486
DK
1586 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1587 {
1588 itsFine = true;
1589 break;
1590 }
1591 }
1592
1593 if (itsFine == true) {
1594 // something in the or-group was fine, skip all other members
1595 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1596 continue;
1597 }
1598
1599 // walk again over the or-group and check each if a candidate switch would help
1600 itsFine = false;
1601 for (bool stillOr = true; stillOr == true; ++D)
1602 {
1603 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1604 // changing candidate will not help if the dependency is not versioned
1605 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1606 {
1607 if (stillOr == true)
1608 continue;
1609 break;
1610 }
1611
1612 pkgCache::VerIterator V;
1613 if (TargetRel == "newest")
1614 V = D.TargetPkg().VersionList();
1615 else
1616 V = Match.Find(D.TargetPkg());
1617
1618 // check if the version from this release could satisfy the dependency
887c6940 1619 if (V.end() == true || D.IsSatisfied(V) == false)
2c085486
DK
1620 {
1621 if (stillOr == true)
1622 continue;
1623 break;
1624 }
1625
1626 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1627 if (V == oldCand)
1628 {
1629 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1630 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1631 c != Changed.end(); ++c)
1632 {
1633 if (c->first->ParentPkg != V->ParentPkg)
1634 continue;
1635 itsFine = true;
1636 break;
1637 }
1638 }
1639
1640 if (itsFine == false)
1641 {
1642 // change the candidate
2f5ed336 1643 Changed.push_back(make_pair(V, TargetVer));
2c085486
DK
1644 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1645 {
1646 if (stillOr == false)
1647 break;
1648 // undo the candidate changing
1649 SetCandidateVersion(oldCand);
1650 Changed.pop_back();
1651 continue;
1652 }
1653 itsFine = true;
1654 }
1655
1656 // something in the or-group was fine, skip all other members
1657 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1658 break;
1659 }
1660
1661 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1662 {
1663 // undo all changes which aren't lead to a solution
1664 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1665 c != Changed.end(); ++c)
1666 SetCandidateVersion(c->first);
1667 Changed.erase(newChanged, Changed.end());
1668 return false;
1669 }
1670 }
1671 return true;
1672}
1673 /*}}}*/
08fa1cab
DK
1674// DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1675// ---------------------------------------------------------------------
1676/* */
74a05226
MV
1677void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1678{
1679 StateCache &state = PkgState[Pkg->ID];
1680
1681 ActionGroup group(*this);
1682
1683 if(Auto)
1684 state.Flags |= Flag::Auto;
1685 else
1686 state.Flags &= ~Flag::Auto;
1687}
b2e465d6 1688 /*}}}*/
6c139d6e
AL
1689// StateCache::Update - Compute the various static display things /*{{{*/
1690// ---------------------------------------------------------------------
1691/* This is called whenever the Candidate version changes. */
1692void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1693{
1694 // Some info
1695 VerIterator Ver = CandidateVerIter(Cache);
1696
1697 // Use a null string or the version string
1698 if (Ver.end() == true)
1699 CandVersion = "";
1700 else
1701 CandVersion = Ver.VerStr();
1702
1703 // Find the current version
1704 CurVersion = "";
1705 if (Pkg->CurrentVer != 0)
1706 CurVersion = Pkg.CurrentVer().VerStr();
a38cec81 1707
6c139d6e
AL
1708 // Figure out if its up or down or equal
1709 Status = Ver.CompareVer(Pkg.CurrentVer());
1710 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1711 Status = 2;
1712}
1713 /*}}}*/
1714// StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1715// ---------------------------------------------------------------------
1716/* */
1717const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1718{
1719 if (Ver == 0)
1720 return 0;
1721
1722 // Strip any epoch
fd23676e
DK
1723 char const * const I = strchr(Ver, ':');
1724 if (I == nullptr)
1725 return Ver;
1726 return I + 1;
6c139d6e
AL
1727}
1728 /*}}}*/
b2e465d6 1729// Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
6321777b 1730// ---------------------------------------------------------------------
b2e465d6
AL
1731/* The default just returns the highest available version that is not
1732 a source and automatic. */
e841200b 1733pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
6321777b 1734{
b2e465d6
AL
1735 /* Not source/not automatic versions cannot be a candidate version
1736 unless they are already installed */
de6221c9 1737 VerIterator Last;
6321777b 1738
f7f0d6c7 1739 for (VerIterator I = Pkg.VersionList(); I.end() == false; ++I)
b2e465d6
AL
1740 {
1741 if (Pkg.CurrentVer() == I)
1742 return I;
1743
f7f0d6c7 1744 for (VerFileIterator J = I.FileList(); J.end() == false; ++J)
b2e465d6 1745 {
b07aeb1a 1746 if (J.File().Flagged(Flag::NotSource))
b2e465d6
AL
1747 continue;
1748
1749 /* Stash the highest version of a not-automatic source, we use it
1750 if there is nothing better */
b07aeb1a
DK
1751 if (J.File().Flagged(Flag::NotAutomatic) ||
1752 J.File().Flagged(Flag::ButAutomaticUpgrades))
b2e465d6
AL
1753 {
1754 if (Last.end() == true)
1755 Last = I;
1756 continue;
1757 }
1758
1759 return I;
1760 }
1761 }
6321777b 1762
b2e465d6
AL
1763 return Last;
1764}
1765 /*}}}*/
1766// Policy::IsImportantDep - True if the dependency is important /*{{{*/
1767// ---------------------------------------------------------------------
1768/* */
fd23676e 1769bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep) const
b2e465d6 1770{
60681f93
MV
1771 if(Dep.IsCritical())
1772 return true;
fd23676e 1773 else if(Dep->Type == pkgCache::Dep::Recommends)
1d722933 1774 {
b20c1683 1775 if (InstallRecommends)
1d722933
MV
1776 return true;
1777 // we suport a special mode to only install-recommends for certain
1778 // sections
fd23676e 1779 // FIXME: this is a meant as a temporarly solution until the
1d722933 1780 // recommends are cleaned up
cb1933df
MV
1781 const char *sec = Dep.ParentVer().Section();
1782 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1783 return true;
1d722933 1784 }
60681f93 1785 else if(Dep->Type == pkgCache::Dep::Suggests)
b20c1683 1786 return InstallSuggests;
60681f93 1787
74a05226
MV
1788 return false;
1789}
92fcbfc1 1790 /*}}}*/
6d38011b 1791// Policy::GetPriority - Get the priority of the package pin /*{{{*/
a02db58f 1792APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &/*Pkg*/)
d3e8fbb3 1793{ return 0; }
a0a66955
JAK
1794APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::VerIterator const &/*Ver*/, bool /*ConsiderFiles*/)
1795{ return 0; }
a02db58f 1796APT_CONST signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &/*File*/)
d3e8fbb3 1797{ return 0; }
6d38011b 1798 /*}}}*/
92fcbfc1 1799pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
74a05226
MV
1800{
1801 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1802 if(f->wasConstructedSuccessfully())
1803 return f;
1804 else
1805 {
1806 delete f;
1807 return NULL;
1808 }
1809}
92fcbfc1 1810 /*}}}*/
74a05226
MV
1811bool pkgDepCache::MarkFollowsRecommends()
1812{
1813 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1814}
1815
1816bool pkgDepCache::MarkFollowsSuggests()
1817{
db4351be 1818 return _config->FindB("APT::AutoRemove::SuggestsImportant", true);
74a05226
MV
1819}
1820
92fcbfc1 1821// pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
74a05226
MV
1822bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1823{
98278a81 1824 if (_config->Find("APT::Solver", "internal") != "internal")
76d4aab0
DK
1825 return true;
1826
fd23676e 1827 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
74a05226
MV
1828
1829 // init the states
fd23676e
DK
1830 map_id_t const PackagesCount = Head().PackageCount;
1831 for(map_id_t i = 0; i < PackagesCount; ++i)
74a05226 1832 {
fd23676e
DK
1833 PkgState[i].Marked = false;
1834 PkgState[i].Garbage = false;
74a05226 1835 }
fd23676e
DK
1836 if (debug_autoremove)
1837 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1838 if(PkgState[p->ID].Flags & Flag::Auto)
1839 std::clog << "AutoDep: " << p.FullName() << std::endl;
74a05226 1840
fd23676e
DK
1841 bool const follow_recommends = MarkFollowsRecommends();
1842 bool const follow_suggests = MarkFollowsSuggests();
74a05226 1843
74a05226
MV
1844 // do the mark part, this is the core bit of the algorithm
1845 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1846 {
1847 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1848 (p->Flags & Flag::Essential) ||
c5200869 1849 (p->Flags & Flag::Important) ||
83789130
DK
1850 userFunc.InRootSet(p) ||
1851 // be nice even then a required package violates the policy (#583517)
1852 // and do the full mark process also for required packages
1853 (p.CurrentVer().end() != true &&
8fa042ca
DK
1854 p.CurrentVer()->Priority == pkgCache::State::Required) ||
1855 // packages which can't be changed (like holds) can't be garbage
1856 (IsModeChangeOk(ModeGarbage, p, 0, false) == false))
74a05226
MV
1857 {
1858 // the package is installed (and set to keep)
1859 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
83860e37 1860 MarkPackage(p, p.CurrentVer(),
74a05226
MV
1861 follow_recommends, follow_suggests);
1862 // the package is to be installed
1863 else if(PkgState[p->ID].Install())
1864 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1865 follow_recommends, follow_suggests);
1866 }
1867 }
1868
1869 return true;
1870}
92fcbfc1
DK
1871 /*}}}*/
1872// MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
74a05226
MV
1873void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1874 const pkgCache::VerIterator &ver,
e0b94b97
DK
1875 bool const &follow_recommends,
1876 bool const &follow_suggests)
74a05226
MV
1877{
1878 pkgDepCache::StateCache &state = PkgState[pkg->ID];
e0b94b97
DK
1879
1880 // if we are marked already we are done
1881 if(state.Marked)
1882 return;
1883
1884 VerIterator const currver = pkg.CurrentVer();
e0b94b97 1885 VerIterator const instver = state.InstVerIter(*this);
74a05226
MV
1886
1887#if 0
cda456d7
DK
1888 VerIterator const candver = state.CandidateVerIter(*this);
1889
74a05226
MV
1890 // If a package was garbage-collected but is now being marked, we
1891 // should re-select it
1892 // For cases when a pkg is set to upgrade and this trigger the
1893 // removal of a no-longer used dependency. if the pkg is set to
1894 // keep again later it will result in broken deps
1895 if(state.Delete() && state.RemoveReason = Unused)
1896 {
1897 if(ver==candver)
1898 mark_install(pkg, false, false, NULL);
1899 else if(ver==pkg.CurrentVer())
1900 MarkKeep(pkg, false, false);
1901
1902 instver=state.InstVerIter(*this);
1903 }
1904#endif
1905
36baa77a
MV
1906 // For packages that are not going to be removed, ignore versions
1907 // other than the InstVer. For packages that are going to be
1908 // removed, ignore versions other than the current version.
1909 if(!(ver == instver && !instver.end()) &&
1910 !(ver == currver && instver.end() && !ver.end()))
74a05226
MV
1911 return;
1912
e0b94b97 1913 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
74a05226 1914
95afdfd0 1915 if(debug_autoremove)
83860e37 1916 {
e0b94b97 1917 std::clog << "Marking: " << pkg.FullName();
83860e37
DB
1918 if(!ver.end())
1919 std::clog << " " << ver.VerStr();
1920 if(!currver.end())
1921 std::clog << ", Curr=" << currver.VerStr();
1922 if(!instver.end())
1923 std::clog << ", Inst=" << instver.VerStr();
1924 std::clog << std::endl;
1925 }
1926
74a05226
MV
1927 state.Marked=true;
1928
e0b94b97
DK
1929 if(ver.end() == true)
1930 return;
1931
74a05226
MV
1932 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1933 {
1934 if(d->Type == Dep::Depends ||
1935 d->Type == Dep::PreDepends ||
1936 (follow_recommends &&
1937 d->Type == Dep::Recommends) ||
1938 (follow_suggests &&
1939 d->Type == Dep::Suggests))
1940 {
1941 // Try all versions of this package.
1942 for(VerIterator V = d.TargetPkg().VersionList();
1943 !V.end(); ++V)
1944 {
887c6940 1945 if(d.IsSatisfied(V))
74a05226 1946 {
95afdfd0 1947 if(debug_autoremove)
83860e37 1948 {
e0b94b97 1949 std::clog << "Following dep: " << d.ParentPkg().FullName()
83860e37 1950 << " " << d.ParentVer().VerStr() << " "
e0b94b97 1951 << d.DepType() << " " << d.TargetPkg().FullName();
83860e37
DB
1952 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1953 {
1954 std::clog << " (" << d.CompType() << " "
1955 << d.TargetVer() << ")";
1956 }
1957 std::clog << std::endl;
1958 }
e0b94b97 1959 MarkPackage(V.ParentPkg(), V,
74a05226
MV
1960 follow_recommends, follow_suggests);
1961 }
1962 }
1963 // Now try virtual packages
1964 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1965 !prv.end(); ++prv)
1966 {
887c6940 1967 if(d.IsSatisfied(prv))
74a05226 1968 {
95afdfd0 1969 if(debug_autoremove)
83860e37 1970 {
e0b94b97
DK
1971 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1972 << d.ParentVer().VerStr() << " "
1973 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
83860e37
DB
1974 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1975 {
1976 std::clog << " (" << d.CompType() << " "
1977 << d.TargetVer() << ")";
1978 }
1979 std::clog << ", provided by "
e0b94b97 1980 << prv.OwnerPkg().FullName() << " "
83860e37
DB
1981 << prv.OwnerVer().VerStr()
1982 << std::endl;
1983 }
1984
74a05226
MV
1985 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1986 follow_recommends, follow_suggests);
1987 }
1988 }
1989 }
1990 }
74a05226 1991}
92fcbfc1
DK
1992 /*}}}*/
1993bool pkgDepCache::Sweep() /*{{{*/
74a05226 1994{
95afdfd0
OS
1995 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1996
74a05226
MV
1997 // do the sweep
1998 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
95afdfd0 1999 {
74a05226
MV
2000 StateCache &state=PkgState[p->ID];
2001
c9b320e8
MV
2002 // skip required packages
2003 if (!p.CurrentVer().end() &&
2004 (p.CurrentVer()->Priority == pkgCache::State::Required))
2005 continue;
2006
74a05226 2007 // if it is not marked and it is installed, it's garbage
32085498 2008 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
74a05226
MV
2009 {
2010 state.Garbage=true;
95afdfd0 2011 if(debug_autoremove)
6ee2b0f8 2012 std::clog << "Garbage: " << p.FullName() << std::endl;
74a05226
MV
2013 }
2014 }
2015
2016 return true;
2017}
92fcbfc1 2018 /*}}}*/
107d054b
DK
2019// DepCache::MarkAndSweep /*{{{*/
2020bool pkgDepCache::MarkAndSweep(InRootSetFunc &rootFunc)
2021{
2022 return MarkRequired(rootFunc) && Sweep();
2023}
2024bool pkgDepCache::MarkAndSweep()
2025{
47c37a1b 2026 std::unique_ptr<InRootSetFunc> f(GetRootSetFunc());
107d054b
DK
2027 if(f.get() != NULL)
2028 return MarkAndSweep(*f.get());
2029 else
2030 return false;
2031}
2032 /*}}}*/