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