| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Dune.
|
|
|
|
|
|
|
|
|
|
of evars in shelf)
|
|
|
|
This was introduced in PR #8985.
|
|
|
|
|
|
interning phase
|
|
This is a reduced version of #8503 as to provide a way to build the
reference manual with Dune.
Dune 1.6 supports (experimentally) directories as targets, thus we
introduce a rule that will call `sphinx` to build the manual.
This only provides build, however generation of `.install` rules is
not done, it will be hopefully addressed in #8503.
Note that we set `expire: 1 month` for all the artifacts we build with
Dune. IMHO this makes most sense as not to abuse Gitlab's hosting,
however of course we could consider a different deployment strategy if
wanted.
|
|
|
|
pattern variables
|
|
|
|
|
|
in refman.
|
|
|
|
Hopefully we will re-enable it back soon, I am preparing a refactoring
that should make it more robust w.r.t paths and changes on Windows
which will enable to use a faster build system.
But now it is timing out 100% of the times [due to #8655] so it is not
useful.
|
|
|
|
|
|
|
|
The checks were unnecessarily restrictive (since names can be used for
documentation purposes), and the error message was a bit wrong (it
mentioned a restriction on the explicit status of arguments).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
As reported in #9060, the STM does not handle such constructions
properly. They are anyway fragile, for example Guarded reports a failure
if run at the end of the scripts, so this patch is an improvement.
|
|
|
|
|
|
|
|
comments.
|
|
|
|
which is in lib.cma
|
|
|
|
|
|
|
|
Follow-up of #8987.
|
|
|
|
|
|
|
|
|
|
|
|
Improve debug output
|
|
|
|
|
