David,
> On 15 Nov 2017, at 17:58, David Matthews <[email protected]>
> wrote:
> I did a search and came up with this:
> https://www.gnu.org/software/autoconf/manual/autoconf-2.68/html_node/Option-Checking.html
> .
> 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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
