diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-03 18:37:46 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2021-05-22 11:50:59 -0700 |
| commit | 16f7a02654095801dfd67cd647136c6466a9f73c (patch) | |
| tree | bc2be1067691edc30d1e6dc67df5436a381a76dc /.github/actions | |
| parent | 6c1b348d912175ce49141386cee8d79d8035269b (diff) | |
| download | spack-16f7a02654095801dfd67cd647136c6466a9f73c.tar.gz spack-16f7a02654095801dfd67cd647136c6466a9f73c.tar.bz2 spack-16f7a02654095801dfd67cd647136c6466a9f73c.tar.xz spack-16f7a02654095801dfd67cd647136c6466a9f73c.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>
(cherry picked from commit 10e9e142b75c6ca8bc61f688260c002201cc1b22)
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions