Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 20803)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 20804)
@@ -2057,4 +2057,8 @@
 			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