Hi Will,
Installing autoconf with a different name for the executable could never fix the problem: how is the installer supposed to know what you've called autoconf?
What you need to do is ensure that the autoconf which is found by the installer is the right one. Presumably the new autoconf has been installed somewhere, and that installation has a bin directory, you need to prepend that bin directory to your path so that when you type autoconf (actually in this case aclocal), you get the correct version.
Regards,
David
Hi,
I've tried to install Firedrake on a new machine and can't seem to get passed this error.
I've attached the log, where it says it fails due to an outdated autoconf dependency.
I've asked IT, and they've said