1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 1a2599a87..b52741ef4 100644
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,11 @@ COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell "$(COQBIN)coqc
 -include Makefile.coq
 endif
 
+ifeq ($(filter lite only-heavy printdeps printreversedeps,$(MAKECMDGOALS)),)
 -include etc/coq-scripts/Makefile.vo_closure
+else
+include etc/coq-scripts/Makefile.vo_closure
+endif
 
 .DEFAULT_GOAL := coq