On December 17, 2019 11:46:21 AM EST, Giovanni Mascellani <[email protected]> wrote: >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?
Yes, I measured a 20% improvement in metamath performance when compiled with the autotools. There are actually a large number of changes because the autotools detects the optimal way to invoke the compiler. It turns on various optimizations that make a difference. --- David A.Wheeler -- 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/66877FA3-7623-45DF-AAE0-E503D43A2C89%40dwheeler.com.
