diff options
| author | Peter Scheibel <scheibel1@llnl.gov> | 2023-05-11 00:17:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-11 09:17:16 +0200 |
| commit | bfa54da2929a6dfea14e04eca036b9409a5aa68b (patch) | |
| tree | c2a582fddf9f6b75866909f519841c50f335e8df /etc | |
| parent | 730ab1574fffd95b5a55f91bb243d477b104695f (diff) | |
| download | spack-bfa54da2929a6dfea14e04eca036b9409a5aa68b.tar.gz spack-bfa54da2929a6dfea14e04eca036b9409a5aa68b.tar.bz2 spack-bfa54da2929a6dfea14e04eca036b9409a5aa68b.tar.xz spack-bfa54da2929a6dfea14e04eca036b9409a5aa68b.zip | |
Allow clingo to enforce flags when they appear in requirements (#37584)
Flags are encoded differently from other variants, and they need a choice rule to
ensure clingo has a choice to impose (or not) a constraint.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions