Thanks. I did get trrntzip to work yesterday from the source files, although there was a lot of trial and error that I'm not sure I can reproduce. :) (SourceForge doesn't like wget, so I ended up downloading through a browser in Windows.) So I'll keep your instructions for the next time I have to rebuild the server.
While I understand the purpose of normalizing the dates, the site build script makes sure that the dates don't change unless there was an actual update to the metamath program. It's just that zip doesn't produce a stable .zip file even if the contents are exactly the same with exactly the same date/time stamps. The question is, are dates important? If they are, an alternate method is for me to modify the script to test for any file changes, and if none don't regenerate the .zip file but reuse the old one. Norm On Sunday, February 2, 2020 at 9:52:30 AM UTC-5, vvs wrote: > > I've got the latest svn r9 from by running > > $ svn co https://svn.code.sf.net/p/trrntzip/code/ trrntzip > $ cd trrntzip > $ sh autogen.sh > $ ./configure > $ make CFLAGS="-Wno-error=format-security" > $ cd src > > After that I've downloaded the latest metamath.zip and ran > > $ ./trrntzip metamath.zip > > Everything worked fine. Note that it normalized everything inside the > resulting zip archive, i.e. you'd get all time stamps changed to a > canonical value. > -- 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/5e394fb8-af67-41c9-afa2-9760f745cbd0%40googlegroups.com.
