On Monday, December 16, 2019 at 8:34:02 AM UTC-5, heiphohmia at wilsonb.com wrote: > > > And why not a special Linux source distribution... > > The URL that Norm shared pretty much ticks all the boxes you outline. The > only > substantive difference being that the metamath.exe is not excluded. >
I could take it out if that is preferable. I left it in in case a Windows user (who typically has no C compiler) wanted to download just the program and sources, although there is also a direct link to metamath.exe on the home page so it isn't really necessary. Maybe you can let me know exactly what files you'd like to see in it. > > 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 > > I could add this as an alternate build method, but these are Linux/Unix-specific and may not be available on all systems. The program is very portable and purposely calls no external libraries or does anything that isn't strictly part of ANSI C, with the only exception AFAIK that it doesn't support the EBCDIC character set. (Personally I mostly use lcc during development because it compiles much faster than gcc, and occasionally use gcc for its better error messages and faster run time. Also, autotools is painfully slow, issues screenfuls of messages I have to scroll through to find a real error, and clutters up the directory with dozens of unwanted files, making development annoying and inefficient. Am I doing something wrong, and how do most people deal with this?) I just tried to run autoreconf -i && configure && make, and it doesn't work with metamath-programs.zip because it presupposes the databases are there. I'm not really that confident with autotools, and it would be best if someone else adjusts them. Norm -- 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/8c5bd45d-5b88-4507-a2ba-0d89d154c0d8%40googlegroups.com.
