Ricardo Wurmus writes: > Mathieu Lirzin writes: > >>> + (modify-phases %standard-phases >>> + (add-after 'unpack 'replace-/bin/ls >>> + (lambda _ >>> + (substitute* '("Makefile.decl" >>> + "tools/Makefile.in" >>> + "tests/Makefile.in" >>> + "aidacc/tests/Makefile.in" >>> + "aidacc/Makefile.in" >>> + "cython/Makefile.in" >>> + "res/Makefile.in" >>> + "ui/tests/Makefile.in" >>> + "ui/Makefile.in" >>> + "docs/tutorial/Makefile.in" >>> + "docs/mans/Makefile.in" >>> + "docs/Makefile.in" >>> + "docs/examples/Makefile.in" >>> + "docs/imports/Makefile.in" >>> + "Makefile.in" >>> + "pytests/Makefile.in" >>> + "examples/Makefile.in" >>> + "data/Makefile.in" >>> + "rcore/tests/Makefile.in" >>> + "rcore/Makefile.in") >>> + (("/bin/ls") (which "ls"))) >> >> Can you try to use ‘find-files’ for this substitution? > > Yes, that would be better. I’ll send a new version of this patch > later; I found that some inputs need to be propagated. Here’s a new version of the patch moving around inputs to the propagated-inputs field and using “find-files”. ~~ Ricardo