Re: [PATCH 1/1] gnu: icestorm: Replace reference in icebox_vlog.

[Danny Milosavljevic]

Hi,

thanks for the patch!

On Sat, 14 Jan 2017 20:56:52 +0200
Theodoros Foradis <address@hidden> wrote:

> * gnu/packages/fpga.scm (icestorm)[arguments]: Modify phases
> "fix-usr-local" to replace reference to /usr/local/share.
> ---
>  gnu/packages/fpga.scm | 9 +++++----
>  1 file changed, 5 insertions(+), 4 deletions(-)
> 
> diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
> index f65eae8..eb05a39 100644
> --- a/gnu/packages/fpga.scm
> +++ b/gnu/packages/fpga.scm
> @@ -225,11 +225,12 @@ For synthesis, the compiler generates netlists in the 
> desired format.")
>                            (string-append "PREFIX=" (assoc-ref %outputs 
> "out")))
>         #:phases
>          (modify-phases %standard-phases
> -          (add-after 'unpack 'remove-usr-local
> -            (lambda _
> -              (substitute* "iceprog/Makefile"
> +          (add-after 'unpack 'fix-usr-local
> +            (lambda* (#:key outputs #:allow-other-keys)

> +              (substitute* '("iceprog/Makefile"

Patching this files changes nothing in the final result.

The package is built in an isolated container anyway - it's not like it can 
access /usr/local while it's building.

And if we did that everywhere we would have lots of substitution commands all 
over the place as noise - doing nothing useful, drowning out the important 
signal of actually useful substitutions. Therefore, I don't think we should do 
this.

What do the others think?

> "icebox/icebox_vlog.py")

... oops. This one I definitely agree with (the /usr/local/share one).