Index: ../trunk-jpl/m4/issm_options.m4
===================================================================
--- ../trunk-jpl/m4/issm_options.m4	(revision 20803)
+++ ../trunk-jpl/m4/issm_options.m4	(revision 20804)
@@ -2056,6 +2056,10 @@
 		if test "$HAVE_ADOLC" = "yes"  && test "$HAVE_KRIGING" = "yes" ; then
 			AC_MSG_ERROR([cannot compile kriging.exe under adolc conditions!]);
 		fi
+		dnl check that if we run adolc, we don't use PETSc for now
+		if test "$HAVE_ADOLC" = "yes"  && test "$HAVE_PETSC" = "yes" ; then
+			AC_MSG_ERROR([cannot compile ISSM with both PETSc and adolc]);
+		fi
 		dnl check that if we run meteoio, we have snowpack also
 		if test "$HAVE_METEOIO" = "yes"  && test "$HAVE_SNOWPACK" = "no" ; then
 			AC_MSG_ERROR([cannot compile MeteoIO package without Snowpack!]);