diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-02-21 15:19:18 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-02-21 15:20:13 +0100 |
| commit | 29bc855853099d0cce004f9fa5401b346464c55a (patch) | |
| tree | ce3c0c792d98473b6b6819694ef43b8ba8a0ca71 /dev-lang/ocaml/metadata.xml | |
| parent | profiles: Mask dev-lang/ocaml[spacetime] everywhere and unmask it on amd64 si... (diff) | |
| download | gentoo-29bc855853099d0cce004f9fa5401b346464c55a.tar.gz gentoo-29bc855853099d0cce004f9fa5401b346464c55a.tar.bz2 gentoo-29bc855853099d0cce004f9fa5401b346464c55a.zip | |
dev-lang/ocaml: Bump to 4.05.0_beta2.
Without keywords since it is a beta and breaks quite a few packages.
Enable flambda by default.
Add spacetime useflag.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
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> |