> That's true, but if you allow the system to detect various settings the > resulting executable is much faster. >
Just so we understand each other. I am completely convinced of the usefulness of "autotools". And your performance measures prove it. But I maintain that the use of "autoreconf" is the packager's responsibility. The user should only use "configure". And anyway between "autoreconf" and "configure" I have no idea which of the two optimizes the compiler options. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d46fd9a9-a7b3-4030-b766-b9466b19b0a5%40googlegroups.com.
