I opend a PR for comments with a first version of -quick support,
see the quick branch on g...@github.com:hendriktews/PG.git. The
solution has advantages over using make because the quick options
accept an up-to-date .vo file for prerequisites (make insists on
producing .vio files for all files). Further, it does not suffer
from the consistency issue that make has: Proof General will
delete outdated .vo when compiling or relying on a .vio.
ProofGeneral-devel mailing list