bug#54615: closed ([PATCH 0/2] Add riscv-pk and improve spike)

[GNU bug Tracking System]

Your message dated Thu, 31 Mar 2022 15:30:26 +0300
with message-id <YkWe4uCCZgPY35xB@3900XT>
and subject line Re: [PATCH v3 2/2] gnu: Add riscv-pk.
has caused the debbugs.gnu.org bug report #54615,
regarding [PATCH 0/2] Add riscv-pk and improve spike
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
54615: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54615
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Add riscv-pk and improve spike
>
>
>
>
> Date: 
>
> Tue, 29 Mar 2022 00:11:17 +0530
>
>
>
>
> Patch 1 adds riscv-pk---a companion package for spike and something that is
> meant to be used with it. riscv-pk is not meant to build on x86_64. So, a
> regular `guix build riscv-pk' on a x86_64 machine will fail. Only `guix build
> --target=riscv64-linux-gnu riscv-pk' will succeed.
>
> Patch 2 improves our spike package by substituting the absolute path to dtc
> instead of wrapping the spike executable.
>
> Arun Isaac (2):
>   gnu: spike: Substitute path to dtc instead of wrapping executables.
>   gnu: Add riscv-pk.
>
>  gnu/packages/virtualization.scm | 64 ++++++++++++++++++++++++++++-----
>  1 file changed, 55 insertions(+), 9 deletions(-)
>
> -- 
> 2.34.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [PATCH v3 2/2] gnu: Add riscv-pk. Date: Thu, 31 Mar 2022 15:30:26 +0300

Thanks for the patches. Does it make sense to wrap spike with riscv-pk?
Right now I'm running it with:
guix shell spike riscv-pk -- sh -c 'spike $GUIX_ENVIRONMENT/bin/pk 
/gnu/store/hzd70l3dbgf66m4ibf34dzl7sif06f3k-hello-static-2.12/bin/hello'

I'm not sure how much spike is used without pk.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---