kairos/luet
1
0
Fork 0
mirror of https://github.com/mudler/luet.git synced 2025-09-04 08:45:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use BuildWorld() instead of BuildPartialWorld() in solver.Solve

Browse Source 
We now have a stronger cache system while we pre-compute also RevDeps in
a hashmap, this makes now makes BuildWorld() much more performant.
This commit is contained in:
Ettore Di Giacinto
2021-01-11 20:10:32 +01:00
parent 7e04ad67f6
commit 186fa58ab0
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/solver/parallel.go
View File

@@ -741,7 +741,7 @@ func (s *Parallel) Uninstall(checkconflicts, full bool, packs ...pkg.Package) (p
func (s *Parallel) BuildFormula() (bf.Formula, error) { func (s *Parallel) BuildFormula() (bf.Formula, error) {
var formulas []bf.Formula var formulas []bf.Formula
r, err := s.BuildPartialWorld(false) r, err := s.BuildWorld(false)
if err != nil { if err != nil {
return nil, err return nil, err
} }

2
pkg/solver/solver.go
View File

@@ -661,7 +661,7 @@ func (s *Solver) Uninstall(checkconflicts, full bool, packs ...pkg.Package) (pkg
// BuildFormula builds the main solving formula that is evaluated by the sat solver. // BuildFormula builds the main solving formula that is evaluated by the sat solver.
func (s *Solver) BuildFormula() (bf.Formula, error) { func (s *Solver) BuildFormula() (bf.Formula, error) {
var formulas []bf.Formula var formulas []bf.Formula
r, err := s.BuildPartialWorld(false) r, err := s.BuildWorld(false)
if err != nil { if err != nil {
return nil, err return nil, err
} }