On Mon, Mar 18, 2024 at 4:59 PM Antony Bartlett <a...@akb.me.uk> wrote:
> The more I think about it, the more any attempt to maintain metamath-test > without containerization seems insane. You need to have C, C++, Rust, > Java, Python, and Haskell installed, then use them to build metamath.exe, > checkmm, metamath-knife, mmj2, mmverifypy, and hmm respectively in order to > be able to run ./run-testsuite-all-drivers > As a docker noob, could you explain to me how containerization helps with this in any way? You still have to have all those things, plus docker, if you are doing it with containers. -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSs%3Dv94Fermc-B7ASstgK5j6%2B%2B0%3D5EZcJminVQmr4OXGDA%40mail.gmail.com.
