Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation slow to build #167

Closed
albinahlback opened this issue Feb 17, 2021 · 4 comments
Closed

Documentation slow to build #167

albinahlback opened this issue Feb 17, 2021 · 4 comments

Comments

@albinahlback
Copy link
Contributor

Pretty irrelevant, but

@time include("make.jl")
...
251.851335 seconds (327.10 M allocations: 16.274 GiB, 2.72% gc time)

How can I speed things up?

@albinahlback albinahlback changed the title Documentation extremely slow to build Documentation slow to build Feb 17, 2021
@fieker
Copy link
Collaborator

fieker commented Feb 18, 2021

using Revise, Hecke
and then run the documentation repeatedly in the same julia session helps. The second time round is (of course) much faster.

@albinahlback
Copy link
Contributor Author

Hmm, but I think that only helps me after I've run it once.

@thofma
Copy link
Owner

thofma commented Feb 18, 2021

Yes. The problem is that building the documentation runs julia/Hecke code to produce examples. There are some blocks of the form

```runthiscode
  Qx, x = QQ["x"]
  K, ...
```

which get evaluated and then the output is inserted in the documentation. One could remove this at the cost, that the examples could diverge from the actual output.

@fieker
Copy link
Collaborator

fieker commented Feb 18, 2021 via email

@thofma thofma closed this as completed Nov 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants