Ricardo Wurmus <ricardo.wur...@mdc-berlin.de> skribis: > Ludovic Courtès <l...@gnu.org> writes: > >>> + (snippet >>> + ;; Remove bundled samtools. Leave the headers. >>> + '(for-each delete-file >>> + (find-files "preseq-master/samtools" >>> + "\\.c$"))))) >> >> Why leave the headers? Isn’t it risky to leave headers that may be >> different from the Samtools that we’re actually linking against? > > The problem is with our Samtools package(s). They don't install > headers. I'd better update them to install the headers; then I could > just delete the complete "samtools" directory.
Yes that would be best, if that’s fine with you. Ludo’.