platform/upstream/libsolv.git
17 years agoinstall the tools
Stephan Kulow [Thu, 8 Nov 2007 11:57:32 +0000 (11:57 +0000)]
install the tools

17 years ago- add a license
Michael Schroeder [Thu, 8 Nov 2007 11:37:00 +0000 (11:37 +0000)]
- add a license
- don't branch for supplemented packages
- fix off by one in minimize queue revert code

17 years agocompile testsuite only if present
Duncan Mac-Vicar P [Thu, 8 Nov 2007 11:32:57 +0000 (11:32 +0000)]
compile testsuite only if present

17 years ago- move policy-ruby.c into ruby dir
Michael Schroeder [Wed, 7 Nov 2007 16:15:12 +0000 (16:15 +0000)]
- move policy-ruby.c into ruby dir
- fix lock xml parsing in deptestomatic. grrr....
- support multiple verbosity levels
- add experimental minimization feature
- always take first element of prune function to annoy coolo
- sorry, no policy support yet

17 years agodisable ruby policy because it breaks libzypp
Duncan Mac-Vicar P [Tue, 6 Nov 2007 13:33:16 +0000 (13:33 +0000)]
disable ruby policy because it breaks libzypp

17 years agoFirst try on a (ruby based) policy engine
Klaus Kaempf [Thu, 1 Nov 2007 14:18:46 +0000 (14:18 +0000)]
First try on a (ruby based) policy engine

- src/policy.h: generic policy interface
- src/policy-ruby.c: ruby implementation of policy interface
- testsuite/satsolver_policy.rb: sample policy as ruby code

17 years agoAdd my own version of a Lempel-Ziv type compressor, so we can compress
Michael Matz [Thu, 1 Nov 2007 00:56:14 +0000 (00:56 +0000)]
Add my own version of a Lempel-Ziv type compressor, so we can compress
the blob pages nicely.  The compression rate is usually between 60% and
80%, which is good enough for our purposes.  In return for that it
decompresses blazingly fast.  The thing slowly comes together.

17 years ago- do not be that verbose
Michael Schroeder [Wed, 31 Oct 2007 14:01:35 +0000 (14:01 +0000)]
- do not be that verbose
- format solutions a bit better

17 years ago- fix bug in last bugfix
Michael Schroeder [Wed, 31 Oct 2007 13:46:52 +0000 (13:46 +0000)]
- fix bug in last bugfix
- make suggestions a bit better

17 years ago- allow downgrade for INSTALL_SOLVABLE
Michael Schroeder [Wed, 31 Oct 2007 11:54:49 +0000 (11:54 +0000)]
- allow downgrade for INSTALL_SOLVABLE
- add support for "version" in deptestomatic's select_solvable()
- comment to repo_content

17 years agoyep, right. DISTVERSION is the same misunderstanding
Stephan Kulow [Wed, 31 Oct 2007 11:43:50 +0000 (11:43 +0000)]
yep, right. DISTVERSION is the same misunderstanding

17 years agofixing misunderstanding
Stephan Kulow [Wed, 31 Oct 2007 08:45:27 +0000 (08:45 +0000)]
fixing misunderstanding

17 years agoThe blobs are now stored and loaded. If the input file for the attr
Michael Matz [Wed, 31 Oct 2007 04:11:20 +0000 (04:11 +0000)]
The blobs are now stored and loaded.  If the input file for the attr
store is seekable we load the blobs on demand, and as we do this in
pages we don't even need much more memory (currently I'm using 4 pages
at 32KB each, so the constant memory overhead for all authors and
descriptions and other blobs is only 128Kb per attr store).  And it
isn't even slow :-)

17 years agoParse also a second packages file (e.g. packages.en) catted to stdin,
Michael Matz [Tue, 30 Oct 2007 21:45:56 +0000 (21:45 +0000)]
Parse also a second packages file (e.g. packages.en) catted to stdin,
so that we can annotate already existing packages, e.g. with summary and
description.  Store authors and description as blobs.

17 years agoWe can create blobs now. But can't yet store them into the file :)
Michael Matz [Tue, 30 Oct 2007 21:42:51 +0000 (21:42 +0000)]
We can create blobs now.  But can't yet store them into the file :)

17 years ago- stuff to discuss
Michael Schroeder [Tue, 30 Oct 2007 18:53:36 +0000 (18:53 +0000)]
- stuff to discuss

17 years ago- add vendor change policy (but fixes no test case, as there is no
Michael Schroeder [Tue, 30 Oct 2007 17:55:35 +0000 (17:55 +0000)]
- add vendor change policy (but fixes no test case, as there is no
  good test case)

17 years ago- add vendor id to solvables
Michael Schroeder [Tue, 30 Oct 2007 11:27:12 +0000 (11:27 +0000)]
- add vendor id to solvables

17 years agoAn iterator over attributes, as GCC scalarizes it the code is equivalent
Michael Matz [Tue, 30 Oct 2007 01:19:17 +0000 (01:19 +0000)]
An iterator over attributes, as GCC scalarizes it the code is equivalent
to hand-written code that doesn't use a structure:

attr_iterator ai;
FOR_ATTRS (store, entry, &ai)
  {
    do_something (ai.name, ai.type);
    switch (ai.type)
    {
      case ATTR_STRING:   ai.as_string; break;
      case ATTR_INT:      ai.as_int;    break;
      case ATTR_LOCALIDS: iterate (ai.as_numlist); break;
    }
  }

17 years agoWrite and read the read-only representation directly.
Michael Matz [Mon, 29 Oct 2007 22:22:59 +0000 (22:22 +0000)]
Write and read the read-only representation directly.

17 years ago- fix last failing testcase classified as bug
Michael Schroeder [Mon, 29 Oct 2007 19:02:15 +0000 (19:02 +0000)]
- fix last failing testcase classified as bug

17 years agoUse Offset instead of unsigned int.
Michael Schroeder [Mon, 29 Oct 2007 17:25:45 +0000 (17:25 +0000)]
Use Offset instead of unsigned int.

17 years ago- rename 'system' repo to 'installed'
Michael Schroeder [Mon, 29 Oct 2007 16:45:27 +0000 (16:45 +0000)]
- rename 'system' repo to 'installed'

17 years ago- rename queue* to queue_*, inline a bit more
Michael Schroeder [Mon, 29 Oct 2007 15:00:30 +0000 (15:00 +0000)]
- rename queue* to queue_*, inline a bit more
- rename map* to map_*

17 years agokeep 'bool'ness in the comment
Klaus Kaempf [Mon, 29 Oct 2007 12:05:53 +0000 (12:05 +0000)]
keep 'bool'ness in the comment

17 years ago- cleanup strange code
Michael Schroeder [Mon, 29 Oct 2007 11:20:32 +0000 (11:20 +0000)]
- cleanup strange code

17 years agoA DWARF like in-memory representation (with abbreviations), which uses
Michael Matz [Mon, 29 Oct 2007 02:39:38 +0000 (02:39 +0000)]
A DWARF like in-memory representation (with abbreviations), which uses
only a quarter of memory for the Attrs itself (i.e. without the string
spaces).

17 years agoStart of an attribute store. It can hold arbitrary attributes for a
Michael Matz [Sun, 28 Oct 2007 23:09:45 +0000 (23:09 +0000)]
Start of an attribute store.  It can hold arbitrary attributes for a
number of entities.  When those are build as mirroring the solvables in
a Repo, we can attach non-solver information to them.  Not yet really
integrated, uses too much in-core memory, and arbitrary blobs are not
yet supported (for descriptions and maybe large author lists).

17 years agomake it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call
Stephan Kulow [Sun, 28 Oct 2007 19:06:04 +0000 (19:06 +0000)]
make it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call

17 years agocontinue compiling with -Werror
Stephan Kulow [Sun, 28 Oct 2007 19:05:52 +0000 (19:05 +0000)]
continue compiling with -Werror

17 years agodon't play with pointers
Stephan Kulow [Sun, 28 Oct 2007 19:05:49 +0000 (19:05 +0000)]
don't play with pointers

17 years ago- no more bool, too many conflicts
Michael Schroeder [Fri, 26 Oct 2007 23:01:13 +0000 (23:01 +0000)]
- no more bool, too many conflicts
- moved declaration of pool_freerepo to repo.h

17 years ago- move dep2str buffer into pool so that the memory gets released
Michael Schroeder [Fri, 26 Oct 2007 20:42:46 +0000 (20:42 +0000)]
- move dep2str buffer into pool so that the memory gets released
- directly install translation solvables
- some minor code cleanups

17 years agoFix the ruby example, and remove a obsolete one
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:13 +0000 (20:25 +0000)]
Fix the ruby example, and remove a obsolete one

17 years agoto follow SUSE tools conventions
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:08 +0000 (20:25 +0000)]
to follow SUSE tools conventions
Source is now Repo

17 years agofix memory leaks
Stephan Kulow [Fri, 26 Oct 2007 19:08:40 +0000 (19:08 +0000)]
fix memory leaks

17 years ago- install the libraries
Duncan Mac-Vicar P [Fri, 26 Oct 2007 16:50:05 +0000 (16:50 +0000)]
- install the libraries

17 years agothis is not in old cmake (10.2) add it so it works for everyone
Duncan Mac-Vicar P [Fri, 26 Oct 2007 14:35:30 +0000 (14:35 +0000)]
this is not in old cmake (10.2) add it so it works for everyone

17 years agobye autofoo
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:26 +0000 (13:57 +0000)]
bye autofoo

17 years ago- iterators for solver decisions
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:24 +0000 (13:57 +0000)]
- iterators for solver decisions

17 years ago- fix packaging
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:22 +0000 (13:57 +0000)]
- fix packaging

17 years agoexamples
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:21 +0000 (13:57 +0000)]
examples

17 years agorevert debug
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:18 +0000 (13:57 +0000)]
revert debug

17 years agoname the enum so I can use it in a typemap
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:16 +0000 (13:57 +0000)]
name the enum so I can use it in a typemap

17 years agoeach_solvable in Source almost working
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:13 +0000 (13:57 +0000)]
each_solvable in Source almost working

17 years agoFind libraries, and wrap the ruby native module into a ruby file
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:11 +0000 (13:57 +0000)]
Find libraries, and wrap the ruby native module into a ruby file

17 years ago- add cmake support
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:08 +0000 (13:57 +0000)]
- add cmake support
- add ruby bindings

17 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

17 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

17 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

17 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

17 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

17 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

17 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

17 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.

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

17 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

17 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()

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

17 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

17 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.

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

17 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

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

17 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)

17 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.

17 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.

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

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

17 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

17 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

17 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

17 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()

17 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

17 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

17 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

17 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.

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

17 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

17 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".

17 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

17 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.

17 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.

17 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

17 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.

17 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.

17 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

17 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).

17 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%)

17 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.

17 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).

17 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.

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

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

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

17 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

17 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

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

17 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

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