Mea Culpa.

In attempting to install the prerequisites

libmpc-dev
libmpfr-dev
libgmp3-dev

I ended up building from the source code for these projects.

Later, back to square one, I simply installed them using apt-get.

Then the build worked.

Grovel, grovel, my apologies to those whose time I wasted ;=(

Steve

Reply via email to