Merge pull request HoTT#1492 from JasonGross/fix-deps

Fix generation of library dep graphs
peterlefanulumsdaine · Apr 28, 2021 · f028cdd · f028cdd
2 parents 56b987b + ff8bfa4
commit f028cdd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -139,11 +139,11 @@ strict: strict-test strict-no-axiom hottlib hott-core hott-categories contrib
 # The deps file, for graphs
 HoTT.deps: $(ALL_VFILES)
 	$(SHOW)'COQDEP > $@'
-	$(HIDE)$(COQDEP) $(CMDLINE_COQLIBS) $(ALL_VFILES) | sed s'#\\#/#g' >$@
+	$(HIDE)$(COQDEP) $(COQLIBS) $(ALL_VFILES) | sed s'#\\#/#g' >$@
 
 HoTTCore.deps: $(CORE_VFILES)
 	$(SHOW)'COQDEP > $@'
-	$(HIDE)$(COQDEP) $(CMDLINE_COQLIBS) $(CORE_VFILES) | sed s'#\\#/#g' >$@
+	$(HIDE)$(COQDEP) $(COQLIBS) $(CORE_VFILES) | sed s'#\\#/#g' >$@
 
 # The HTML files
 # We have a dummy file, to allow us to depend on the html files