Have given up on WUBI (Lucid) and build/install according to
gnuradio…/wiki/gnuradio/UbuntuInstall
Decided to install boost_1_37_0 as _1_44_0 did not conform to
instructions on above wiki.
This allowed me (Under Installing GNU Radio section) to ./configure
–with -boost=$BOOST_PREFIX which had been an issue on the other
computer.
Unfortunately, the next command, make
bombs out with: