Skip to content

fix `make vacuum` if no `_CoqProject` is present

Björn Brandenburg requested to merge wip-make-vacuum-tweak into master

I was repeatedly facing this situation:

% make vacuum
make: *** No rule to make target `_CoqProject', needed by `Makefile.coq'.  Stop.

This patch makes vacuum depend on allCoqProject, which should ensure that we get rid of everything.

Merge request reports