Matthew Knepley <knep...@gmail.com> writes: > Now that it is no longer the default build, can we stop it generating > Makefile in $PETSC_ARCH?
Should we just stop autodetecting the "cmake" executable? Users that want it can use --with-cmake=/usr/bin/cmake.
pgp50uArkwQaa.pgp
Description: PGP signature