On December 16, 2019 8:33:44 AM EST, heiphohmia via Metamath >The source uses GNU autotools, so the standard build procedure Just >Works if >you first generate the necessary files with > > $ autoreconf -i > >I do find it curious that the advice for *nix builds is to directly >call gcc. >Perhaps the build instructions could be updated to this: > > $ autoreconf -i && configure && make
That should certainly also be in the instructions. That said, some people do not have working autotools setups, so invoking GCC is simpler for some. If you are creating a Linux package you should definitely use the autotools via autoreconf. The resulting metamath executable will be more optimized, resulting in some faster operations. --- 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/69B83327-1191-40B6-96A5-41783210FE05%40dwheeler.com.
