Split up dependency graph generation to part inside and part outside …

…docker
CoqHott · Sep 5, 2023 · 6c0a345 · 6c0a345
1 parent 0c15131
commit 6c0a345
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -47,6 +47,7 @@ jobs:
             startGroup "Build project"
               opam exec -- make -j 2
               opam exec -- make coqdoc
+              opam exec -- make docs/dependency_graph.pre
             endGroup
           uninstall: |
             startGroup "Clean project"
@@ -62,6 +63,14 @@ jobs:
       - name: Build dependency graph
         run: make depgraph
 
+      - name: Install graphviz
+        uses: ts-graphviz/setup-graphviz@v1
+
+      - name: Build dependency graph
+        run: |
+          tred docs/dependency_graph.pre > docs/dependency_graph.dot
+          dot -T png docs/dependency_graph.dot -o docs/dependency_graph.png
+
       - name: Build doc overview
         uses: docker://pandoc/core:2.9
         with:

diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -24,8 +24,12 @@ coqdoc: $(GLOBFILES) $(VFILES) $(HEADER) $(FOOTER) $(RESOURCES) $(FRONTPAGE)
 clean::
 	$(HIDE)rm -rf $(COQDOCDIR)/*.html
 
-$(DOCDIR)/dependency_graph.dot: $(VFILES)
-	coqdep -Q theories LogRel -R coq-partialfun/theories PartialFun $(VFILES) | perl generate_deps.pl | tred > $(DOCDIR)/dependency_graph.dot
+$(DOCDIR)/dependency_graph.pre: $(VFILES)
+	coqdep -Q theories LogRel -R coq-partialfun/theories PartialFun $(VFILES) | perl generate_deps.pl > $(DOCDIR)/dependency_graph.pre
+
+$(DOCDIR)/dependency_graph.dot: $(DOCDIR)/dependency_graph.pre
+	rm -f $(DOCDIR)/dependency_graph.dot
+	tred $(DOCDIR)/dependency_graph.pre > $(DOCDIR)/dependency_graph.dot           
 
 $(DOCDIR)/dependency_graph.png: $(DOCDIR)/dependency_graph.dot
 	dot -T png $(DOCDIR)/dependency_graph.dot -o $(DOCDIR)/dependency_graph.png