Cayetano Santos via Guix-patches via <guix-patches@gnu.org> writes:

> From: Cayetano Santos via Guix-patches via <guix-patches@gnu.org>
>
> * gnu/packages/fpga.scm (nvc): Update to 1.16.0.
>
> Change-Id: If781ed403cd769db85f8265fc242d0f1608d737e
>
> ---
>
> This v2 includes the missing module gnu/packages/ruby.
>
> [arguments] <#:configure-flags> Remove --enable-{vhpi,gcov}.
> [native-inputs]: Add python and perl; sort.
> [inputs]: Remove elfutils; sort.
>
> Note that:
>
> --enable-gcov is intended for debug/development of the simulator itself and should not be enabled in release builds
>
> - VHPI is now always enabled at build time and the `--enable-vhpi` configure option has no effect.
>
>  gnu/packages/fpga.scm | 17 +++++++++--------
>  1 file changed, 9 insertions(+), 8 deletions(-)

Thanks for the patch, I've pushed this to master as
f1ce653b13b300a8022da587541917941fdbbcaa.

Chris