summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-04-02 11:05:30 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-04-02 11:05:59 +0200
commitd47d7fc186f119b1dec024fa23fce7e771f3d296 (patch)
treedd1860f551a10d90b10e90cfcfe8b9c3160fcb89 /dev-lang/ocaml/metadata.xml
parentdev-lang/ocaml: bump to 4.03.0+beta2 (diff)
downloadgentoo-d47d7fc186f119b1dec024fa23fce7e771f3d296.tar.gz
gentoo-d47d7fc186f119b1dec024fa23fce7e771f3d296.tar.bz2
gentoo-d47d7fc186f119b1dec024fa23fce7e771f3d296.zip
dev-lang/ocaml: add flambda useflag
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-lang/ocaml/metadata.xml')
-rw-r--r--dev-lang/ocaml/metadata.xml3
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/ocaml/metadata.xml b/dev-lang/ocaml/metadata.xml
index ffac4d7ebc01..aabb331fc977 100644
--- a/dev-lang/ocaml/metadata.xml
+++ b/dev-lang/ocaml/metadata.xml
@@ -5,4 +5,7 @@
<email>ml@gentoo.org</email>
<name>Gentoo ML Project</name>
</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>
+ </use>
</pkgmetadata>