diff --git a/CMakeLists.txt b/CMakeLists.txt
index 22aacc1173639df1f065fcc41ada06372bc48f7c..07a9ddce239cae3a3d40f9fed16dab964d61a606 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1334,9 +1334,9 @@ message(STATUS " * Build options:" ${GMSH_CONFIG_OPTIONS})
 message(STATUS " * Build type: " ${CMAKE_BUILD_TYPE})
 message(STATUS " * C compiler: " ${CMAKE_C_COMPILER})
 message(STATUS " * C++ compiler: " ${CMAKE_CXX_COMPILER})
-if(ENV_PETSC_ARCH)
+if(HAVE_PETSC AND ENV_PETSC_ARCH)
   message(STATUS " * PETSc arch: " ${ENV_PETSC_ARCH})
-endif(ENV_PETSC_ARCH)
+endif(HAVE_PETSC AND ENV_PETSC_ARCH)
 message(STATUS " * Install prefix: " ${CMAKE_INSTALL_PREFIX})
 message(STATUS "")
 message(STATUS "Run 'ccmake ${CMAKE_CURRENT_SOURCE_DIR}' to fine-tune the configuration.")