diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-03 18:37:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-03 09:37:46 -0800 |
| commit | 10e9e142b75c6ca8bc61f688260c002201cc1b22 (patch) | |
| tree | 9c0a0851a94aee96662d7b2c6fcef257db8d4798 /bin | |
| parent | 6d54df1ba4e8ff1d29782ffe2ac358ac10b25bb5 (diff) | |
| download | spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.gz spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.bz2 spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.tar.xz spack-10e9e142b75c6ca8bc61f688260c002201cc1b22.zip | |
Bootstrap clingo from sources (#21446)
* Allow the bootstrapping of clingo from sources
Allow python builds with system python as external
for MacOS
* Ensure consistent configuration when bootstrapping clingo
This commit uses context managers to ensure we can
bootstrap clingo using a consistent configuration
regardless of the use case being managed.
* Github actions: test clingo with bootstrapping from sources
* Add command to inspect and clean the bootstrap store
Prevent users to set the install tree root to the bootstrap store
* clingo: documented how to bootstrap from sources
Co-authored-by: Gregory Becker <becker33@llnl.gov>
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions