"pelzflorian (Florian Pelz)" writes: > Julius Schwartzenberg writes: >> Op 24-12-2022 om 22:40 schreef pelzflorian (Florian Pelz): >>> If you want `guix pull` without compiling, then look at >>> . >> >> I added the lines to my personal .config/guix/channels.scm, but guix >> pull then shows: >> guix pull: waarschuwing: could not find available substitutes at >> https://ci.guix.gnu.org >> >> And it still ends up compiling. I also tried replacing ci with >> bordeaux in the URL, but then it shows a 404. >> >> I think I'm still missing something? > > Bah, it appears ci.guix.gnu.org currently just doesn’t build for > armhf-linux. Bordeaux does not offer the needed Cuirass API. > > I believe but do not know that Bordeaux does not actually build the > latest guix, just the packages. bordeaux.guix.gnu.org builds and provides substitutes for the guix pull (channel instance) derivations, for at least some systems. > I don’t know if offering the latest guix would even be feasible. > Probably not? armhf builds take a long time. > > Cc to Christopher Baines , Ricardo Wurmus > . For bordeaux.guix.gnu.org, there's some dependency on the channel instance derivations provided by data.guix.gnu.org. Unfortunately, just computing these derivations seems to require building things for that system (unlike package derivations), so currently data.guix.gnu.org uses QEMU binfmt to help with this. The arm system wasn't enabled, so these derivations are missing for recent revisions. I know there was some work done around the release to at least fix things for the guix package on armhf-linux. I'll have a go add enabling arm for QEMU on data.guix.gnu.org to see what happens. Chris