User Guide

Projects using Spack have to setup Clingo, which Spack uses in its concretizer. It is common, and recommended for projects to freeze Spack version for reproducibility and reliability. In the end, two projects may not use the same Spack version, and syncing/updating can become a hassle.

In addition to that, using Spack in CI also requires to setup Clingo in a reliable manner on any machine of interest.

We created this repo to help testing the Clingo install with any Spack version and automating the installation on several machines. This documentation will demonstrate how to achieve both.

• Getting started with Radiuss-Clingo-Install
  • Private clone or contribution branch
  • Project configuration
  • Usage