> 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....
No comments:
Post a Comment