tcl bindings: rename __str__ to str, __repr__ to repr, __eq__ to ==, and __ne__ to !=

Also rename __repr__ to repr for the perl bindings.

tcl bindings: implement the solver->solve method the hard way

Update tclsolv, still work in progress

* use arrays instead of dics for the repos, so we can use the $foo(bar)
  syntax which makes the code a bit more readable
* implement susetags reading and cache writing

bindings: fix SWIG_AsCharPtrAndSize usage

The returned size seems to be always incremented for some reason.

tcl bindings: use Tcl_GetByteArrayFromObj to get the raw binary data

We do not want utf8 encoding of binary data...

[backend] support a -T option that writes a testcase

Useful for verification purposes.

Remove support for THEN, make ELSE work with IF

Fix REL_COND for weak deps corner cases

Add support for REL_ELSE

Also make REL_COND strictly OR_NOT, even in an OR
context like Conflicts or Supplements.

work in progress: the solv tool written in tcl

tcl bindings: add solv::iter for iterator support

Usage: solv::iter var iterator code

tcl bindings: fix appdata code

fix binary data handling in tcl

Support the solver.describe_weakdep_decision method

It returns an array of 3-tuples.

fix pc file directory

Adapt specfile for libsolv.pc

Merge pull request #67 from kirgene/master

Added pkg-config file for library.

Change mandriva disttag/distepoch handling

It's now more in sync with what mandriva's perl-URPM does, and it
also does not penalize mageia anymore.

Specify PYTHONLIBS_VERSION_STRING on the FIND_PACKAGE call

Otherwise the configure will fail for newer cmake versions, as
they expect _MAJOR/_MINOR/_COUNT to be set as well.

Merge pull request #96 from mtoman/add_mips

Extend support for MIPS architectures

Extend support for MIPS architectures

Signed-off-by: Michal Toman <mtoman@fedoraproject.org>

Support testcase writing in bindings

Add "const" to some args

Enable the comps parser for SUSE

This is to allow kiwi to deal with comps groups.

do not ignore the result of solv_realloc when shrinking whatprovidesauxdata

As we're always shrinking the code worked with glibc, but resulted
in a segfault under valgrind.

Merge pull request #90 from neverpanic/master

Implement Tcl bindings

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.