don't enable petsc in nightlies

utils/nightly/linux.sh

@@ -14,6 +14,7 @@ cd ${GMSH}/bin && \
   ${CMAKE} -DGMSH_EXTRA_VERSION:string="-cvs"\
            -DCMAKE_PREFIX_PATH:path="/usr/local;/usr/local/opencascade"\
            -DENABLE_KBIPACK:bool=FALSE\
+           -DENABLE_PETSC:bool=FALSE\
            -DENABLE_NATIVE_FILE_CHOOSER:bool=FALSE\
   ${GMSH} >> ${LOG} 2>&1
 cd ${GMSH}/bin && make package >> ${LOG} 2>&1

utils/nightly/mac.sh

@@ -14,6 +14,7 @@ cd ${GMSH}/bin && \
   ${CMAKE} -DGMSH_EXTRA_VERSION:string="-cvs"\
            -DCMAKE_PREFIX_PATH:path="/usr/local;/usr/local/opencascade"\
            -DENABLE_KBIPACK:bool=FALSE\
+           -DENABLE_PETSC:bool=FALSE\
   ${GMSH} >> ${LOG} 2>&1
 cd ${GMSH}/bin && make package -j 4 >> ${LOG} 2>&1
 echo "BUILD END: `date`" >> ${LOG}

utils/nightly/windows.sh

@@ -16,6 +16,7 @@ cd ${GMSH}/bin && \
            -DCMAKE_CXX_FLAGS:string="-mno-cygwin"\
            -DCMAKE_C_FLAGS:string="-mno-cygwin"\
            -DENABLE_KBIPACK:bool=FALSE\
+           -DENABLE_PETSC:bool=FALSE\
   ${GMSH} >> ${LOG} 2>&1
 cd ${GMSH}/bin && make package >> ${LOG} 2>&1
 echo "BUILD END: `date`" >> ${LOG}