Re: coq 8.12.0p0: diff to unbreak on non-ocaml-native architecture

> On Sep 16, 2020, at 2:22 AM, Janne Johansson <icepic.dz@gmail.com> wrote:
>
> Seems to build and install ok on mips64 too:
>
> http://c66.it.su.se:8080/obsd/coq-build-mips64.txt
>
> Don't know how to test it further than that.
>

Thanks!

"make test" would be one way to check coq runtime functionality. Although it may take hours to complete if you let it run the whole way through....