platform/upstream/libsolv.git
16 years agotreat 'nothing provides' jobrules in a sane way
Michael Schroeder [Fri, 26 Oct 2007 11:00:22 +0000 (11:00 +0000)]
treat 'nothing provides' jobrules in a sane way

16 years ago- do not add rules that are always fulfilled
Michael Schroeder [Thu, 25 Oct 2007 17:18:26 +0000 (17:18 +0000)]
- do not add rules that are always fulfilled

16 years ago- add support for namespace callbacks
Michael Schroeder [Thu, 25 Oct 2007 16:42:16 +0000 (16:42 +0000)]
- add support for namespace callbacks
- implement rpmlib test in relation expansion
- implement modalias() globbing

16 years ago- make suggests/enhances first class, needs more rules but it simplifies
Michael Schroeder [Thu, 25 Oct 2007 14:23:28 +0000 (14:23 +0000)]
- make suggests/enhances first class, needs more rules but it simplifies
  the code and the result is more reliable

16 years ago- do a better job at presenting a solution
Michael Schroeder [Wed, 24 Oct 2007 22:01:26 +0000 (22:01 +0000)]
- do a better job at presenting a solution
- implement source priorities, first half

16 years ago- goodbye deps, we no longer need you
Michael Schroeder [Wed, 24 Oct 2007 10:46:09 +0000 (10:46 +0000)]
- goodbye deps, we no longer need you

16 years ago- zero first element in idarray just in case
Michael Schroeder [Wed, 24 Oct 2007 09:59:42 +0000 (09:59 +0000)]
- zero first element in idarray just in case
- make runtest compare with solution2 and solution3
- do not add same language solvables multiple times, fixes
  one test case

16 years agoNo need for testing null-ness anymore.
Michael Matz [Tue, 23 Oct 2007 17:57:17 +0000 (17:57 +0000)]
No need for testing null-ness anymore.

16 years agofix compile
Stephan Kulow [Tue, 23 Oct 2007 17:13:50 +0000 (17:13 +0000)]
fix compile

16 years ago- switch dependencies from Id pointers to Offsets
Michael Schroeder [Tue, 23 Oct 2007 15:24:36 +0000 (15:24 +0000)]
- switch dependencies from Id pointers to Offsets

16 years ago- map locale(xx) to language:xx to be compatible to libzypp
Michael Schroeder [Tue, 23 Oct 2007 12:40:00 +0000 (12:40 +0000)]
- map locale(xx) to language:xx to be compatible to libzypp
- treat system:modalias() as modalias()

16 years agofix compile
Stephan Kulow [Tue, 23 Oct 2007 08:07:55 +0000 (08:07 +0000)]
fix compile

16 years ago- fix idarray overflow checking
Michael Schroeder [Mon, 22 Oct 2007 18:50:33 +0000 (18:50 +0000)]
- fix idarray overflow checking
- do not create weak rule for packages scheduled for removal
  (fixes one testcase)
- fix some explanations in README.FAILS

16 years ago- first step in getting rid of dependency pointers:
Michael Schroeder [Mon, 22 Oct 2007 18:01:35 +0000 (18:01 +0000)]
- first step in getting rid of dependency pointers:
  store back pointer to source in Solvable.

16 years agomake it compile on 64bit
Klaus Kaempf [Mon, 22 Oct 2007 15:25:04 +0000 (15:25 +0000)]
make it compile on 64bit

16 years ago- add experimental weak rules support, solver tries a bit harder to
Michael Schroeder [Mon, 22 Oct 2007 14:39:00 +0000 (14:39 +0000)]
- add experimental weak rules support, solver tries a bit harder to
  fulfill them

16 years ago- beautify a bit
Michael Schroeder [Mon, 22 Oct 2007 10:19:55 +0000 (10:19 +0000)]
- beautify a bit

16 years agofixed mean bug in an optimization of addrule:
Stephan Kulow [Sun, 21 Oct 2007 07:35:23 +0000 (07:35 +0000)]
fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)

16 years agoNow that I can read content files, let's use that.
Michael Matz [Sat, 20 Oct 2007 16:43:57 +0000 (16:43 +0000)]
Now that I can read content files, let's use that.

16 years agocontent2solv: a parser for the content file of Yast2 repos. Generates
Michael Matz [Sat, 20 Oct 2007 16:32:08 +0000 (16:32 +0000)]
content2solv: a parser for the content file of Yast2 repos.  Generates
a SOLV with only one solvable, the product.

16 years agoI need C++ here too.
Michael Matz [Sat, 20 Oct 2007 16:30:36 +0000 (16:30 +0000)]
I need C++ here too.

16 years agodon't crash too often
Stephan Kulow [Fri, 19 Oct 2007 21:01:30 +0000 (21:01 +0000)]
don't crash too often

16 years agotrying to mimic the libzypp handling of kernel deps - first step
Stephan Kulow [Fri, 19 Oct 2007 20:39:17 +0000 (20:39 +0000)]
trying to mimic the libzypp handling of kernel deps - first step

16 years ago- clean up the code a bit
Michael Schroeder [Fri, 19 Oct 2007 18:12:25 +0000 (18:12 +0000)]
- clean up the code a bit

16 years ago- do away with complex reenablerule, instead reset propagate_index to 0
Michael Schroeder [Fri, 19 Oct 2007 16:34:41 +0000 (16:34 +0000)]
- do away with complex reenablerule, instead reset propagate_index to 0
  and rely on propagate to move the watches

16 years ago- fix some bugs in refine_suggestion()
Michael Schroeder [Fri, 19 Oct 2007 14:05:14 +0000 (14:05 +0000)]
- fix some bugs in refine_suggestion()

16 years agomove solver reset to top of refine_suggestion
Michael Schroeder [Wed, 17 Oct 2007 16:30:58 +0000 (16:30 +0000)]
move solver reset to top of refine_suggestion

16 years ago- added pool_installable() inline function
Michael Schroeder [Wed, 17 Oct 2007 15:59:55 +0000 (15:59 +0000)]
- added pool_installable() inline function
- renamed addrelproviders() to pool_addrelproviders()
- also use dep_possible() in enhances
- print statistics about solvable reduction
- check is suggested packages are really installable

16 years ago- inline source_name function
Michael Schroeder [Wed, 17 Oct 2007 13:19:20 +0000 (13:19 +0000)]
- inline source_name function
- fix dependency resolving loop to restart on any action
- fix supplement rule creation, it did not work for complex
  (i.e. AND) supplements

16 years agounify whatprovides data to save memory.
Michael Schroeder [Wed, 17 Oct 2007 09:50:31 +0000 (09:50 +0000)]
unify whatprovides data to save memory.

16 years agofind suggested packages
Michael Schroeder [Mon, 15 Oct 2007 16:54:08 +0000 (16:54 +0000)]
find suggested packages

16 years agoadd arch filtering for obsoletes data
Michael Schroeder [Mon, 15 Oct 2007 15:06:01 +0000 (15:06 +0000)]
add arch filtering for obsoletes data

16 years agoimplemented GNADENLOS in a better way, now option "noupdateprovide".
Michael Schroeder [Mon, 15 Oct 2007 15:00:45 +0000 (15:00 +0000)]
implemented GNADENLOS in a better way, now option "noupdateprovide".

16 years agoalso prune to suggests/enhances, fixes tpctl testcases
Michael Schroeder [Mon, 15 Oct 2007 13:25:30 +0000 (13:25 +0000)]
also prune to suggests/enhances, fixes tpctl testcases

16 years agomake prune_to_recommended look at recommends, too.
Michael Schroeder [Mon, 15 Oct 2007 11:06:02 +0000 (11:06 +0000)]
make prune_to_recommended look at recommends, too.

16 years agoSimple shell script accepting a directory with local repository data,
Michael Matz [Mon, 15 Oct 2007 02:58:32 +0000 (02:58 +0000)]
Simple shell script accepting a directory with local repository data,
detecting which type the repo is, and emitting exactly one SOLV file
for the whole thing.

16 years agoTo be able to accept a set of patches simply cat'ed behind each other
Michael Matz [Mon, 15 Oct 2007 02:57:27 +0000 (02:57 +0000)]
To be able to accept a set of patches simply cat'ed behind each other
we need to accept a collector tag.  I chose '<patches>', so you can
parse multiple patches by:

( echo '<patches>'; cat patch-*.xml; echo '</patches>' )
  | grep -v '\?xml'
  | patchxml2solv

16 years agoBlaeh. LIBS doesn't provide DEPENDENCIES, hence we don't to use that,
Michael Matz [Mon, 15 Oct 2007 02:55:00 +0000 (02:55 +0000)]
Blaeh.  LIBS doesn't provide DEPENDENCIES, hence we don't to use that,
but LDADD is overwritten (instead auf augmented) by specific X_LDADDS,
so we need to add LDADD everywhere explicitely.

16 years agoI have use for a tool to merge .solv files.
Michael Matz [Mon, 15 Oct 2007 01:59:12 +0000 (01:59 +0000)]
I have use for a tool to merge .solv files.

16 years agoparse <product> out of helix sources
Stephan Kulow [Sun, 14 Oct 2007 12:13:03 +0000 (12:13 +0000)]
parse <product> out of helix sources

16 years agoMake the satsolver header usable with C++ (only pool.h and source_solv.h
Michael Matz [Fri, 12 Oct 2007 15:44:30 +0000 (15:44 +0000)]
Make the satsolver header usable with C++ (only pool.h and source_solv.h
for now, they drag in most of the usefull stuff anyway).

16 years ago- fixing obsoletes not checked in every case (fixing one test case -
Stephan Kulow [Fri, 12 Oct 2007 15:14:34 +0000 (15:14 +0000)]
- fixing obsoletes not checked in every case (fixing one test case -
  mls)
- adding a GNADENLOS mode not set by default (fixing 6 more, but
  degrades performance by 28%)

16 years agoThe .spec file also referred to the shared lib. Fix that.
Michael Matz [Fri, 12 Oct 2007 15:08:28 +0000 (15:08 +0000)]
The .spec file also referred to the shared lib.  Fix that.

16 years agoEnable maintainer-mode (so that Makefiles are automatically rebuilt if
Michael Matz [Fri, 12 Oct 2007 15:07:26 +0000 (15:07 +0000)]
Enable maintainer-mode (so that Makefiles are automatically rebuilt if
Makefile.am changes).

16 years agoFor now only build a static (but PIC) libsatsolver.a. No sense in doing
Michael Matz [Fri, 12 Oct 2007 14:58:08 +0000 (14:58 +0000)]
For now only build a static (but PIC) libsatsolver.a.  No sense in doing
a shared lib with an unstable API.

16 years agofix typo
Michael Schroeder [Fri, 12 Oct 2007 14:50:32 +0000 (14:50 +0000)]
fix typo

16 years agofix makefiles a bit
Michael Schroeder [Fri, 12 Oct 2007 14:36:47 +0000 (14:36 +0000)]
fix makefiles a bit

16 years agodelete some spaces
Michael Schroeder [Fri, 12 Oct 2007 14:08:29 +0000 (14:08 +0000)]
delete some spaces

16 years agofixing some bugs:
Stephan Kulow [Fri, 12 Oct 2007 11:45:43 +0000 (11:45 +0000)]
fixing some bugs:
  - remove the original package on upgrade, not the new
    one
  - always set i686 when no arch is set (as required)
  - handle "install" as capability not as name
  - handle different kind of solvables in install
  - install locale solvables into an extra channel

16 years ago- do not select src packages in yps
Michael Schroeder [Tue, 9 Oct 2007 15:47:41 +0000 (15:47 +0000)]
- do not select src packages in yps
- use some buffers to speed things up a bit

16 years ago- show better problem reports
Michael Schroeder [Tue, 9 Oct 2007 15:33:44 +0000 (15:33 +0000)]
- show better problem reports

16 years ago- fix arch handling
Michael Schroeder [Tue, 9 Oct 2007 10:51:18 +0000 (10:51 +0000)]
- fix arch handling
- fix makefile
- add modalias and installed namespaces
- fix red carpet upgrade detection

16 years agofix segfault
Michael Schroeder [Mon, 8 Oct 2007 09:17:33 +0000 (09:17 +0000)]
fix segfault

16 years ago- don't pass name spaces for now
Michael Schroeder [Fri, 5 Oct 2007 23:19:53 +0000 (23:19 +0000)]
- don't pass name spaces for now
- don't supplement bad architectures

16 years ago- support for legacy rewriting
Michael Schroeder [Fri, 5 Oct 2007 22:53:16 +0000 (22:53 +0000)]
- support for legacy rewriting
- support for and/or/with deps
- support freshens

16 years agodo not add self-provides to src rpms
Michael Schroeder [Fri, 5 Oct 2007 17:24:41 +0000 (17:24 +0000)]
do not add self-provides to src rpms

16 years agofix typo, add some more architectures
Michael Schroeder [Fri, 5 Oct 2007 14:07:58 +0000 (14:07 +0000)]
fix typo, add some more architectures

16 years agoprep for package
Klaus Kaempf [Tue, 2 Oct 2007 14:54:29 +0000 (14:54 +0000)]
prep for package

16 years agocurrent state of 'sat-solver'
Klaus Kaempf [Tue, 2 Oct 2007 12:40:07 +0000 (12:40 +0000)]
current state of 'sat-solver'