bug#65225: [PATCH] environment: Build the profile for the requested system.

2023-08-12 Thread Ludovic Courtès
Hi, Josselin Poiret skribis: > IMO, this is way too complicated to keep in mind at all times, and there > are bugs lurking under the surface absolutely everywhere, waiting for a > corner case to be uncovered. Great writeup! Yeah, that’s the sad situation of mixing parameters and monads; it’s a

bug#65225: [PATCH] environment: Build the profile for the requested system.

2023-08-12 Thread Josselin Poiret via Bug reports for GNU Guix
Hi everyone, Actually, let me add a big erratum, since it appears I misread the intention of gexp->derivation (and realized 2 minutes after writing the previous email). Josselin Poiret writes: > --8<---cut here---start->8--- > (mlet* %store-monad ( ;; The foll

bug#65225: [PATCH] environment: Build the profile for the requested system.

2023-08-12 Thread Josselin Poiret via Bug reports for GNU Guix
Hi Tobias, Tobias Geerinckx-Rice writes: > Previously, ‘--system=’ did not affect profile hooks, meaning that all > packages would be built for both the host and requested systems. > > * guix/scripts/environment.scm (guix-environment*): Parameterize > %current-system to match the requested ‘--sy

bug#65225: [PATCH] environment: Build the profile for the requested system.

2023-08-11 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Previously, ‘--system=’ did not affect profile hooks, meaning that all packages would be built for both the host and requested systems. * guix/scripts/environment.scm (guix-environment*): Parameterize %current-system to match the requested ‘--system=’. Reported by ekaitz in #guix. --- guix/scrip