Hi, Il 16/12/19 19:05, David A. Wheeler ha scritto: >> The >> program is >> very portable and purposely calls no external libraries or does >> anything >> that isn't strictly part of ANSI C > > That's true, but if you allow the system to detect various settings the > resulting executable is much faster.
Are you sure? Why should a program that just depends on the standard library be faster with autotools? In particular, how would autotools change anything in how the program is compiled or ran? (BTW, I personally don't like autotools very much, as they encourage mixing hand-written and generated code; since I don't think they give an important advantage when you don't depend on non-standard libraries, I would suggest to not use them for Metamath) My 2 cents, Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/c10ec4fa-e664-1cb7-6b49-3c6d026972c8%40gmail.com.
signature.asc
Description: OpenPGP digital signature
