Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

new spack install of clingo may cause error #69

Open
white238 opened this issue Sep 29, 2021 · 0 comments
Open

new spack install of clingo may cause error #69

white238 opened this issue Sep 29, 2021 · 0 comments

Comments

@white238
Copy link
Member

per @adrienbernede

spack installs clingo in ~/.spack, and does that with spack-like install tree, coming with a database.
That would be OK if clingo was installed once for all, and the database version never changes.
There was a recent change in Spack, and all databases moved from yaml to json.

This means, between two projects using a different version of spack, you may have a nice error because of a conflict on your database version in ~/.spack.

Work around 1: (and typically a new feature for Uberenv): always set the store location (bootstrap clingo install) to a custom location. That may be a bit painful because installing clingo is painful.

Work around 2: Have LC install a clingo we can use. (We may still need work around 1, just to be safe)

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

No branches or pull requests

1 participant