diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2021-10-22 21:42:57 -0700 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-10-25 09:11:04 +0200 |
| commit | de8e795563e03fe2519296ef453c926cd62a7894 (patch) | |
| tree | 7ff9522f241c8411216d194f3c73679eb2bd04c0 /etc | |
| parent | 6d69d23aa5574df501ac8bdccdeaaf0ecc550f1b (diff) | |
| download | spack-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 'etc')
0 files changed, 0 insertions, 0 deletions