On Mon, 4 May 2020 18:41:16 -0700 (PDT), "'B. Wilson' via Metamath" <[email protected]> wrote: ...
Your post does *not* discuss what to do with Windows. We need to decide how to help people install Metamath on Windows, since that's a common platform. We could continue to post Metamath-exe with a precompiled binary and have people store it in C:\metamath. That's not how software is usually installed on Windows, and it's clunky, but it *works*. Proper installation really requires at least manipulating the PATH. If we wanted something better for Windows, then providing an installable package seems like the right way to go. There seem to multiple approaches: * Microsoft pitches its "store" today, so you create an "App Package Upload File (.msixupload or .appxupload). That seems to require paying $$$ for certificates and such (did I misread something?) * An alternative is to create an App Bundle (.msixbundle or .appxbundle) installation file. That seems to require the use of Visual Studio. But again, it seems to require getting a certificate, and it looks like that costs $$$ and we're not a company. https://docs.microsoft.com/en-us/windows/msix/package/packaging-uwp-apps * An old-school approach would be to create an .msi file. Working out the process for doing that would be a pain, but the WiX toolset will create .msi files that can "just be installed": https://wixtoolset.org/ A competitor to WiX is NSIS: https://nsis.sourceforge.io/Main_Page It might be useful to use Visual Studio to compile Metamath for Windows; it looks like it can be freely used for OSS development: https://visualstudio.microsoft.com Comments welcome! --- 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/E1jVoks-00045p-H0%40rmmprod06.runbox.
