diff options
Diffstat (limited to 'dev-lang/ocaml/metadata.xml')
-rw-r--r-- | dev-lang/ocaml/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/ocaml/metadata.xml b/dev-lang/ocaml/metadata.xml index aabb331fc977..8824d14f0cef 100644 --- a/dev-lang/ocaml/metadata.xml +++ b/dev-lang/ocaml/metadata.xml @@ -7,5 +7,6 @@ </maintainer> <use> <flag name="flambda">Enables the Flambda optimizer: A new intermediate representation (introduced in ocaml 4.03) in the depths of the compiler designed to allow for better inlining.</flag> + <flag name="spacetime">Enables the Spacetime memory profiler. See https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html for more information.</flag> </use> </pkgmetadata> |