jaiden
/
apk-tools
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
apk-tools/src/apk_solver.h

60 lines
1.8 KiB
C
Raw Normal View History

solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
/* apk_solver.h - Alpine Package Keeper (APK)
*
* Copyright (C) 2005-2008 Natanael Copa <n@tanael.org>
solver: rewrite as deductive solver -- core features Implementing basic dependency handling, install_if and awareness of pinning.
2013-06-11 11:06:06 +00:00
* Copyright (C) 2008-2013 Timo Teräs <timo.teras@iki.fi>
solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
* All rights reserved.
*
* This program is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 as published
* by the Free Software Foundation. See http://www.gnu.org/ for details.
*/
#ifndef APK_SOLVER_H
#define APK_SOLVER_H
solver: merge apk_name_state to apk_name apk_name_state is now quite small; and we avoid overhead of two pointers (+ malloc overhead) when we just make it part of apk_name. It also fixes some problems (that got introduced) where apk_name_state was not allocated.
2012-02-29 09:26:12 +00:00
struct apk_name;
struct apk_package;
solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
struct apk_change {
solver: rewrite as deductive solver -- core features Implementing basic dependency handling, install_if and awareness of pinning.
2013-06-11 11:06:06 +00:00
struct apk_package *old_pkg;
struct apk_package *new_pkg;
unsigned old_repository_tag : 15;
unsigned new_repository_tag : 15;
solver: record repository tag, and flags in solution name state could get overwritten later, so we can't use that when generating the changeset.
2012-02-16 08:50:52 +00:00
unsigned reinstall : 1;
solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
};
APK_ARRAY(apk_change_array, struct apk_change);
struct apk_changeset {
solver: rewrite as deductive solver -- core features Implementing basic dependency handling, install_if and awareness of pinning.
2013-06-11 11:06:06 +00:00
int num_install, num_remove, num_adjust;
int num_total_changes;
solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
struct apk_change_array *changes;
};
applets: start using solver code still todo: - 'fix' is missing - 'del -R' does not work - 'upgrade' does not do self-upgrade first ... and a lot of testing.
2011-09-09 13:31:11 +00:00
#define APK_SOLVERF_UPGRADE 0x0001
#define APK_SOLVERF_AVAILABLE 0x0002
#define APK_SOLVERF_REINSTALL 0x0004
upgrade: new option: --latest (-l) Select latest version of package (if it is not pinned), and print error if it cannot be installed due to other dependencies. Together with --available, it selects the latest package which is present at least in some repository. This also fixes few solver issues with ordering of package selection that got quite apparent with this flag. Namely, we cannot "lock" a package until it's reverse dependencies are locked or not all of the solver flags are propagated properly.
2013-06-18 13:24:48 +00:00
#define APK_SOLVERF_LATEST 0x0008
fetch: ignore conflicts when solving --recursive fetches
2018-06-14 17:40:05 +00:00
#define APK_SOLVERF_IGNORE_CONFLICT 0x0010
upgrade: implement --ignore to exclude some packages from upgrade
2019-12-10 01:14:49 +00:00
#define APK_SOLVERF_IGNORE_UPGRADE 0x0020
applets: start using solver code still todo: - 'fix' is missing - 'del -R' does not work - 'upgrade' does not do self-upgrade first ... and a lot of testing.
2011-09-09 13:31:11 +00:00
solver: add per-name specific flags, and fix the fix applet
2011-09-13 08:47:34 +00:00
void apk_solver_set_name_flags(struct apk_name *name,
solver: inheritable solver flags allow per-name solver flags to be inheritable, and use them in self-upgrade, add -u and the fix applet. this gives more familiar behaviour for the upgrades.
2011-09-16 14:10:50 +00:00
unsigned short solver_flags,
unsigned short solver_flags_inheritable);
applets: start using solver code still todo: - 'fix' is missing - 'del -R' does not work - 'upgrade' does not do self-upgrade first ... and a lot of testing.
2011-09-09 13:31:11 +00:00
int apk_solver_solve(struct apk_database *db,
unsigned short solver_flags,
struct apk_dependency_array *world,
struct apk_changeset *changeset);
solver: rewrite as deductive solver -- core features Implementing basic dependency handling, install_if and awareness of pinning.
2013-06-11 11:06:06 +00:00
del: fix recursive deletion and messages (after solver merge) Deduce the world dependencies to remove locally, and same for the additional messages about packages not deleted.
2011-09-09 16:41:19 +00:00
int apk_solver_commit_changeset(struct apk_database *db,
struct apk_changeset *changeset,
struct apk_dependency_array *world);
void apk_solver_print_errors(struct apk_database *db,
solver: rewrite as deductive solver -- core features Implementing basic dependency handling, install_if and awareness of pinning.
2013-06-11 11:06:06 +00:00
struct apk_changeset *changeset,
struct apk_dependency_array *world);
int apk_solver_commit(struct apk_database *db, unsigned short solver_flags,
applets: start using solver code still todo: - 'fix' is missing - 'del -R' does not work - 'upgrade' does not do self-upgrade first ... and a lot of testing.
2011-09-09 13:31:11 +00:00
struct apk_dependency_array *world);
solver: new package selection logic (which is not yet used) * basic code for a backtracking, forward checking dependency satisfier * works better when there are tricky dependencies to solve (when can't just upgrade everything to most preferred versions) * the new code always evaluates all of 'world' constraints (old code just does incremental updates based on heuristics) * is probably somewhat slower than old code (probably unnoticeable difference in most cases) * makes easier to write support for provides and repository pinning * test applet and a bunch of test cases added which uses the new code * from the old feature set install_if is not yet implemented
2011-07-26 13:56:55 +00:00
#endif