diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-12-29 12:45:11 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-12-29 23:51:20 -0800 |
| commit | eca1dd8738df73a9f621e5b32dedb2bccf316bbe (patch) | |
| tree | 0031d3564a7b8f4bdbb31b0dce187c6e8dbcb1b6 /etc | |
| parent | a4accff26614af1b36e239035a22acf72a328313 (diff) | |
| download | spack-eca1dd8738df73a9f621e5b32dedb2bccf316bbe.tar.gz spack-eca1dd8738df73a9f621e5b32dedb2bccf316bbe.tar.bz2 spack-eca1dd8738df73a9f621e5b32dedb2bccf316bbe.tar.xz spack-eca1dd8738df73a9f621e5b32dedb2bccf316bbe.zip | |
concretizer: generate facts for externals
Generate only facts for external specs. Substitute the
use of already grounded rules with non-grounded rules
in concretize.lp
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions