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