Index: /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp
===================================================================
--- /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 12899)
+++ /issm/trunk-jpl/src/c/modules/Solverx/Solverx.cpp	(revision 12900)
@@ -31,4 +31,5 @@
 	/*According to matrix type, use specific solvers: */
 	if(Kff->type==PetscMatType){
+		#ifdef _HAVE_PETSC_
 		PetscVec* uf0_vector = NULL;
 		PetscVec* df_vector  = NULL;
@@ -37,4 +38,7 @@
 
 		SolverxPetsc(&uf->pvector,Kff->pmatrix,pf->pvector,uf0_vector,df_vector,parameters);
+		#else
+		_error_("ISSM should be compiled with Petsc support for this operation!");
+		#endif
 	}
 	else if(Kff->type==SeqMatType){