diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-10-26 20:56:41 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 48eb50921a6fb939a8df5856797668b8c37fae86 (patch) | |
| tree | 2a0e79e07ec618291117ff81a6773e4a380eee8d /.github/CONTRIBUTING.md | |
| parent | b92659c3bf6c7bc477dfd0c6c5f527496f599c51 (diff) | |
| download | spack-48eb50921a6fb939a8df5856797668b8c37fae86.tar.gz spack-48eb50921a6fb939a8df5856797668b8c37fae86.tar.bz2 spack-48eb50921a6fb939a8df5856797668b8c37fae86.tar.xz spack-48eb50921a6fb939a8df5856797668b8c37fae86.zip | |
concretizer: added rules and code for externals
Generate facts on externals by inspecting
packages.yaml. Added rules in concretize.lp
Added extra logic so that external specs
disregard any conflict encoded in the
package.
In ASP this would be a simple addition to
an integrity constraint:
:- c1, c2, c3, not external(pkg)
Using the the Backend API from Python it
requires some scaffolding to obtain a default
negated statement.
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions