diff options
author | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-16 00:57:03 -0800 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-20 07:00:46 -0800 |
commit | bb78a73ed33e24d3b24893c83c6cd77294fe04c7 (patch) | |
tree | 5c3656c2af9a8dd1026da2086d3778226814d990 /var | |
parent | d7fe2d56784d95c471689ca2c524580b76bbe5b0 (diff) | |
download | spack-bb78a73ed33e24d3b24893c83c6cd77294fe04c7.tar.gz spack-bb78a73ed33e24d3b24893c83c6cd77294fe04c7.tar.bz2 spack-bb78a73ed33e24d3b24893c83c6cd77294fe04c7.tar.xz spack-bb78a73ed33e24d3b24893c83c6cd77294fe04c7.zip |
concretizer: move conditional dependency logic into `concretize.lp`
Continuing to convert everything in `asp.py` into facts, make the
generation of ground rules for conditional dependencies use facts, and
move the semantics into `concretize.lp`.
This is probably the most complex logic in Spack, as dependencies can be
conditional on anything, and we need conditional ASP rules to accumulate
and map all the dependency conditions to spec attributes.
The logic looks complicated, but essentially it accumulates any
constraints associated with particular conditions into a fact associated
with the condition by id. Then, if *any* condition id's fact is True, we
trigger the dependency.
This simplifies the way `declared_dependency()` works -- the dependency
is now declared regardless of whether it is conditional, and the
conditions are handled by `dependency_condition()` facts.
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions