Re: Using Guix challenge for critical software? (resend)

2023-12-08 Thread Steve George
On 29/11/2023 12:10, Julien Lepiller wrote: If you already have substituted it, you could rebuild it: guix build openssh --no-grafts --check (...) Thanks Julien (and Simon) - that unstuck me so I could publish my first post on Guix packaging:

Re: Using Guix challenge for critical software? (resend)

2023-11-30 Thread Simon Tournier
Hi, On mer., 29 nov. 2023 at 11:40, Steve George wrote: > Is there some way to build the package locally (without first removing it)? In addition to Julien’s answer, note that you can pass a manifest file. guix build -m critical-packages.scm guix build -m critical-packages.scm

Re: Using Guix challenge for critical software? (resend)

2023-11-29 Thread Julien Lepiller
If you already have substituted it, you could rebuild it: guix build openssh --no-grafts --check Le 29 novembre 2023 12:40:50 GMT+01:00, Steve George a écrit : >Hi, > > > >How can I use 'guix challenge' to test critical software or packages that are >deep in the dependency tree? > > > >As I

Using Guix challenge for critical software? (resend)

2023-11-29 Thread Steve George
Hi, How can I use 'guix challenge' to test critical software or packages that are deep in the dependency tree? As I understand it, the purpose of Guix challenge is to test whether "binaries provided by this [substitution] server really correspond to the source code it claims to build" (from