Hi Ludo, On Thu, Mar 16, 2023 at 11:55 AM Ludovic Courtès <l...@gnu.org> wrote: > > Hello, > > "Thompson, David" <dthomps...@worcester.edu> skribis: > > > Here's the context: Someone wants to build guile-goblins from a Git > > checkout using their non-Guix, FHS distro. However, they happen to > > have Guile 3 installed to /usr via the host distro's package manager. > > I was going to suggest running ‘guix shell --check …’, which can detect > a class of problems on non-Guix distros, but that’s not the problem > here. > > > They install Guix, run 'guix shell', then './bootstrap.sh' and that > > all works fine. Then they run './configure' and this happens: > > [...] > > > The most important line above is: > > > > checking for guile-3.0... /usr/bin/guile-3.0 > > > > Guile's guile.m4 code checks for a 'guile-3.0' executable *before* > > checking for a 'guile' executable. Guix's Guile package only provides > > 'guile', but the host distro provides 'guile-3.0'. Unfortunately, the > > build environment ends up as a mix of host distro and Guix things > > which eventually proves fatal to the build. > > I’ve not encountered this before. > > My suggestion would be to recommend running ‘guix shell -CP’ as this > addresses problems of that sort once and for all. I do that, even on > Guix System: it’s pretty reassuring to know that your dev environment is > isolated from the rest. > > Alternatively, ‘guix shell --pure’ would also address that because then > ‘configure’ wouldn’t look for programs under /usr/bin. It’s less robust > though.
I should have mentioned that we did get a working environment by using --container, but it required explaining why the tools from the host, like git, were no longer available and how those would have to be used outside of the Guix shell. Same with --pure, only with additional complications because of a .bashrc that was referring to lesspipe and other things that were no longer available. I tend to prefer plain 'guix shell' because, usually, it does the right thing without additional surprises for someone who is unfamiliar with Guix. Each method has its downsides, not sure what to recommend going forward. - Dave