summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
Diffstat (limited to 'etc')
-rw-r--r--etc/spack/defaults/config.yaml16
1 files changed, 16 insertions, 0 deletions
diff --git a/etc/spack/defaults/config.yaml b/etc/spack/defaults/config.yaml
index 6c5e8697b1..15ce68c68f 100644
--- a/etc/spack/defaults/config.yaml
+++ b/etc/spack/defaults/config.yaml
@@ -145,6 +145,20 @@ config:
ccache: false
+ # The concretization algorithm to use in Spack. Options are:
+ #
+ # 'original': Spack's original greedy, fixed-point concretizer. This
+ # algorithm can make decisions too early and will not backtrack
+ # sufficiently for many specs.
+ #
+ # 'clingo': Uses a logic solver under the hood to solve DAGs with full
+ # backtracking and optimization for user preferences.
+ #
+ # 'clingo' currently requires the clingo ASP solver to be installed and
+ # built with python bindings. 'original' is built in.
+ concretizer: original
+
+
# How long to wait to lock the Spack installation database. This lock is used
# when Spack needs to manage its own package metadata and all operations are
# expected to complete within the default time limit. The timeout should
@@ -159,11 +173,13 @@ config:
# never succeed.
package_lock_timeout: null
+
# Control whether Spack embeds RPATH or RUNPATH attributes in ELF binaries.
# Has no effect on macOS. DO NOT MIX these within the same install tree.
# See the Spack documentation for details.
shared_linking: 'rpath'
+
# Set to 'false' to allow installation on filesystems that doesn't allow setgid bit
# manipulation by unprivileged user (e.g. AFS)
allow_sgid: true