Skip to content

ubuntu-24.04: use Spack's optimized clingo instead of the PyPI wheel - #91

Open
zackgalbreath wants to merge 2 commits into
mainfrom
ubuntu-24.04-spack-clingo
Open

zackgalbreath wants to merge 2 commits into
mainfrom
ubuntu-24.04-spack-clingo

Conversation

@zackgalbreath

Copy link
Copy Markdown
Collaborator

Spack's bootstrap clingo solves faster than the PyPI wheel. Install it with a throwaway copy of Spack pinned to v1.2.2 (SPACK_COMMIT), and add a .pth file so the venv imports it. CI's Spack, whatever its version, then uses it instead of bootstrapping its own.

Spack's bootstrap clingo solves faster than the PyPI wheel. Install it
with a throwaway copy of Spack pinned to v1.2.2 (SPACK_COMMIT), and add
a .pth file so the venv imports it. CI's Spack, whatever its version,
then uses it instead of bootstrapping its own.

Assisted-By: Claude
Signed-off-by: Zack Galbreath <zack.galbreath@kitware.com>
Comment thread Dockerfiles/ubuntu-24.04.dockerfile Outdated
&& python3 -m pip install gnureadline boto3 pyyaml pytz minio requests \
&& rm -rf ~/.cache

# Install Spack's optimized clingo (faster than the PyPI wheel) with a

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This method should be portable to all of the other images. Can we extract this into a bootstrap-clingo.sh script so it can be reused to build other containers?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could also modernize https://github.com/spack/gitlab-runners/tree/main/x86_64_v3-linux-gnu and use spack installed software instead of a random combination of apt, pip, curl|sh and spack

The clingo install isn't specific to this image, so move it into a
script other images can reuse.

Assisted-By: Claude
Signed-off-by: Zack Galbreath <zack.galbreath@kitware.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants