summaryrefslogtreecommitdiff
path: root/pytest.ini
diff options
context:
space:
mode:
authorTodd Gamblin <tgamblin@llnl.gov>2021-10-22 21:42:57 -0700
committerMassimiliano Culpo <massimiliano.culpo@gmail.com>2021-10-25 09:11:04 +0200
commitde8e795563e03fe2519296ef453c926cd62a7894 (patch)
tree7ff9522f241c8411216d194f3c73679eb2bd04c0 /pytest.ini
parent6d69d23aa5574df501ac8bdccdeaaf0ecc550f1b (diff)
downloadspack-de8e795563e03fe2519296ef453c926cd62a7894.tar.gz
spack-de8e795563e03fe2519296ef453c926cd62a7894.tar.bz2
spack-de8e795563e03fe2519296ef453c926cd62a7894.tar.xz
spack-de8e795563e03fe2519296ef453c926cd62a7894.zip
virtuals: simplify virtual handling
These three rules in `concretize.lp` are overly complex: ```prolog :- not provider(Package, Virtual), provides_virtual(Package, Virtual), virtual_node(Virtual). ``` ```prolog :- provides_virtual(Package, V1), provides_virtual(Package, V2), V1 != V2, provider(Package, V1), not provider(Package, V2), virtual_node(V1), virtual_node(V2). ``` ```prolog provider(Package, Virtual) :- root(Package), provides_virtual(Package, Virtual). ``` and they can be simplified to just: ```prolog provider(Package, Virtual) :- node(Package), provides_virtual(Package, Virtual). ``` - [x] simplify virtual rules to just one implication - [x] rename `provides_virtual` to `virtual_condition_holds`
Diffstat (limited to 'pytest.ini')
0 files changed, 0 insertions, 0 deletions