def test_multiple_provided_names_single_install_provide(self):
# Installed requirement has 1 one provide, but multiple provides for
# the same name are available in the pool
repo = Repository([
mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0, numpy_1_6_1,
numpy_1_7_0
])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("numpy-1.7.0", pool))
r_rules.add(
PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.1", pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules,
set(create_install_rules(pool, R("numpy == 1.7.0"))))
def test_complex_scenario_1(self):
repo = Repository([mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0,
numpy_1_6_0, numpy_1_6_1, numpy_1_7_0, scipy_0_11_0, scipy_0_12_0])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("scipy-0.11.0 | scipy-0.12.0", pool))
r_rules.add(PackageRule.from_string("-scipy-0.11.0 | -scipy-0.12.0", pool))
r_rules.add(PackageRule.from_string(
"-scipy-0.11.0 | numpy-1.6.0 | numpy-1.6.1 | numpy-1.7.0",
pool))
r_rules.add(PackageRule.from_string(
"-scipy-0.12.0 | numpy-1.6.0 | numpy-1.6.1 | numpy-1.7.0",
pool))
r_rules.add(PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.1", pool))
r_rules.add(PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.0", pool))
r_rules.add(PackageRule.from_string("-numpy-1.6.0 | -numpy-1.6.1", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.6.1 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.6.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules,
set(create_install_rules(pool, R("scipy"))))
def test_multiple_install_provides(self):
# Installed requirement has > 1 one provide
repo = Repository([
mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0, numpy_1_6_1,
numpy_1_7_0
])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("numpy-1.7.0 | numpy-1.6.1", pool))
r_rules.add(
PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.1", pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.6.1 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules, set(create_install_rules(pool, R("numpy"))))
def solve(self, requirement):
"""Compute the set of operations to fulfill the given requirement.
Parameters
----------
requirement: Requirement
The requirement to fulfill
Returns
--------
operations: seq
List of operations to apply to the system to fulfill the requirement.
"""
clauses = create_install_rules(self.pool, requirement)
job_clauses = clauses[:1]
variables = DecisionsSet(self.pool)
decide_from_assertion_rules(clauses, variables)
clauses = self._solve_job_clauses(clauses, job_clauses, variables)
if len(clauses) > 0:
self._run_dpll(clauses, variables)
return self._compute_operations(variables)
def solve(self, requirement):
"""Compute the set of operations to fulfill the given requirement.
Parameters
----------
requirement: Requirement
The requirement to fulfill
Returns
--------
operations: seq
List of operations to apply to the system to fulfill the requirement.
"""
clauses = create_install_rules(self.pool, requirement)
job_clauses = clauses[:1]
variables = DecisionsSet(self.pool)
decide_from_assertion_rules(clauses, variables)
clauses = self._solve_job_clauses(clauses, job_clauses, variables)
if len(clauses) > 0:
self._run_dpll(clauses, variables)
return self._compute_operations(variables)
def test_create_install_rules_simple(self):
r_rules = set()
r_rules.add(PackageRule.from_string(
"mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", self.pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", self.pool))
self.assertEqual(r_rules,
set(create_install_rules(self.pool, R("mkl"))))
def test_complex_scenario_1(self):
repo = Repository([
mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0, numpy_1_6_0,
numpy_1_6_1, numpy_1_7_0, scipy_0_11_0, scipy_0_12_0
])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(
PackageRule.from_string("scipy-0.11.0 | scipy-0.12.0", pool))
r_rules.add(
PackageRule.from_string("-scipy-0.11.0 | -scipy-0.12.0", pool))
r_rules.add(
PackageRule.from_string(
"-scipy-0.11.0 | numpy-1.6.0 | numpy-1.6.1 | numpy-1.7.0",
pool))
r_rules.add(
PackageRule.from_string(
"-scipy-0.12.0 | numpy-1.6.0 | numpy-1.6.1 | numpy-1.7.0",
pool))
r_rules.add(
PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.1", pool))
r_rules.add(
PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.0", pool))
r_rules.add(
PackageRule.from_string("-numpy-1.6.0 | -numpy-1.6.1", pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.6.1 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(
PackageRule.from_string(
"-numpy-1.6.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules, set(create_install_rules(pool, R("scipy"))))
def test_already_installed_indirect_provided(self):
# Installed requirement has one dependency with multiple provides for
# the same name available in the pool, one of which is already
# installed. Here: scipy depends on numpy, nomkl_numpy is also
# available and already installed
repo = Repository([mkl_11_0_0, nomkl_numpy_1_7_0, numpy_1_7_0, scipy_0_11_0])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("scipy-0.11.0", pool))
r_rules.add(PackageRule.from_string("-scipy-0.11.0 | numpy-1.7.0 | nomkl_numpy-1.7.0", pool))
r_rules.add(PackageRule.from_string("-numpy-1.7.0 | -nomkl_numpy-1.7.0", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.7.0 | mkl-11.0.0", pool))
self.assertEqual(r_rules,
set(create_install_rules(pool, R("scipy"))))
def test_create_install_rules_simple_dependency(self):
# Installed requirement has only one provide
repo = Repository([mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0, numpy_1_7_0])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("numpy-1.7.0", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules,
set(create_install_rules(pool, R("numpy"))))
def test_already_installed_indirect_provided(self):
# Installed requirement has one dependency with multiple provides for
# the same name available in the pool, one of which is already
# installed. Here: scipy depends on numpy, nomkl_numpy is also
# available and already installed
repo = Repository(
[mkl_11_0_0, nomkl_numpy_1_7_0, numpy_1_7_0, scipy_0_11_0])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("scipy-0.11.0", pool))
r_rules.add(
PackageRule.from_string(
"-scipy-0.11.0 | numpy-1.7.0 | nomkl_numpy-1.7.0", pool))
r_rules.add(
PackageRule.from_string("-numpy-1.7.0 | -nomkl_numpy-1.7.0", pool))
r_rules.add(PackageRule.from_string("-numpy-1.7.0 | mkl-11.0.0", pool))
self.assertEqual(r_rules, set(create_install_rules(pool, R("scipy"))))
def test_create_install_rules_simple(self):
r_rules = set()
r_rules.add(
PackageRule.from_string(
"mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0",
self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", self.pool))
r_rules.add(
PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", self.pool))
self.assertEqual(r_rules,
set(create_install_rules(self.pool, R("mkl"))))
def test_multiple_provided_names_single_install_provide(self):
# Installed requirement has 1 one provide, but multiple provides for
# the same name are available in the pool
repo = Repository([mkl_10_1_0, mkl_10_2_0, mkl_10_3_0, mkl_11_0_0,
numpy_1_6_1, numpy_1_7_0])
pool = Pool()
pool.add_repository(repo)
r_rules = set()
r_rules.add(PackageRule.from_string("numpy-1.7.0", pool))
r_rules.add(PackageRule.from_string("-numpy-1.7.0 | -numpy-1.6.1", pool))
r_rules.add(PackageRule.from_string(
"-numpy-1.7.0 | mkl-10.1.0 | mkl-10.2.0 | mkl-10.3.0 | mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.2.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.1.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-10.3.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.2.0 | -mkl-11.0.0", pool))
r_rules.add(PackageRule.from_string("-mkl-10.3.0 | -mkl-11.0.0", pool))
self.assertEqual(r_rules,
set(create_install_rules(pool, R("numpy == 1.7.0"))))