diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2019-10-13 21:05:35 -0700 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 36ec66d997e91e3afcbd4a3c7b999370b24254a0 (patch) | |
| tree | 7b1086fd12927fef0d0e6211e7654e2916dbe260 /.github | |
| parent | a332981f2f8d06189c50f651d7d9278f7b28bffe (diff) | |
| download | spack-36ec66d997e91e3afcbd4a3c7b999370b24254a0.tar.gz spack-36ec66d997e91e3afcbd4a3c7b999370b24254a0.tar.bz2 spack-36ec66d997e91e3afcbd4a3c7b999370b24254a0.tar.xz spack-36ec66d997e91e3afcbd4a3c7b999370b24254a0.zip | |
concretizer: use clingo json output instead of text
Clingo actually has an option to output JSON -- use that instead of
parsing the raw otuput ourselves.
This also allows us to pick the best answer -- modify the parser to
*only* construct a spec for that one rather than building all of them
like we did before.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions