From ebdb515865ec152c77bc58f4f568aa39bb38cff0 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 14 Feb 2012 14:42:59 +0000
Subject: [PATCH] pkgs/development/compilers/gcc-4.6: added 'enablePlugin'
 attribute (defaults to false) to add support for GCC plugins (such as melt)

svn path=/nixpkgs/branches/stdenv-updates/; revision=32275
---
 pkgs/development/compilers/gcc-4.6/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/compilers/gcc-4.6/default.nix b/pkgs/development/compilers/gcc-4.6/default.nix
index ed8eff6b299..bd9ad426f45 100644
--- a/pkgs/development/compilers/gcc-4.6/default.nix
+++ b/pkgs/development/compilers/gcc-4.6/default.nix
@@ -19,6 +19,7 @@
 , libXrandr ? null, libXi ? null, inputproto ? null, randrproto ? null
 , gnatboot ? null
 , enableMultilib ? false
+, enablePlugin ? false
 , name ? "gcc"
 , cross ? null
 , binutilsCross ? null
@@ -229,6 +230,7 @@ stdenv.mkDerivation ({
   configureFlags = "
     ${if enableMultilib then "" else "--disable-multilib"}
     ${if enableShared then "" else "--disable-shared"}
+    ${if enablePlugin then "--enable-plugin" else ""}
     ${if ppl != null then "--with-ppl=${ppl}" else ""}
     ${if cloog != null then
       "--with-cloog=${cloog} --enable-cloog-backend=isl"