Hello, My make check is skipping tests which have a “requires: defined(PETSC_USE_SHARED_LIBRARIES)” with the message "SKIP PETSC_HAVE_DEFINED(PETSC_USE_SHARED_LIBRARIES) requirement not met" even though in configure.log I have: 2021-03-22T16:17:43.1626452Z #define PETSC_USE_SHARED_LIBRARIES 1 Is this expected? Here is an ever more puzzling behavior. https://gitlab.com/petsc/petsc/-/jobs/1118286502/artifacts/browse/arch-ci-fr... <https://gitlab.com/petsc/petsc/-/jobs/1118286502/artifacts/browse/arch-ci-freebsd-pkgs-opt/tests/> ok ksp_ksp_tests-ex6_3_skip_pipegcr # SKIP Null requirement not met: define(PETSC_USE_AVX512_KERNELS) #PIPEGCR generates nans on linux-knl test: requires: !define(PETSC_USE_AVX512_KERNELS) suffix: 3_skip_pipegcr Why is this test skipped (on a worker other than linux-knl)? Thanks, Pierre