commit:     d47d7fc186f119b1dec024fa23fce7e771f3d296
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Apr  2 09:05:30 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Apr  2 09:05:59 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d47d7fc1

dev-lang/ocaml: add flambda useflag

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>

 dev-lang/ocaml/metadata.xml              | 3 +++
 dev-lang/ocaml/ocaml-4.03.0_beta2.ebuild | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/dev-lang/ocaml/metadata.xml b/dev-lang/ocaml/metadata.xml
index ffac4d7..aabb331 100644
--- a/dev-lang/ocaml/metadata.xml
+++ b/dev-lang/ocaml/metadata.xml
@@ -5,4 +5,7 @@
        <email>[email protected]</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>

diff --git a/dev-lang/ocaml/ocaml-4.03.0_beta2.ebuild 
b/dev-lang/ocaml/ocaml-4.03.0_beta2.ebuild
index 0aea93c..f795dae 100644
--- a/dev-lang/ocaml/ocaml-4.03.0_beta2.ebuild
+++ b/dev-lang/ocaml/ocaml-4.03.0_beta2.ebuild
@@ -18,7 +18,7 @@ LICENSE="QPL-1.0 LGPL-2"
 # so here we go with the subslot.
 SLOT="0/${PV}"
 KEYWORDS="~alpha ~amd64 ~arm ~hppa ~ia64 ~mips ~ppc ~ppc64 ~sparc ~x86 
~amd64-fbsd ~x86-fbsd ~amd64-linux ~x86-linux"
-IUSE="emacs latex ncurses +ocamlopt X xemacs"
+IUSE="emacs flambda latex ncurses +ocamlopt X xemacs"
 
 RDEPEND="
        ncurses? ( sys-libs/ncurses:0= )
@@ -60,6 +60,7 @@ src_configure() {
 
        use ncurses || myconf="${myconf} -no-curses"
        use X || myconf="${myconf} -no-graph"
+       use flambda && myconf="${myconf} -flambda"
 
        # ocaml uses a home-brewn configure script, preventing it to use econf.
        RAW_LDFLAGS="$(raw-ldflags)" ./configure \

Reply via email to