wip: monkeypatch documenter into printing blocks and timings

oscar-system · Jul 24, 2023 · f15191a · f15191a
1 parent aa3573e
commit f15191a
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -25,6 +25,7 @@ jobs:
         julia-version:
           - '1.9'
           - '~1.10.0-0'
+          - 'nightly'
         os:
           - ubuntu-latest
 
@@ -58,12 +59,12 @@ jobs:
           julia --project=docs --color=yes -e '
             using Pkg
             Pkg.develop(PackageSpec(path=pwd()))
-            Pkg.add(url="https://github.com/benlorenz/Documenter.jl", rev="bl/printblockandtime027")
             Pkg.instantiate()'
       - name: "Run doctests"
         run: |
           julia --project=docs --depwarn=error --color=yes -e'
             using Documenter
+            include("docs/documenter_helpers.jl")
             using Oscar
             DocMeta.setdocmeta!(Oscar, :DocTestSetup, :(using Oscar; Oscar.AbstractAlgebra.set_current_module(@__MODULE__)); recursive = true)
             doctest(Oscar)'

diff --git a/docs/documenter_helpers.jl b/docs/documenter_helpers.jl
@@ -0,0 +1,7 @@
+
+
+function Documenter.DocTests.eval_repl(block, sandbox::Module, meta::Dict, doc::Documenter.Documents.Document, page)
+  src_lines = Documenter.Utilities.find_block_in_file(block.code, meta[:CurrentFile])
+  println("page: $(Documenter.Utilities.locrepr(meta[:CurrentFile], src_lines))")
+  @time invoke(Documenter.DocTests.eval_repl, Tuple{Any,Any,Dict,Documenter.Documents.Document,Any}, block, sandbox, meta, doc, page)
+end
diff --git a/docs/make_work.jl b/docs/make_work.jl
@@ -6,6 +6,8 @@ module BuildDoc
 
 using Documenter, DocumenterCitations
 
+include("documenter_helpers.jl")
+
 # Overwrite printing to make the header not full of redundant nonsense
 # Turns
 #   Hecke.Order - Method