<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class=""> Probably most of the gmakefile in that file should be gmakefile.test </div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""> Probably </div><div class=""><br class=""></div><div class=""><p class="">To check if the libraries are working do:</p><pre class="code highlight white js-syntax-highlight shell" lang="shell" v-pre="true"><code class=""><span id="LC1" class="line" lang="shell">make <span class="nv">PETSC_DIR</span><span class="o">=</span><PETSC_DIR> <span class="nv">PETSC_ARCH</span><span class="o">=</span><PETSC_ARCH> <span class="nb">test</span></span></code></pre><div class=""><br class=""></div></div><div class="">it is meant to be "check" here not test.</div><div class=""><br class=""></div><div class="">Page should also note that alltests does not work on --prefix installs?</div><div class=""><br class=""></div><div class="">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</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div></body></html>