Hi Leo, Leo Famulari writes: > And there is a diff for 'build-aux/cuirass/evaluate.scm', so that I can > test it with `make cuirass-jobs`. > > But, `make cuirass-jobs` crashes with this manifest and I don't know > why: The inferior that's used in 'build-aux/cuirass/evaluate.scm' is built from the current check-out by first adding the checkout to the store and then building it the usual way. However, that copy only selects files that belong to the git tree using the git-predicate. If you add the manifest to the git checkout by first committing it, it should proceed happily (at least it did over here). Best, -- Josselin Poiret