Fix distupgrade with allowuninstall

It used to dump core in rare circumstances, it also did not
always produce the correct result.

Add POOL_FLAG_NOWHATPROVIDESAUX pool flag

The whatprovidesaux data takes up a lot of mem, so if mem is rare
you can turn it off now.

Prepare for disabling of whatprovidesaux

Add whatprovidesaux helper arrays

They need quite a bit of space, but may speed up whatprovides_rel
creation significantly in some cases.

Some cleanup

solver_reset no longer creates problems

Do rule assertions in the main solver loop

We now start with level == 0, which means that we need to do
the assertions. Also, we now return 0 from analyze_unsolvable,
meaning the assertions are no longer done there.

Use level == -1 as unsolvable marker

So that we can use level 0 for the initial decisions.

Cleanup analyze and analyze_unsolvable

Use the FOR_RULELITERAL macro, rename some stuff.

convert some testcase to "any disttype"

Support multiple dist types in testcases

and * as "march any" dist type.

installcheck: support archlinux repos

Make MULTI_SEMANTICS more prominent

Treat an unsupported disttype as missing feature

Doesn't help much as no test will be run if 'rpm' is
not supported, but hey...

Old cmake does not support parenthetical expressions

Fix linker checks

Reduce the number if identical conflict rules

reduces memory usage and speeds up rule creation a bit.

move the "requires provided by same package" check

So that we don't add the other requires to the todo list, thus
reducing the number of packages to look at.

allow complex erase jobs

only create weakrulemap when needed

remove useless if statement

rename vars in analyze()

For consistency with other functions...

Now that we cleaned up the code we can merge the 2/3 literals cases again

Move learnt rule creation into analyze()

This way we can make use of the new solver_addrule2 function.

Rework rules handling

Instead of having a bastard solver_addrule which wither takes an offset
into whatprovides or a direct literal, we now have two functions:
    solver_addrule2 will add a rule with one or two literals
    solver_addrulen will add a rule specified by an offset into whatprovides

This should make the code cleaner, faster, and less memory is used also.

This commit also adds a pool_ids2whatprovides function.

Support CPLXDEPS_NAME flag

This selects nevr filterinf, used for SOLVER_SOLVABLE_NAME complex
deps.

Propagate initial decisions right away

Makes the code less error prone.

Merge pull request #84 from neverpanic/master

Avoid linker flags when not available, fixes OS X

Avoid linker flags when not available, fixes OS X

The build currently fails on OS X because the OS X linker ld64 does not
support --as-needed or --version-script. Fix this by checking whether
these flags are supported by the currently used linker and only passing
them if they are.

Merge pull request #82 from coolo/master

fix ruby calls

fix ruby calls

Postpone creation of alternatives until all other rules are resolved

Also optimize the sort_by_common_deps code a bit.

Add SOLVER_FLAG_NEED_UPDATEPROVIDE

This flag makes the solver only consider packages providing the
old package name as update candidates.

commit GET_USERINSTALLED_NAMEARCH bits

The repo_deb part was already committed by mistake...

Add str2dep testcases using the genid feature

fix namespace escaping in testcase_dep2str

add support for id generation to testcase.c

This will be used to unit test testcase_dep2str and testcase_str2dep.

check_complex_dep: ignore blocks with no positive literals

allow dumping of all rules in testcases

We can use this to write tests for the rule generation of
complex dependencies.

refactor check_complex_dep/recheck_complex_deps

Now much easier to understand...

support feature checks in testcases

refactor complex deps code a bit

remove NAMESPACE_INSTALLED from the documentation

Fix (harmless) typo in testcase

kill NAMESPACE_INSTALLED support

Nobody needs it and it was not functual anyway.

Unify supplements alreadyinstalled handling

We now use the installsuppdepq idea for packages as well. This also
has the positive side-effect that a supplements with an OR is
installed if one of the ORed packages is installed/updated and the
other was already installed.

add changes, bump version

Fix a bug in dislike_old_versions that could make a package id negative

This lead to a segfault in sort_by_common_dep later on. Also, the
commit cleans up the dislike_old_versions code.

add changes, bump version

rework splitprovides handling

We no longer consult the updatmap, but now check if a package was
updated with the update rule. This is so that we don't get
false positives if a package can't be updated for whatever
reason.

add experimental alternatives bindings

add solver_alternative2str

make reorder_dq_for_jobrules also look at recommends/suggests

Add alternative introspection functions & testcase support

Allow auto-minimization with the same level

This is for some odd case where one of the possible packages
requires the other one.

Rework branch handling

We now store more information for introspection. Also, some
bugs in the auto-minimization code have been fixed.

Cleaned up branch creation code

Support userinstalled flags in pool_deb_get_autoinstalled

(This is so that we can support a name+arch flag later)

Add testcases for the last change

Improve package choosing code

Multiple changes:
- we no longer prune to suggests/enhances, instead we move them
  to the front so that a branch is created. This enables auto-minimization
  later on.
- we de-prefer old versions, i.e. packages that have an update candidate.
- If there are common versioned dependencies, we use them to order
  the packages.

Add debug output for branch creation

another REL_COMPAT special case

chain comparison ops with REL_COMPAT

switch to new testcase dependency format

No more dependency rewiting, plus support for complex deps.
Note that we can no longer support the .arch suffix, as many
dependency names contain a '.' and we don't know all valid
architectures. So you need to use 'name . arch' instead of
'name.arch'.

Add repo version info to namespaceprovides.t

add experimental pool_deb_get_autoinstalled

This can be used to read the autoinstalled package list from
/var/lib/apt/extended_states. Note that the pool must have
the whatprovides hash in place for this to work.

do not ignore the only repodata we have

rename DEB_DEBSTATUS to SOLVABLE_INSTALLSTATUS

Also move it to the end of knownid to not break the ABI.

Merge pull request #68 from kirgene/deb-status

Save "Status" field of debian packages during parsing of packages list.

Save "Status" field of debian packages during parsing of packages list.

When populating packages from "/var/lib/dpkg/status" into repo that should be marked as "installed repo",
there should be possible to filter partially installed packages based on their "Status" field.
This commit makes saving this field for later manual filtering.

fix solver_addpkgrulesforweak missing some splitprovide packages

This was because the updatemap gets extended when the dup rules
are created, but the map already gets used in solver_splitprovides.
So temporarily set updatemap_all in that case.

rich deps: use f[i] instead of flags

Found by Lubos Kardos.

add parser for rpm rich deps

This is work in progress, the rpm format may still change. Also,
THEN/ELSE ops are not yet supported.

make build with ENABLE_COMPLEX_DEPS work again

add changes, bump version to 0.6.8

Fix spec url (gitorious -> github)

Merge pull request #65 from kkaempf/fix_comment_characters

Fix comment characters (# -> /* ... */)

Fix comment characters (# -> /* ... */)

Merge pull request #62 from openSUSE/bnc#896224

Bnc#896224 - add product:regflavor attribute

add changes, bump version to 0.6.7

add product:regflavor attribute [bnc#896224]

save and restore branches when creating solutions

disable build of the solv tool for unsupported system types

Also gets rid of the no longer used NOSYSTEM.

Document pool_setdisttype return value

always provide pool_setdisttype

Also return an error for unsupported distributions.

add changes, bump version to 0.6.6

fix bug in reorder_dq_for_jobrules

The next level is actually "level + 1", so by using level we punch
zeros in our decisionmap leading to some nasty bugs later on
(e.g. when we need to revert).

rename rpm rules to pkg rules

Long overdue as we support debian/haiku/arch since a long time now.
No ABI change, as we have legacy defines.

The last tools manpages

even more manpages

add more man pages

Merge pull request #57 from akozumpl/master

repo_rpmdb's freestate() can free rootdir only after closedbenv() finish...

repo_rpmdb's freestate() can free rootdir only after closedbenv() finishes.

Because serialize_dbenv_ops() still uses rootdir.

Start adding man-pages for the tools

Fix grammar and spelling errors in man pages

Provide support for multi-arch include directory

remove strange livsolv-tools requires from the devel package

Tweak the README (suggested by Michael Tautschnig)

make sure that we have a dirid when adding du data

add changes, bump version to 0.6.5