diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-09-15 07:44:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-14 22:44:16 -0700 |
| commit | c52426ea7a17a60dd1f4e6d8aeaa4ead157badc7 (patch) | |
| tree | 31a0b0feefa1956782be89900838183f299b5491 /etc | |
| parent | 0d0d438c119a770ba1d9db3126df1993b70448ca (diff) | |
| download | spack-c52426ea7a17a60dd1f4e6d8aeaa4ead157badc7.tar.gz spack-c52426ea7a17a60dd1f4e6d8aeaa4ead157badc7.tar.bz2 spack-c52426ea7a17a60dd1f4e6d8aeaa4ead157badc7.tar.xz spack-c52426ea7a17a60dd1f4e6d8aeaa4ead157badc7.zip | |
Make clingo the default solver (#25502)
Modifications:
- [x] Change `defaults/config.yaml`
- [x] Add a fix for bootstrapping patchelf from sources if `compilers.yaml` is empty
- [x] Make `SPACK_TEST_SOLVER=clingo` the default for unit-tests
- [x] Fix package failures in the e4s pipeline
Caveats:
1. CentOS 6 still uses the original concretizer as it can't connect to the buildcache due to issues with `ssl` (bootstrapping from sources requires a C++14 capable compiler)
1. I had to update the image tag for GitlabCI in e699f14.
1. libtool v2.4.2 has been deprecated and other packages received some update
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/spack/defaults/config.yaml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/etc/spack/defaults/config.yaml b/etc/spack/defaults/config.yaml index 64a50cc805..88a19d3222 100644 --- a/etc/spack/defaults/config.yaml +++ b/etc/spack/defaults/config.yaml @@ -160,11 +160,10 @@ config: # sufficiently for many specs. # # 'clingo': Uses a logic solver under the hood to solve DAGs with full - # backtracking and optimization for user preferences. + # backtracking and optimization for user preferences. Spack will + # try to bootstrap the logic solver, if not already available. # - # 'clingo' currently requires the clingo ASP solver to be installed and - # built with python bindings. 'original' is built in. - concretizer: original + concretizer: clingo # How long to wait to lock the Spack installation database. This lock is used |