> On Sep 16, 2020, at 2:22 AM, Janne Johansson <[email protected]> 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....
