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