1 // -*- mode: cpp; mode: fold -*-
3 // $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
4 /* ######################################################################
6 Dependency Cache - Caches Dependency information.
8 ##################################################################### */
10 // Include Files /*{{{*/
11 #include <apt-pkg/depcache.h>
12 #include <apt-pkg/version.h>
13 #include <apt-pkg/error.h>
14 #include <apt-pkg/sptr.h>
15 #include <apt-pkg/algorithms.h>
17 #include <apt-pkg/fileutl.h>
18 #include <apt-pkg/strutl.h>
19 #include <apt-pkg/configuration.h>
20 #include <apt-pkg/pkgsystem.h>
21 #include <apt-pkg/tagfile.h>
31 // helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
33 ConfigValueInSubTree(const char* SubTree
, const char *needle
)
35 Configuration::Item
const *Opts
;
36 Opts
= _config
->Tree(SubTree
);
37 if (Opts
!= 0 && Opts
->Child
!= 0)
40 for (; Opts
!= 0; Opts
= Opts
->Next
)
42 if (Opts
->Value
.empty() == true)
44 if (strcmp(needle
, Opts
->Value
.c_str()) == 0)
51 pkgDepCache::ActionGroup::ActionGroup(pkgDepCache
&cache
) : /*{{{*/
52 cache(cache
), released(false)
57 void pkgDepCache::ActionGroup::release()
61 if(cache
.group_level
== 0)
62 std::cerr
<< "W: Unbalanced action groups, expect badness" << std::endl
;
67 if(cache
.group_level
== 0)
75 pkgDepCache::ActionGroup::~ActionGroup()
80 // DepCache::pkgDepCache - Constructors /*{{{*/
81 // ---------------------------------------------------------------------
83 pkgDepCache::pkgDepCache(pkgCache
*pCache
,Policy
*Plcy
) :
84 group_level(0), Cache(pCache
), PkgState(0), DepState(0)
86 DebugMarker
= _config
->FindB("Debug::pkgDepCache::Marker", false);
87 DebugAutoInstall
= _config
->FindB("Debug::pkgDepCache::AutoInstall", false);
91 delLocalPolicy
= LocalPolicy
= new Policy
;
94 // DepCache::~pkgDepCache - Destructor /*{{{*/
95 // ---------------------------------------------------------------------
97 pkgDepCache::~pkgDepCache()
101 delete delLocalPolicy
;
104 // DepCache::Init - Generate the initial extra structures. /*{{{*/
105 // ---------------------------------------------------------------------
106 /* This allocats the extension buffers and initializes them. */
107 bool pkgDepCache::Init(OpProgress
*Prog
)
109 // Suppress mark updates during this operation (just in case) and
110 // run a mark operation when Init terminates.
111 ActionGroup
actions(*this);
115 PkgState
= new StateCache
[Head().PackageCount
];
116 DepState
= new unsigned char[Head().DependsCount
];
117 memset(PkgState
,0,sizeof(*PkgState
)*Head().PackageCount
);
118 memset(DepState
,0,sizeof(*DepState
)*Head().DependsCount
);
122 Prog
->OverallProgress(0,2*Head().PackageCount
,Head().PackageCount
,
123 _("Building dependency tree"));
124 Prog
->SubProgress(Head().PackageCount
,_("Candidate versions"));
127 /* Set the current state of everything. In this state all of the
128 packages are kept exactly as is. See AllUpgrade */
130 for (PkgIterator I
= PkgBegin(); I
.end() != true; I
++,Done
++)
133 Prog
->Progress(Done
);
135 // Find the proper cache slot
136 StateCache
&State
= PkgState
[I
->ID
];
139 // Figure out the install version
140 State
.CandidateVer
= GetCandidateVer(I
);
141 State
.InstallVer
= I
.CurrentVer();
142 State
.Mode
= ModeKeep
;
144 State
.Update(I
,*this);
150 Prog
->OverallProgress(Head().PackageCount
,2*Head().PackageCount
,
152 _("Building dependency tree"));
153 Prog
->SubProgress(Head().PackageCount
,_("Dependency generation"));
164 bool pkgDepCache::readStateFile(OpProgress
*Prog
) /*{{{*/
167 string state
= _config
->FindDir("Dir::State") + "extended_states";
168 if(FileExists(state
)) {
169 state_file
.Open(state
, FileFd::ReadOnly
);
170 int file_size
= state_file
.Size();
172 Prog
->OverallProgress(0, file_size
, 1,
173 _("Reading state information"));
175 pkgTagFile
tagfile(&state_file
);
176 pkgTagSection section
;
178 while(tagfile
.Step(section
)) {
179 string pkgname
= section
.FindS("Package");
180 pkgCache::PkgIterator pkg
=Cache
->FindPkg(pkgname
);
181 // Silently ignore unknown packages and packages with no actual
183 if(!pkg
.end() && !pkg
.VersionList().end()) {
184 short reason
= section
.FindI("Auto-Installed", 0);
186 PkgState
[pkg
->ID
].Flags
|= Flag::Auto
;
187 if(_config
->FindB("Debug::pkgAutoRemove",false))
188 std::cout
<< "Auto-Installed : " << pkgname
<< std::endl
;
191 Prog
->OverallProgress(amt
, file_size
, 1,
192 _("Reading state information"));
195 Prog
->OverallProgress(file_size
, file_size
, 1,
196 _("Reading state information"));
203 bool pkgDepCache::writeStateFile(OpProgress
*prog
, bool InstalledOnly
) /*{{{*/
205 if(_config
->FindB("Debug::pkgAutoRemove",false))
206 std::clog
<< "pkgDepCache::writeStateFile()" << std::endl
;
209 string state
= _config
->FindDir("Dir::State") + "extended_states";
211 // if it does not exist, create a empty one
212 if(!FileExists(state
))
214 StateFile
.Open(state
, FileFd::WriteEmpty
);
219 if(!StateFile
.Open(state
, FileFd::ReadOnly
))
220 return _error
->Error(_("Failed to open StateFile %s"),
224 string outfile
= state
+ ".tmp";
225 if((OutFile
= fopen(outfile
.c_str(),"w")) == NULL
)
226 return _error
->Error(_("Failed to write temporary StateFile %s"),
229 // first merge with the existing sections
230 pkgTagFile
tagfile(&StateFile
);
231 pkgTagSection section
;
232 std::set
<string
> pkgs_seen
;
233 const char *nullreorderlist
[] = {0};
234 while(tagfile
.Step(section
)) {
235 string pkgname
= section
.FindS("Package");
236 // Silently ignore unknown packages and packages with no actual
238 pkgCache::PkgIterator pkg
=Cache
->FindPkg(pkgname
);
239 if(pkg
.end() || pkg
.VersionList().end())
241 bool newAuto
= (PkgState
[pkg
->ID
].Flags
& Flag::Auto
);
242 if(_config
->FindB("Debug::pkgAutoRemove",false))
243 std::clog
<< "Update exisiting AutoInstall info: "
244 << pkg
.Name() << std::endl
;
245 TFRewriteData rewrite
[2];
246 rewrite
[0].Tag
= "Auto-Installed";
247 rewrite
[0].Rewrite
= newAuto
? "1" : "0";
248 rewrite
[0].NewTag
= 0;
250 TFRewrite(OutFile
, section
, nullreorderlist
, rewrite
);
251 fprintf(OutFile
,"\n");
252 pkgs_seen
.insert(pkgname
);
255 // then write the ones we have not seen yet
256 std::ostringstream ostr
;
257 for(pkgCache::PkgIterator pkg
=Cache
->PkgBegin(); !pkg
.end(); pkg
++) {
258 if(PkgState
[pkg
->ID
].Flags
& Flag::Auto
) {
259 if (pkgs_seen
.find(pkg
.Name()) != pkgs_seen
.end()) {
260 if(_config
->FindB("Debug::pkgAutoRemove",false))
261 std::clog
<< "Skipping already written " << pkg
.Name() << std::endl
;
264 // skip not installed ones if requested
265 if(InstalledOnly
&& pkg
->CurrentVer
== 0)
267 if(_config
->FindB("Debug::pkgAutoRemove",false))
268 std::clog
<< "Writing new AutoInstall: "
269 << pkg
.Name() << std::endl
;
270 ostr
.str(string(""));
271 ostr
<< "Package: " << pkg
.Name()
272 << "\nAuto-Installed: 1\n\n";
273 fprintf(OutFile
,"%s",ostr
.str().c_str());
274 fprintf(OutFile
,"\n");
279 // move the outfile over the real file and set permissions
280 rename(outfile
.c_str(), state
.c_str());
281 chmod(state
.c_str(), 0644);
286 // DepCache::CheckDep - Checks a single dependency /*{{{*/
287 // ---------------------------------------------------------------------
288 /* This first checks the dependency against the main target package and
289 then walks along the package provides list and checks if each provides
290 will be installed then checks the provides against the dep. Res will be
291 set to the package which was used to satisfy the dep. */
292 bool pkgDepCache::CheckDep(DepIterator Dep
,int Type
,PkgIterator
&Res
)
294 Res
= Dep
.TargetPkg();
296 /* Check simple depends. A depends -should- never self match but
297 we allow it anyhow because dpkg does. Technically it is a packaging
298 bug. Conflicts may never self match */
299 if (Dep
.TargetPkg() != Dep
.ParentPkg() ||
300 (Dep
->Type
!= Dep::Conflicts
&& Dep
->Type
!= Dep::DpkgBreaks
&& Dep
->Type
!= Dep::Obsoletes
))
302 PkgIterator Pkg
= Dep
.TargetPkg();
303 // Check the base package
304 if (Type
== NowVersion
&& Pkg
->CurrentVer
!= 0)
305 if (VS().CheckDep(Pkg
.CurrentVer().VerStr(),Dep
->CompareOp
,
306 Dep
.TargetVer()) == true)
309 if (Type
== InstallVersion
&& PkgState
[Pkg
->ID
].InstallVer
!= 0)
310 if (VS().CheckDep(PkgState
[Pkg
->ID
].InstVerIter(*this).VerStr(),
311 Dep
->CompareOp
,Dep
.TargetVer()) == true)
314 if (Type
== CandidateVersion
&& PkgState
[Pkg
->ID
].CandidateVer
!= 0)
315 if (VS().CheckDep(PkgState
[Pkg
->ID
].CandidateVerIter(*this).VerStr(),
316 Dep
->CompareOp
,Dep
.TargetVer()) == true)
320 if (Dep
->Type
== Dep::Obsoletes
)
323 // Check the providing packages
324 PrvIterator P
= Dep
.TargetPkg().ProvidesList();
325 PkgIterator Pkg
= Dep
.ParentPkg();
326 for (; P
.end() != true; P
++)
328 /* Provides may never be applied against the same package if it is
329 a conflicts. See the comment above. */
330 if (P
.OwnerPkg() == Pkg
&&
331 (Dep
->Type
== Dep::Conflicts
|| Dep
->Type
== Dep::DpkgBreaks
))
334 // Check if the provides is a hit
335 if (Type
== NowVersion
)
337 if (P
.OwnerPkg().CurrentVer() != P
.OwnerVer())
341 if (Type
== InstallVersion
)
343 StateCache
&State
= PkgState
[P
.OwnerPkg()->ID
];
344 if (State
.InstallVer
!= (Version
*)P
.OwnerVer())
348 if (Type
== CandidateVersion
)
350 StateCache
&State
= PkgState
[P
.OwnerPkg()->ID
];
351 if (State
.CandidateVer
!= (Version
*)P
.OwnerVer())
355 // Compare the versions.
356 if (VS().CheckDep(P
.ProvideVersion(),Dep
->CompareOp
,Dep
.TargetVer()) == true)
366 // DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
367 // ---------------------------------------------------------------------
368 /* Call with Mult = -1 to preform the inverse opration */
369 void pkgDepCache::AddSizes(const PkgIterator
&Pkg
,signed long Mult
)
371 StateCache
&P
= PkgState
[Pkg
->ID
];
373 if (Pkg
->VersionList
== 0)
376 if (Pkg
.State() == pkgCache::PkgIterator::NeedsConfigure
&&
380 // Compute the size data
381 if (P
.NewInstall() == true)
383 iUsrSize
+= (signed)(Mult
*P
.InstVerIter(*this)->InstalledSize
);
384 iDownloadSize
+= (signed)(Mult
*P
.InstVerIter(*this)->Size
);
389 if (Pkg
->CurrentVer
!= 0 &&
390 (P
.InstallVer
!= (Version
*)Pkg
.CurrentVer() ||
391 (P
.iFlags
& ReInstall
) == ReInstall
) && P
.InstallVer
!= 0)
393 iUsrSize
+= (signed)(Mult
*((signed)P
.InstVerIter(*this)->InstalledSize
-
394 (signed)Pkg
.CurrentVer()->InstalledSize
));
395 iDownloadSize
+= (signed)(Mult
*P
.InstVerIter(*this)->Size
);
400 if (Pkg
.State() == pkgCache::PkgIterator::NeedsUnpack
&&
403 iDownloadSize
+= (signed)(Mult
*P
.InstVerIter(*this)->Size
);
408 if (Pkg
->CurrentVer
!= 0 && P
.InstallVer
== 0)
410 iUsrSize
-= (signed)(Mult
*Pkg
.CurrentVer()->InstalledSize
);
415 // DepCache::AddStates - Add the package to the state counter /*{{{*/
416 // ---------------------------------------------------------------------
417 /* This routine is tricky to use, you must make sure that it is never
418 called twice for the same package. This means the Remove/Add section
419 should be as short as possible and not encompass any code that will
420 calld Remove/Add itself. Remember, dependencies can be circular so
421 while processing a dep for Pkg it is possible that Add/Remove
422 will be called on Pkg */
423 void pkgDepCache::AddStates(const PkgIterator
&Pkg
,int Add
)
425 StateCache
&State
= PkgState
[Pkg
->ID
];
427 // The Package is broken (either minimal dep or policy dep)
428 if ((State
.DepState
& DepInstMin
) != DepInstMin
)
430 if ((State
.DepState
& DepInstPolicy
) != DepInstPolicy
)
431 iPolicyBrokenCount
+= Add
;
434 if (Pkg
.State() != PkgIterator::NeedsNothing
)
438 if (Pkg
->CurrentVer
== 0)
440 if (State
.Mode
== ModeDelete
&&
441 (State
.iFlags
| Purge
) == Purge
&& Pkg
.Purge() == false)
444 if (State
.Mode
== ModeInstall
)
449 // Installed, no upgrade
450 if (State
.Status
== 0)
452 if (State
.Mode
== ModeDelete
)
455 if ((State
.iFlags
& ReInstall
) == ReInstall
)
461 // Alll 3 are possible
462 if (State
.Mode
== ModeDelete
)
464 if (State
.Mode
== ModeKeep
)
466 if (State
.Mode
== ModeInstall
)
470 // DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
471 // ---------------------------------------------------------------------
472 /* The or group results are stored in the last item of the or group. This
473 allows easy detection of the state of a whole or'd group. */
474 void pkgDepCache::BuildGroupOrs(VerIterator
const &V
)
476 unsigned char Group
= 0;
478 for (DepIterator D
= V
.DependsList(); D
.end() != true; D
++)
480 // Build the dependency state.
481 unsigned char &State
= DepState
[D
->ID
];
483 /* Invert for Conflicts. We have to do this twice to get the
484 right sense for a conflicts group */
485 if (D
->Type
== Dep::Conflicts
||
486 D
->Type
== Dep::DpkgBreaks
||
487 D
->Type
== Dep::Obsoletes
)
490 // Add to the group if we are within an or..
494 if ((D
->CompareOp
& Dep::Or
) != Dep::Or
)
497 // Invert for Conflicts
498 if (D
->Type
== Dep::Conflicts
||
499 D
->Type
== Dep::DpkgBreaks
||
500 D
->Type
== Dep::Obsoletes
)
505 // DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
506 // ---------------------------------------------------------------------
507 /* This is used to run over a dependency list and determine the dep
508 state of the list, filtering it through both a Min check and a Policy
509 check. The return result will have SetMin/SetPolicy low if a check
510 fails. It uses the DepState cache for it's computations. */
511 unsigned char pkgDepCache::VersionState(DepIterator D
,unsigned char Check
,
512 unsigned char SetMin
,
513 unsigned char SetPolicy
)
515 unsigned char Dep
= 0xFF;
517 while (D
.end() != true)
519 // Compute a single dependency element (glob or)
520 DepIterator Start
= D
;
521 unsigned char State
= 0;
522 for (bool LastOR
= true; D
.end() == false && LastOR
== true; D
++)
524 State
|= DepState
[D
->ID
];
525 LastOR
= (D
->CompareOp
& Dep::Or
) == Dep::Or
;
528 // Minimum deps that must be satisfied to have a working package
529 if (Start
.IsCritical() == true)
530 if ((State
& Check
) != Check
)
533 // Policy deps that must be satisfied to install the package
534 if (IsImportantDep(Start
) == true &&
535 (State
& Check
) != Check
)
542 // DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
543 // ---------------------------------------------------------------------
544 /* This is the main dependency computation bit. It computes the 3 main
545 results for a dependencys, Now, Install and Candidate. Callers must
546 invert the result if dealing with conflicts. */
547 unsigned char pkgDepCache::DependencyState(DepIterator
&D
)
549 unsigned char State
= 0;
551 if (CheckDep(D
,NowVersion
) == true)
553 if (CheckDep(D
,InstallVersion
) == true)
555 if (CheckDep(D
,CandidateVersion
) == true)
561 // DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
562 // ---------------------------------------------------------------------
563 /* This determines the combined dependency representation of a package
564 for its two states now and install. This is done by using the pre-generated
565 dependency information. */
566 void pkgDepCache::UpdateVerState(PkgIterator Pkg
)
568 // Empty deps are always true
569 StateCache
&State
= PkgState
[Pkg
->ID
];
570 State
.DepState
= 0xFF;
572 // Check the Current state
573 if (Pkg
->CurrentVer
!= 0)
575 DepIterator D
= Pkg
.CurrentVer().DependsList();
576 State
.DepState
&= VersionState(D
,DepNow
,DepNowMin
,DepNowPolicy
);
579 /* Check the candidate state. We do not compare against the whole as
580 a candidate state but check the candidate version against the
582 if (State
.CandidateVer
!= 0)
584 DepIterator D
= State
.CandidateVerIter(*this).DependsList();
585 State
.DepState
&= VersionState(D
,DepInstall
,DepCandMin
,DepCandPolicy
);
588 // Check target state which can only be current or installed
589 if (State
.InstallVer
!= 0)
591 DepIterator D
= State
.InstVerIter(*this).DependsList();
592 State
.DepState
&= VersionState(D
,DepInstall
,DepInstMin
,DepInstPolicy
);
596 // DepCache::Update - Figure out all the state information /*{{{*/
597 // ---------------------------------------------------------------------
598 /* This will figure out the state of all the packages and all the
599 dependencies based on the current policy. */
600 void pkgDepCache::Update(OpProgress
*Prog
)
610 // Perform the depends pass
612 for (PkgIterator I
= PkgBegin(); I
.end() != true; I
++,Done
++)
614 if (Prog
!= 0 && Done%20
== 0)
615 Prog
->Progress(Done
);
616 for (VerIterator V
= I
.VersionList(); V
.end() != true; V
++)
618 unsigned char Group
= 0;
620 for (DepIterator D
= V
.DependsList(); D
.end() != true; D
++)
622 // Build the dependency state.
623 unsigned char &State
= DepState
[D
->ID
];
624 State
= DependencyState(D
);
626 // Add to the group if we are within an or..
629 if ((D
->CompareOp
& Dep::Or
) != Dep::Or
)
632 // Invert for Conflicts
633 if (D
->Type
== Dep::Conflicts
||
634 D
->Type
== Dep::DpkgBreaks
||
635 D
->Type
== Dep::Obsoletes
)
640 // Compute the pacakge dependency state and size additions
647 Prog
->Progress(Done
);
652 // DepCache::Update - Update the deps list of a package /*{{{*/
653 // ---------------------------------------------------------------------
654 /* This is a helper for update that only does the dep portion of the scan.
655 It is mainly meant to scan reverse dependencies. */
656 void pkgDepCache::Update(DepIterator D
)
658 // Update the reverse deps
659 for (;D
.end() != true; D
++)
661 unsigned char &State
= DepState
[D
->ID
];
662 State
= DependencyState(D
);
664 // Invert for Conflicts
665 if (D
->Type
== Dep::Conflicts
||
666 D
->Type
== Dep::DpkgBreaks
||
667 D
->Type
== Dep::Obsoletes
)
670 RemoveStates(D
.ParentPkg());
671 BuildGroupOrs(D
.ParentVer());
672 UpdateVerState(D
.ParentPkg());
673 AddStates(D
.ParentPkg());
677 // DepCache::Update - Update the related deps of a package /*{{{*/
678 // ---------------------------------------------------------------------
679 /* This is called whenever the state of a package changes. It updates
680 all cached dependencies related to this package. */
681 void pkgDepCache::Update(PkgIterator
const &Pkg
)
683 // Recompute the dep of the package
688 // Update the reverse deps
689 Update(Pkg
.RevDependsList());
691 // Update the provides map for the current ver
692 if (Pkg
->CurrentVer
!= 0)
693 for (PrvIterator P
= Pkg
.CurrentVer().ProvidesList();
694 P
.end() != true; P
++)
695 Update(P
.ParentPkg().RevDependsList());
697 // Update the provides map for the candidate ver
698 if (PkgState
[Pkg
->ID
].CandidateVer
!= 0)
699 for (PrvIterator P
= PkgState
[Pkg
->ID
].CandidateVerIter(*this).ProvidesList();
700 P
.end() != true; P
++)
701 Update(P
.ParentPkg().RevDependsList());
704 // DepCache::MarkKeep - Put the package in the keep state /*{{{*/
705 // ---------------------------------------------------------------------
707 void pkgDepCache::MarkKeep(PkgIterator
const &Pkg
, bool Soft
, bool FromUser
,
710 // Simplifies other routines.
711 if (Pkg
.end() == true)
714 /* Reject an attempt to keep a non-source broken installed package, those
716 if (Pkg
.State() == PkgIterator::NeedsUnpack
&&
717 Pkg
.CurrentVer().Downloadable() == false)
720 /** \todo Can this be moved later in the method? */
721 ActionGroup
group(*this);
723 /* We changed the soft state all the time so the UI is a bit nicer
725 StateCache
&P
= PkgState
[Pkg
->ID
];
727 P
.iFlags
|= AutoKept
;
729 P
.iFlags
&= ~AutoKept
;
731 // Check that it is not already kept
732 if (P
.Mode
== ModeKeep
)
735 // We dont even try to keep virtual packages..
736 if (Pkg
->VersionList
== 0)
738 #if 0 // reseting the autoflag here means we lose the
739 // auto-mark information if a user selects a package for removal
740 // but changes his mind then and sets it for keep again
741 // - this makes sense as default when all Garbage dependencies
742 // are automatically marked for removal (as aptitude does).
743 // setting a package for keep then makes it no longer autoinstalled
744 // for all other use-case this action is rather suprising
745 if(FromUser
&& !P
.Marked
)
746 P
.Flags
&= ~Flag::Auto
;
749 if (DebugMarker
== true)
750 std::clog
<< OutputInDepth(Depth
) << "MarkKeep " << Pkg
<< " FU=" << FromUser
<< std::endl
;
756 if (Pkg
->CurrentVer
== 0)
759 P
.InstallVer
= Pkg
.CurrentVer();
768 // DepCache::MarkDelete - Put the package in the delete state /*{{{*/
769 // ---------------------------------------------------------------------
771 void pkgDepCache::MarkDelete(PkgIterator
const &Pkg
, bool rPurge
,
772 unsigned long Depth
, bool FromUser
)
774 // Simplifies other routines.
775 if (Pkg
.end() == true)
778 ActionGroup
group(*this);
780 // Check that it is not already marked for delete
781 StateCache
&P
= PkgState
[Pkg
->ID
];
782 P
.iFlags
&= ~(AutoKept
| Purge
);
786 if ((P
.Mode
== ModeDelete
|| P
.InstallVer
== 0) &&
787 (Pkg
.Purge() == true || rPurge
== false))
790 // We dont even try to delete virtual packages..
791 if (Pkg
->VersionList
== 0)
794 // check if we are allowed to install the package
795 if (IsDeleteOk(Pkg
,rPurge
,Depth
,FromUser
) == false)
798 if (DebugMarker
== true)
799 std::clog
<< OutputInDepth(Depth
) << "MarkDelete " << Pkg
<< " FU=" << FromUser
<< std::endl
;
804 if (Pkg
->CurrentVer
== 0 && (Pkg
.Purge() == true || rPurge
== false))
815 // DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
816 // ---------------------------------------------------------------------
817 /* The default implementation just honors dpkg hold
818 But an application using this library can override this method
819 to control the MarkDelete behaviour */
820 bool pkgDepCache::IsDeleteOk(PkgIterator
const &Pkg
,bool rPurge
,
821 unsigned long Depth
, bool FromUser
)
823 if (FromUser
== false && Pkg
->SelectedState
== pkgCache::State::Hold
)
825 if (DebugMarker
== true)
826 std::clog
<< OutputInDepth(Depth
) << "Hold prevents MarkDelete of " << Pkg
<< " FU=" << FromUser
<< std::endl
;
832 // DepCache::MarkInstall - Put the package in the install state /*{{{*/
833 // ---------------------------------------------------------------------
835 void pkgDepCache::MarkInstall(PkgIterator
const &Pkg
,bool AutoInst
,
836 unsigned long Depth
, bool FromUser
,
837 bool ForceImportantDeps
)
842 // Simplifies other routines.
843 if (Pkg
.end() == true)
846 ActionGroup
group(*this);
848 /* Check that it is not already marked for install and that it can be
850 StateCache
&P
= PkgState
[Pkg
->ID
];
851 P
.iFlags
&= ~AutoKept
;
852 if ((P
.InstPolicyBroken() == false && P
.InstBroken() == false) &&
853 (P
.Mode
== ModeInstall
||
854 P
.CandidateVer
== (Version
*)Pkg
.CurrentVer()))
856 if (P
.CandidateVer
== (Version
*)Pkg
.CurrentVer() && P
.InstallVer
== 0)
857 MarkKeep(Pkg
, false, FromUser
, Depth
+1);
861 // See if there is even any possible instalation candidate
862 if (P
.CandidateVer
== 0)
864 // We dont even try to install virtual packages..
865 if (Pkg
->VersionList
== 0)
868 // check if we are allowed to install the package
869 if (IsInstallOk(Pkg
,AutoInst
,Depth
,FromUser
) == false)
872 /* Target the candidate version and remove the autoflag. We reset the
873 autoflag below if this was called recursively. Otherwise the user
874 should have the ability to de-auto a package by changing its state */
878 P
.Mode
= ModeInstall
;
879 P
.InstallVer
= P
.CandidateVer
;
883 // Set it to manual if it's a new install or cancelling the
884 // removal of a garbage package.
885 if(P
.Status
== 2 || (!Pkg
.CurrentVer().end() && !P
.Marked
))
886 P
.Flags
&= ~Flag::Auto
;
890 // Set it to auto if this is a new install.
892 P
.Flags
|= Flag::Auto
;
894 if (P
.CandidateVer
== (Version
*)Pkg
.CurrentVer())
901 if (AutoInst
== false)
904 if (DebugMarker
== true)
905 std::clog
<< OutputInDepth(Depth
) << "MarkInstall " << Pkg
<< " FU=" << FromUser
<< std::endl
;
907 DepIterator Dep
= P
.InstVerIter(*this).DependsList();
908 for (; Dep
.end() != true;)
911 DepIterator Start
= Dep
;
914 for (bool LastOR
= true; Dep
.end() == false && LastOR
== true; Dep
++,Ors
++)
916 LastOR
= (Dep
->CompareOp
& Dep::Or
) == Dep::Or
;
918 if ((DepState
[Dep
->ID
] & DepInstall
) == DepInstall
)
922 // Dep is satisfied okay.
926 /* Check if this dep should be consider for install. If it is a user
927 defined important dep and we are installed a new package then
928 it will be installed. Otherwise we only check for important
929 deps that have changed from the installed version
931 if (IsImportantDep(Start
) == false)
934 /* Check if any ImportantDep() (but not Critical) were added
935 * since we installed the package. Also check for deps that
936 * were satisfied in the past: for instance, if a version
937 * restriction in a Recommends was tightened, upgrading the
938 * package should follow that Recommends rather than causing the
939 * dependency to be removed. (bug #470115)
941 bool isNewImportantDep
= false;
942 bool isPreviouslySatisfiedImportantDep
= false;
943 if(!ForceImportantDeps
&& !Start
.IsCritical())
946 VerIterator instVer
= Pkg
.CurrentVer();
949 for (DepIterator D
= instVer
.DependsList(); D
.end() != true; D
++)
951 //FIXME: deal better with or-groups(?)
952 DepIterator LocalStart
= D
;
954 if(IsImportantDep(D
) && !D
.IsCritical() &&
955 Start
.TargetPkg() == D
.TargetPkg())
957 if(!isPreviouslySatisfiedImportantDep
)
960 while((D2
->CompareOp
& Dep::Or
) != 0)
963 isPreviouslySatisfiedImportantDep
=
964 (((*this)[D2
] & DepGNow
) != 0);
970 // this is a new dep if it was not found to be already
971 // a important dep of the installed pacakge
972 isNewImportantDep
= !found
;
975 if(isNewImportantDep
)
976 if(DebugAutoInstall
== true)
977 std::clog
<< OutputInDepth(Depth
) << "new important dependency: "
978 << Start
.TargetPkg().Name() << std::endl
;
979 if(isPreviouslySatisfiedImportantDep
)
980 if(DebugAutoInstall
== true)
981 std::clog
<< OutputInDepth(Depth
) << "previously satisfied important dependency on "
982 << Start
.TargetPkg().Name() << std::endl
;
984 // skip important deps if the package is already installed
985 if (Pkg
->CurrentVer
!= 0 && Start
.IsCritical() == false
986 && !isNewImportantDep
&& !isPreviouslySatisfiedImportantDep
987 && !ForceImportantDeps
)
990 /* If we are in an or group locate the first or that can
991 succeed. We have already cached this.. */
992 for (; Ors
> 1 && (DepState
[Start
->ID
] & DepCVer
) != DepCVer
; Ors
--)
995 /* This bit is for processing the possibilty of an install/upgrade
996 fixing the problem */
997 SPtrArray
<Version
*> List
= Start
.AllTargets();
998 if (Start
->Type
!= Dep::DpkgBreaks
&&
999 (DepState
[Start
->ID
] & DepCVer
) == DepCVer
)
1001 // Right, find the best version to install..
1002 Version
**Cur
= List
;
1003 PkgIterator P
= Start
.TargetPkg();
1004 PkgIterator
InstPkg(*Cache
,0);
1006 // See if there are direct matches (at the start of the list)
1007 for (; *Cur
!= 0 && (*Cur
)->ParentPkg
== P
.Index(); Cur
++)
1009 PkgIterator
Pkg(*Cache
,Cache
->PkgP
+ (*Cur
)->ParentPkg
);
1010 if (PkgState
[Pkg
->ID
].CandidateVer
!= *Cur
)
1016 // Select the highest priority providing package
1017 if (InstPkg
.end() == true)
1019 pkgPrioSortList(*Cache
,Cur
);
1020 for (; *Cur
!= 0; Cur
++)
1022 PkgIterator
Pkg(*Cache
,Cache
->PkgP
+ (*Cur
)->ParentPkg
);
1023 if (PkgState
[Pkg
->ID
].CandidateVer
!= *Cur
)
1030 if (InstPkg
.end() == false)
1032 if(DebugAutoInstall
== true)
1033 std::clog
<< OutputInDepth(Depth
) << "Installing " << InstPkg
.Name()
1034 << " as " << Start
.DepType() << " of " << Pkg
.Name()
1036 // now check if we should consider it a automatic dependency or not
1037 if(Pkg
.Section() && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg
.Section()))
1039 if(DebugAutoInstall
== true)
1040 std::clog
<< OutputInDepth(Depth
) << "Setting NOT as auto-installed (direct "
1041 << Start
.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl
;
1042 MarkInstall(InstPkg
,true,Depth
+ 1, true);
1046 // mark automatic dependency
1047 MarkInstall(InstPkg
,true,Depth
+ 1, false, ForceImportantDeps
);
1048 // Set the autoflag, after MarkInstall because MarkInstall unsets it
1049 if (P
->CurrentVer
== 0)
1050 PkgState
[InstPkg
->ID
].Flags
|= Flag::Auto
;
1056 /* For conflicts we just de-install the package and mark as auto,
1057 Conflicts may not have or groups. For dpkg's Breaks we try to
1058 upgrade the package. */
1059 if (Start
->Type
== Dep::Conflicts
|| Start
->Type
== Dep::Obsoletes
||
1060 Start
->Type
== Dep::DpkgBreaks
)
1062 for (Version
**I
= List
; *I
!= 0; I
++)
1064 VerIterator
Ver(*this,*I
);
1065 PkgIterator Pkg
= Ver
.ParentPkg();
1067 if (Start
->Type
!= Dep::DpkgBreaks
)
1068 MarkDelete(Pkg
,false,Depth
+ 1, false);
1069 else if (PkgState
[Pkg
->ID
].CandidateVer
!= *I
)
1070 MarkInstall(Pkg
,true,Depth
+ 1, false, ForceImportantDeps
);
1077 // DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
1078 // ---------------------------------------------------------------------
1079 /* The default implementation just honors dpkg hold
1080 But an application using this library can override this method
1081 to control the MarkInstall behaviour */
1082 bool pkgDepCache::IsInstallOk(PkgIterator
const &Pkg
,bool AutoInst
,
1083 unsigned long Depth
, bool FromUser
)
1085 if (FromUser
== false && Pkg
->SelectedState
== pkgCache::State::Hold
)
1087 if (DebugMarker
== true)
1088 std::clog
<< OutputInDepth(Depth
) << "Hold prevents MarkInstall of " << Pkg
<< " FU=" << FromUser
<< std::endl
;
1094 // DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1095 // ---------------------------------------------------------------------
1097 void pkgDepCache::SetReInstall(PkgIterator
const &Pkg
,bool To
)
1099 ActionGroup
group(*this);
1104 StateCache
&P
= PkgState
[Pkg
->ID
];
1106 P
.iFlags
|= ReInstall
;
1108 P
.iFlags
&= ~ReInstall
;
1114 // DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1115 // ---------------------------------------------------------------------
1117 void pkgDepCache::SetCandidateVersion(VerIterator TargetVer
)
1119 ActionGroup
group(*this);
1121 pkgCache::PkgIterator Pkg
= TargetVer
.ParentPkg();
1122 StateCache
&P
= PkgState
[Pkg
->ID
];
1127 if (P
.CandidateVer
== P
.InstallVer
)
1128 P
.InstallVer
= (Version
*)TargetVer
;
1129 P
.CandidateVer
= (Version
*)TargetVer
;
1130 P
.Update(Pkg
,*this);
1137 void pkgDepCache::MarkAuto(const PkgIterator
&Pkg
, bool Auto
)
1139 StateCache
&state
= PkgState
[Pkg
->ID
];
1141 ActionGroup
group(*this);
1144 state
.Flags
|= Flag::Auto
;
1146 state
.Flags
&= ~Flag::Auto
;
1149 // StateCache::Update - Compute the various static display things /*{{{*/
1150 // ---------------------------------------------------------------------
1151 /* This is called whenever the Candidate version changes. */
1152 void pkgDepCache::StateCache::Update(PkgIterator Pkg
,pkgCache
&Cache
)
1155 VerIterator Ver
= CandidateVerIter(Cache
);
1157 // Use a null string or the version string
1158 if (Ver
.end() == true)
1161 CandVersion
= Ver
.VerStr();
1163 // Find the current version
1165 if (Pkg
->CurrentVer
!= 0)
1166 CurVersion
= Pkg
.CurrentVer().VerStr();
1168 // Strip off the epochs for display
1169 CurVersion
= StripEpoch(CurVersion
);
1170 CandVersion
= StripEpoch(CandVersion
);
1172 // Figure out if its up or down or equal
1173 Status
= Ver
.CompareVer(Pkg
.CurrentVer());
1174 if (Pkg
->CurrentVer
== 0 || Pkg
->VersionList
== 0 || CandidateVer
== 0)
1178 // StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1179 // ---------------------------------------------------------------------
1181 const char *pkgDepCache::StateCache::StripEpoch(const char *Ver
)
1187 for (const char *I
= Ver
; *I
!= 0; I
++)
1193 // Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
1194 // ---------------------------------------------------------------------
1195 /* The default just returns the highest available version that is not
1196 a source and automatic. */
1197 pkgCache::VerIterator
pkgDepCache::Policy::GetCandidateVer(PkgIterator Pkg
)
1199 /* Not source/not automatic versions cannot be a candidate version
1200 unless they are already installed */
1201 VerIterator
Last(*(pkgCache
*)this,0);
1203 for (VerIterator I
= Pkg
.VersionList(); I
.end() == false; I
++)
1205 if (Pkg
.CurrentVer() == I
)
1208 for (VerFileIterator J
= I
.FileList(); J
.end() == false; J
++)
1210 if ((J
.File()->Flags
& Flag::NotSource
) != 0)
1213 /* Stash the highest version of a not-automatic source, we use it
1214 if there is nothing better */
1215 if ((J
.File()->Flags
& Flag::NotAutomatic
) != 0)
1217 if (Last
.end() == true)
1229 // Policy::IsImportantDep - True if the dependency is important /*{{{*/
1230 // ---------------------------------------------------------------------
1232 bool pkgDepCache::Policy::IsImportantDep(DepIterator Dep
)
1234 if(Dep
.IsCritical())
1236 else if(Dep
->Type
== pkgCache::Dep::Recommends
)
1238 if ( _config
->FindB("APT::Install-Recommends", false))
1240 // we suport a special mode to only install-recommends for certain
1242 // FIXME: this is a meant as a temporarly solution until the
1243 // recommends are cleaned up
1244 const char *sec
= Dep
.ParentVer().Section();
1245 if (sec
&& ConfigValueInSubTree("APT::Install-Recommends-Sections", sec
))
1248 else if(Dep
->Type
== pkgCache::Dep::Suggests
)
1249 return _config
->FindB("APT::Install-Suggests", false);
1254 pkgDepCache::DefaultRootSetFunc::DefaultRootSetFunc() /*{{{*/
1255 : constructedSuccessfully(false)
1257 Configuration::Item
const *Opts
;
1258 Opts
= _config
->Tree("APT::NeverAutoRemove");
1259 if (Opts
!= 0 && Opts
->Child
!= 0)
1262 for (; Opts
!= 0; Opts
= Opts
->Next
)
1264 if (Opts
->Value
.empty() == true)
1267 regex_t
*p
= new regex_t
;
1268 if(regcomp(p
,Opts
->Value
.c_str(),
1269 REG_EXTENDED
| REG_ICASE
| REG_NOSUB
) != 0)
1273 _error
->Error("Regex compilation error for APT::NeverAutoRemove");
1277 rootSetRegexp
.push_back(p
);
1281 constructedSuccessfully
= true;
1284 pkgDepCache::DefaultRootSetFunc::~DefaultRootSetFunc() /*{{{*/
1286 for(unsigned int i
= 0; i
< rootSetRegexp
.size(); i
++)
1288 regfree(rootSetRegexp
[i
]);
1289 delete rootSetRegexp
[i
];
1293 bool pkgDepCache::DefaultRootSetFunc::InRootSet(const pkgCache::PkgIterator
&pkg
) /*{{{*/
1295 for(unsigned int i
= 0; i
< rootSetRegexp
.size(); i
++)
1296 if (regexec(rootSetRegexp
[i
], pkg
.Name(), 0, 0, 0) == 0)
1302 pkgDepCache::InRootSetFunc
*pkgDepCache::GetRootSetFunc() /*{{{*/
1304 DefaultRootSetFunc
*f
= new DefaultRootSetFunc
;
1305 if(f
->wasConstructedSuccessfully())
1314 bool pkgDepCache::MarkFollowsRecommends()
1316 return _config
->FindB("APT::AutoRemove::RecommendsImportant", true);
1319 bool pkgDepCache::MarkFollowsSuggests()
1321 return _config
->FindB("APT::AutoRemove::SuggestsImportant", false);
1324 // pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
1325 bool pkgDepCache::MarkRequired(InRootSetFunc
&userFunc
)
1327 bool follow_recommends
;
1328 bool follow_suggests
;
1331 for(PkgIterator p
= PkgBegin(); !p
.end(); ++p
)
1333 PkgState
[p
->ID
].Marked
= false;
1334 PkgState
[p
->ID
].Garbage
= false;
1337 if(_config
->FindB("Debug::pkgAutoRemove",false)
1338 && PkgState
[p
->ID
].Flags
& Flag::Auto
)
1339 std::clog
<< "AutoDep: " << p
.Name() << std::endl
;
1343 follow_recommends
= MarkFollowsRecommends();
1344 follow_suggests
= MarkFollowsSuggests();
1348 // do the mark part, this is the core bit of the algorithm
1349 for(PkgIterator p
= PkgBegin(); !p
.end(); ++p
)
1351 if(!(PkgState
[p
->ID
].Flags
& Flag::Auto
) ||
1352 (p
->Flags
& Flag::Essential
) ||
1353 userFunc
.InRootSet(p
))
1356 // the package is installed (and set to keep)
1357 if(PkgState
[p
->ID
].Keep() && !p
.CurrentVer().end())
1358 MarkPackage(p
, p
.CurrentVer(),
1359 follow_recommends
, follow_suggests
);
1360 // the package is to be installed
1361 else if(PkgState
[p
->ID
].Install())
1362 MarkPackage(p
, PkgState
[p
->ID
].InstVerIter(*this),
1363 follow_recommends
, follow_suggests
);
1370 // MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
1371 void pkgDepCache::MarkPackage(const pkgCache::PkgIterator
&pkg
,
1372 const pkgCache::VerIterator
&ver
,
1373 bool follow_recommends
,
1374 bool follow_suggests
)
1376 pkgDepCache::StateCache
&state
= PkgState
[pkg
->ID
];
1377 VerIterator currver
= pkg
.CurrentVer();
1378 VerIterator candver
= state
.CandidateVerIter(*this);
1379 VerIterator instver
= state
.InstVerIter(*this);
1382 // If a package was garbage-collected but is now being marked, we
1383 // should re-select it
1384 // For cases when a pkg is set to upgrade and this trigger the
1385 // removal of a no-longer used dependency. if the pkg is set to
1386 // keep again later it will result in broken deps
1387 if(state
.Delete() && state
.RemoveReason
= Unused
)
1390 mark_install(pkg
, false, false, NULL
);
1391 else if(ver
==pkg
.CurrentVer())
1392 MarkKeep(pkg
, false, false);
1394 instver
=state
.InstVerIter(*this);
1398 // For packages that are not going to be removed, ignore versions
1399 // other than the InstVer. For packages that are going to be
1400 // removed, ignore versions other than the current version.
1401 if(!(ver
== instver
&& !instver
.end()) &&
1402 !(ver
== currver
&& instver
.end() && !ver
.end()))
1405 // if we are marked already we are done
1409 if(_config
->FindB("Debug::pkgAutoRemove",false))
1411 std::clog
<< "Marking: " << pkg
.Name();
1413 std::clog
<< " " << ver
.VerStr();
1415 std::clog
<< ", Curr=" << currver
.VerStr();
1417 std::clog
<< ", Inst=" << instver
.VerStr();
1418 std::clog
<< std::endl
;
1425 for(DepIterator d
= ver
.DependsList(); !d
.end(); ++d
)
1427 if(d
->Type
== Dep::Depends
||
1428 d
->Type
== Dep::PreDepends
||
1429 (follow_recommends
&&
1430 d
->Type
== Dep::Recommends
) ||
1432 d
->Type
== Dep::Suggests
))
1434 // Try all versions of this package.
1435 for(VerIterator V
= d
.TargetPkg().VersionList();
1438 if(_system
->VS
->CheckDep(V
.VerStr(), d
->CompareOp
, d
.TargetVer()))
1440 if(_config
->FindB("Debug::pkgAutoRemove",false))
1442 std::clog
<< "Following dep: " << d
.ParentPkg().Name()
1443 << " " << d
.ParentVer().VerStr() << " "
1444 << d
.DepType() << " "
1445 << d
.TargetPkg().Name();
1446 if((d
->CompareOp
& ~pkgCache::Dep::Or
) != pkgCache::Dep::NoOp
)
1448 std::clog
<< " (" << d
.CompType() << " "
1449 << d
.TargetVer() << ")";
1451 std::clog
<< std::endl
;
1453 MarkPackage(V
.ParentPkg(), V
,
1454 follow_recommends
, follow_suggests
);
1457 // Now try virtual packages
1458 for(PrvIterator prv
=d
.TargetPkg().ProvidesList();
1461 if(_system
->VS
->CheckDep(prv
.ProvideVersion(), d
->CompareOp
,
1464 if(_config
->FindB("Debug::pkgAutoRemove",false))
1466 std::clog
<< "Following dep: " << d
.ParentPkg().Name()
1467 << " " << d
.ParentVer().VerStr() << " "
1468 << d
.DepType() << " "
1469 << d
.TargetPkg().Name();
1470 if((d
->CompareOp
& ~pkgCache::Dep::Or
) != pkgCache::Dep::NoOp
)
1472 std::clog
<< " (" << d
.CompType() << " "
1473 << d
.TargetVer() << ")";
1475 std::clog
<< ", provided by "
1476 << prv
.OwnerPkg().Name() << " "
1477 << prv
.OwnerVer().VerStr()
1481 MarkPackage(prv
.OwnerPkg(), prv
.OwnerVer(),
1482 follow_recommends
, follow_suggests
);
1490 bool pkgDepCache::Sweep() /*{{{*/
1493 for(PkgIterator p
=PkgBegin(); !p
.end(); ++p
)
1495 StateCache
&state
=PkgState
[p
->ID
];
1497 // skip required packages
1498 if (!p
.CurrentVer().end() &&
1499 (p
.CurrentVer()->Priority
== pkgCache::State::Required
))
1502 // if it is not marked and it is installed, it's garbage
1503 if(!state
.Marked
&& (!p
.CurrentVer().end() || state
.Install()))
1506 if(_config
->FindB("Debug::pkgAutoRemove",false))
1507 std::cout
<< "Garbage: " << p
.Name() << std::endl
;