On Mon, Mar 18, 2024 at 9:10 PM Mario Carneiro wrote:
> On Mon, Mar 18, 2024 at 4:59 PM Antony Bartlett 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
Regarding the Haskell errors, do you have warnings-as-errors on? It seems
like all of the errors are actually just promoted warnings, so possibly you
can just disable those warnings.
On Mon, Mar 18, 2024 at 4:59 PM Antony Bartlett wrote:
> I've been trying to add hmm to metamath-docker, because
On Mon, Mar 18, 2024 at 4:59 PM Antony Bartlett 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,
I've been trying to add hmm to metamath-docker, because it's one of the
verifiers that metamath-test is set up to run against.
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