On Fri, Oct 28, 2016 at 3:45 PM, Ludovic Courtès <l...@gnu.org> wrote: > Federico Beffa <be...@ieee.org> skribis: > > [...] > >> + (propagated-inputs `(("gnuplot" ,gnuplot))) > > Instead of propagating it, could we instead replace “gnuplot” with > “/gnu/store/…/bin/gnuplot” in the relevant source file?
Good idea and easy to implement. I'll do it. Thanks, Fede