Fix CI errors

Beluga-lang · Sep 27, 2024 · c4636e1 · c4636e1
1 parent 3de6981
commit c4636e1
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,8 +21,8 @@ CoqMakefile.mk*
 theories/html/
 
 # Generated coq dependency graph
-*.dot
-*.svg
+dep.dot
+dep.html
 
 # Editor related files
 ## Emacs

diff --git a/scripts/generate_dep.py b/scripts/generate_dep.py
@@ -86,6 +86,7 @@ def data_of_depline(depline: str) -> str:
         raise ValueError(f"Broken Dependency: \"{depline}\"")
 
 def gen_graph() -> str:
+    newline = "\n"
     return textwrap.dedent(f"""
       digraph Mcltt {{
         graph [cluster=true,fontsize=28,label="Mcltt",labeljust=l,labelloc=t,penwidth=2,size=15,splines=true,tooltip=""];
@@ -98,7 +99,7 @@ def gen_graph() -> str:
         {core_subgraph_decl("Syntactic")}
         {default_subgraph_decl("Extraction")}
         {default_subgraph_decl("Frontend")}
-        {textwrap.indent("\n".join(data_of_depline(depline) for depline in sys.stdin), "        ").lstrip()}
+        {textwrap.indent(newline.join(data_of_depline(depline) for depline in sys.stdin), "        ").lstrip()}
       }}""")
 
 print(gen_graph())
diff --git a/theories/CoqMakefile.mk.local-late b/theories/CoqMakefile.mk.local-late
@@ -53,7 +53,7 @@ coqdoc: html
 	cp -R $(EXTRA_DIR)/resources html
 
 $(DEPGRAPHDOT): $(VFILES) $(DEPGRAPHSCRIPT)
-	@coqdep $(VFILES) -f _CoqProject | python3 "$(DEPGRAPHSCRIPT)" | tred -o "$@"
+	@coqdep $(VFILES) -f _CoqProject | python3 "$(DEPGRAPHSCRIPT)" | tred > "$@"
 
 $(DEPGRAPHDOC): $(DEPGRAPHDOT) $(DEPPOSTPROCESSSCRIPT)
 	@dot -T svg "$(DEPGRAPHDOT)" | python3 "$(DEPPOSTPROCESSSCRIPT)" > "$(DEPGRAPHDOC)"