bug#27080: ¨make install" fails because of missing gawk

[Konrad Hinsen <konrad.hinsen@fastmail.net>]

Hi Ricardo,

Thanks for your reply!

> You did not run “./configure --localstatedir=/var”.

I did, in an earlier cycle. More precisely, I did

    ./configure --prefix=/opt/guix --localstatedir=/var

in order to prevent Guix from overwriting some of Ubuntu's system files.

In order to start from a clean slate, I now did

   guix environment guix
   make distclean
   ./bootstrap
   ./configure --prefix=/opt/guix --localstatedir=/var
   make check
   sudo make install

This fails even earlier, complaining about a missing makeinfo:

  make[2]: Entering directory '/home/hinsen/Development/guix'
    MAKEINFO doc/guix.info
  /home/hinsen/Development/guix/build-aux/missing: line 81: makeinfo: 
command not found

Checking config.log, I see that indeed makeinfo has not been found:

  MAKEINFO='${SHELL} /home/hinsen/Development/guix/build-aux/missing 
makeinfo'

However, it is available in my environment:

  ~/Development/guix [dev]$ which makeinfo
  /gnu/store/2kgp5d4wh40b49gp4qwqh2b4il29gq6g-profile/bin/makeinfo

There are a few other executables marked as missing:
  aclocal
  autoconf
  autoheader
  automake
  dot
  help2man

I started from scratch again, but added the paths for these executables 
manually to the generated Makefile, right after configure. That got me 
back to the error message that I got before:

  /bin/bash: line 5: gawk: command not found
  sed: couldn't write 47 items to stdout: Broken pipe
  /bin/bash: line 5: echo: write error: Broken pipe
  ...

However, config.log says:

  configure:2900: checking for gawk
  configure:2916: found 
/gnu/store/2kgp5d4wh40b49gp4qwqh2b4il29gq6g-profile/bin/gawk
  configure:2927: result: gawk

and Makefile contains

  AWK = gawk

Next, I replaced this line by

  AWK = /gnu/store/2kgp5d4wh40b49gp4qwqh2b4il29gq6g-profile/bin/gawk

and re-ran "make install". Success!

Conclusion: something is going wrong in configure.

Konrad.