From 8c0f5a8f8c3b54563373d2b7fcaf23554826a8d1 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 19 Aug 2012 07:25:32 +0000
Subject: [PATCH]

---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 22aacc1173..07a9ddce23 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.")
-- 
GitLab