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