16 Nov
2017
16 Nov
'17
9:42 p.m.
David,
On 15 Nov 2017, at 17:58, David Matthews <David.Matthews at prolingua.co.uk> wrote: I did a search and came up with this: https://www.gnu.org/software/autoconf/manual/autoconf-2.68/html_node/Option-... . Poly/ML's autoconf script uses AC_CONFIG_SUBDIRS to build libffi so that will disable all option checking. There doesn't seem to be any way to override this and turn it on within the script but --enable-option-checking does seem to work. However ./configure --enable-option-cheking doesn't produce any warning at all so it doesn't help if that is misspelled.
Thank! It's not as silly as it sounds:
alias conf="./configure --enable-option-checking"
is the latest addition to my .bashrc file.
Regards,
Rob.