bootstrap: add clingo 3.13 binaries and more (#47126)

This commit is contained in:
Harmen Stoppels
2024-10-24 08:55:14 +02:00
committed by GitHub
parent faeef6272d
commit d8c8074762
14 changed files with 722 additions and 645 deletions

View File

@@ -1,7 +1,7 @@
#!/bin/bash
set -e
source share/spack/setup-env.sh
$PYTHON bin/spack bootstrap disable github-actions-v0.4
$PYTHON bin/spack bootstrap disable github-actions-v0.5
$PYTHON bin/spack bootstrap disable spack-install
$PYTHON bin/spack $SPACK_FLAGS solve zlib
tree $BOOTSTRAP/store