b9d6a5103d
* ASP-based solver: allow configuring target selection This commit adds a new "concretizer:targets" configuration section, and two options under it. - "concretizer:targets:granularity" allows switching from considering only generic targets to consider all possible microarchitectures. - "concretizer:targets:host_compatible" instead controls whether we can concretize for microarchitectures that are incompatible with the current host. * Add documentation * Add unit-tests |
||
|---|---|---|
| .. | ||
| cray | ||
| darwin | ||
| linux | ||
| windows | ||
| bootstrap.yaml | ||
| concretizer.yaml | ||
| config.yaml | ||
| mirrors.yaml | ||
| modules.yaml | ||
| packages.yaml | ||
| repos.yaml | ||