Probably most of the gmakefile in that file should be gmakefile.test
Probably To check if the libraries are working do: make PETSC_DIR=<PETSC_DIR> PETSC_ARCH=<PETSC_ARCH> test it is meant to be "check" here not test. Page should also note that alltests does not work on --prefix installs? arch-ci-linux-opt-misc.py uses --prefix how are the tests run for it in the CI? Does it use allgtests-tap, how? I cannot see how that particular job turns off testing? Or how it could locate allgtests-tap
