Fix incorrect comparison with multiple values

  a == X || Y
is valid C, but does interesting things and probably not what you would
expect. Luckily, clang warns for this kind of problem:
  warning: use of logical '||' with constant operand [-Wconstant-logical-operand]
Fix this by using the proper comparison logic, which is
  a == X || a == Y

Signed-off-by: Clemens Lang <neverpanic@gmail.com>

Fix library install names on OS X

Libraries on OS X are referenced using abolute paths. When linking
against a library, its so-called install name is copied into the binary
to reference the library. CMake supports setting this install name using
the INSTALL_NAME_DIR target property.

Signed-off-by: Clemens Lang <neverpanic@gmail.com>

Add warnings for missing parts in new languages

This should simplify porting the libsolv bindings to new languages
because rather than failing with a cryption SWIG error, these warnings
should give developers a hint what needs to be done at minimum.

Signed-off-by: Clemens Lang <neverpanic@gmail.com>

Implement libsolv Tcl bindings

Add the necessary build system changes and modifications in the SIWG
interface definition file to enable generation of Tcl bindings. The
build system generates and installs a Tcl module that can used from
tclsh using
  % package require solv
Constants and operations are available in the solv:: namespace, e.g.
  % puts $solv::Solver_POLICY_ILLEGAL_DOWNGRADE
will echo "1".

Rudimentary testing has been done, but this should be considered
experimental for now. We will fix problems as we encounter them.

Signed-off-by: Clemens Lang <neverpanic@gmail.com>

add changes, bump version

Add SHA512 also to data_skip_verify for completeness

data_skip_verify is currently unused.

Add forgotten checksum types to data_skip.

This should have been in commit c8164bfecf2ba8bcf4c24329534d3104f19da73c.
Thanks to tuxmaster for helping me to reproduce the crash.

ABI compat: move whatprovidesaux to private part of pool

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